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