1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#ifndef _IPXE_EFI_WRAP_H #define _IPXE_EFI_WRAP_H /** @file * * EFI driver interface */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); #include <ipxe/efi/efi.h> extern EFI_BOOT_SERVICES * efi_wrap_bs ( void ); extern void efi_wrap ( EFI_HANDLE handle ); #endif /* _IPXE_EFI_WRAP_H */