Searched refs:EFI_RUNTIME_SERVICES_64 (Results 1 – 2 of 2) sorted by relevance
483 } __attribute__((aligned(8))) EFI_RUNTIME_SERVICES_64; typedef
363 EFI_RUNTIME_SERVICES_64 *runtime; in efi_set_tables_64()399 runtime = (EFI_RUNTIME_SERVICES_64 *) (uintptr_t)system_table->RuntimeServices; in efi_set_tables_64()