qemu/roms/ipxe/src/include/ipxe/efi/efi_timer.h

   1 #ifndef _IPXE_EFI_TIMER_H
   2 #define _IPXE_EFI_TIMER_H
   3
   4 /** @file
   5  *
   6  * iPXE timer API for EFI
   7  *
   8  */
   9
  10 FILE_LICENCE ( GPL2_OR_LATER );
  11
  12 #ifdef TIMER_EFI
  13 #define TIMER_PREFIX_efi
  14 #else
  15 #define TIMER_PREFIX_efi __efi_
  16 #endif
  17
  18 #endif /* _IPXE_EFI_TIMER_H */