Searched refs:efi_runtime_services_64_t (Results 1 – 2 of 2) sorted by relevance
447 efi_runtime_services_64_t *runtime; in efi_runtime_init64()450 sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()464 early_memunmap(runtime, sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()
571 } efi_runtime_services_64_t; typedef
