Searched refs:efi_runtime_services_t (Results 1 – 4 of 4) sorted by relevance
32 + sizeof(efi_runtime_services_t)235 efi_runtime_services_t *efi_runtime; in sys_fw_init()
282 .runtime = (efi_runtime_services_t *)EFI_INVALID_TABLE_ADDR,
492 } efi_runtime_services_t; typedef666 efi_runtime_services_t *runtime;
56 static efi_runtime_services_t *runtime;