Symbol: EFI_BOOT_SERVICES
sys/dev/efi/efi.h
35
typedef VOID *EFI_BOOT_SERVICES;
sys/stand/efi/include/efiapi.h
823
} EFI_BOOT_SERVICES;