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