Searched refs:efi_boot_services_t (Results 1 – 2 of 2) sorted by relevance
39 .boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR,
203 typedef union efi_boot_services efi_boot_services_t; typedef452 efi_boot_services_t *boottime;