pintos/src/devices/ide.h

00001 #ifndef DEVICES_IDE_H
00002 //100047396
00003 #define DEVICES_IDE_H
00004 
00005 void ide_init (void);
00006 
00007 #endif /* devices/ide.h */

Generated on Mon Jan 10 16:43:57 2011 for Pintos by

1.5.6