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 FILE_LICENCE ( GPL2_OR_LATER );
  11
  12 #include <gpxe/bios_timer.h>
  13 #include <gpxe/rdtsc_timer.h>
  14
  15 #endif /* _BITS_TIMER_H */