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

   1 #ifndef _IPXE_EFI_TIME_H
   2 #define _IPXE_EFI_TIME_H
   3
   4 /** @file
   5  *
   6  * EFI time source
   7  *
   8  */
   9
  10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  11
  12 #include <stdint.h>
  13
  14 #ifdef TIME_EFI
  15 #define TIME_PREFIX_efi
  16 #else
  17 #define TIME_PREFIX_efi __efi_
  18 #endif
  19
  20 #endif /* _IPXE_EFI_TIME_H */