Searched refs:efi_runtime_services_t (Results 1 – 3 of 3) sorted by relevance
37 .runtime = (efi_runtime_services_t *)EFI_INVALID_TABLE_ADDR,
623 } efi_runtime_services_t; typedef772 efi_runtime_services_t *runtime;
60 static efi_runtime_services_t *runtime;
