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 */