Searched refs:efi_runtime_services_64_t (Results 1 – 2 of 2) sorted by relevance
386 efi_runtime_services_64_t *runtime; in efi_runtime_init64()389 sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()403 early_memunmap(runtime, sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()
478 } efi_runtime_services_64_t; typedef