Searched refs:efi_runtime_services_64_t (Results 1 – 2 of 2) sorted by relevance
362 efi_runtime_services_64_t *runtime; in efi_runtime_init64()365 sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()379 early_memunmap(runtime, sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()
474 } efi_runtime_services_64_t; typedef