[timer] Formalise the timer API

[people/asdlkf/gpxe.git] / src / arch / i386 / include / bios.h

diff --git a/src/arch/i386/include/bios.h b/src/arch/i386/include/bios.h
index 630a898..5f9d6ab 100644 (file)
--- a/src/arch/i386/include/bios.h
+++ b/src/arch/i386/include/bios.h
@@ -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 */