How can i read from disk device in mach kernel ?