[timer] Formalise the timer API
[people/asdlkf/gpxe.git] / src / arch / i386 / include / bios.h
index 630a898..5f9d6ab 100644 (file)
@@ -5,7 +5,6 @@
 #define BDA_FBMS 0x0013
 #define BDA_NUM_DRIVES 0x0075
 
-extern unsigned long currticks ( void );
 extern void cpu_nap ( void );
 
 #endif /* BIOS_H */