1 #ifndef _BITS_TIMER_H 2 #define _BITS_TIMER_H 3 4 /** @file 5 * 6 * i386-specific timer API implementations 7 * 8 */ 9 10 FILE_LICENCE ( GPL2_OR_LATER ); 11 12 #include <gpxe/bios_timer.h> 13 #include <gpxe/rdtsc_timer.h> 14 15 #endif /* _BITS_TIMER_H */ 16
