Searched refs:efi_runtime_services_64_t (Results 1 – 2 of 2) sorted by relevance
423 efi_runtime_services_64_t *runtime; in efi_runtime_init64()426 sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()440 early_memunmap(runtime, sizeof(efi_runtime_services_64_t)); in efi_runtime_init64()
558 } efi_runtime_services_64_t; typedef
