[timer] Formalise the timer API
[people/asdlkf/gpxe.git] / src / arch / i386 / include / bios.h
1 #ifndef BIOS_H
2 #define BIOS_H
3
4 #define BDA_SEG 0x0040
5 #define BDA_FBMS 0x0013
6 #define BDA_NUM_DRIVES 0x0075
7
8 extern void cpu_nap ( void );
9
10 #endif /* BIOS_H */