Searched refs:efi_boot_services_t (Results 1 – 2 of 2) sorted by relevance
284 .boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR,
309 } efi_boot_services_t; typedef677 efi_boot_services_t *boottime;