PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
devices
ide.h
Go to the documentation of this file.
1
#ifndef DEVICES_IDE_H
2
#define DEVICES_IDE_H
3
4
void
ide_init
(
void
);
5
6
#endif
/**< devices/ide.h */
ide_init
void ide_init(void)
devices/ide.h
Definition:
ide.c:102
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2
1.9.2