[timer] Formalise the timer API
[people/asdlkf/gpxe.git] / src / arch / i386 / include / bits / timer.h
1 #ifndef _BITS_TIMER_H
2 #define _BITS_TIMER_H
3
4 /** @file
5  *
6  * i386-specific timer API implementations
7  *
8  */
9
10 #include <gpxe/bios_timer.h>
11 #include <gpxe/rdtsc_timer.h>
12
13 #endif /* _BITS_TIMER_H */