Searched refs:RuntimeServices (Results 1 – 3 of 3) sorted by relevance
522 EFI_PTR32 RuntimeServices; member546 EFI_PTR64 RuntimeServices; member
374 DPRINTF("RuntimeServices: 0x%016llx\n", system_table->RuntimeServices); in efi_set_tables_64()393 if (system_table->RuntimeServices == 0) { in efi_set_tables_64()397 DPRINTF("RuntimeServices table at 0x%qx\n", system_table->RuntimeServices); in efi_set_tables_64()399 runtime = (EFI_RUNTIME_SERVICES_64 *) (uintptr_t)system_table->RuntimeServices; in efi_set_tables_64()
829 SYSCTL_QUAD(_machdep_memmap, OID_AUTO, RuntimeServices, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_Runt…