Searched refs:efi_system_table (Results 1 – 2 of 2) sorted by relevance
65 arm_efirt_init(paddr_t efi_system_table) in arm_efirt_init() argument84 for (cva = va, cpa = trunc_page(efi_system_table); in arm_efirt_init()91 ST = (void *)(va + (efi_system_table - trunc_page(efi_system_table))); in arm_efirt_init()
250 uint64_t efi_system_table; in arm_fdt_efi_init() local258 if (of_getprop_uint64(chosen, "netbsd,uefi-system-table", &efi_system_table) != 0) in arm_fdt_efi_init()261 error = arm_efirt_init(efi_system_table); in arm_fdt_efi_init()265 aprint_debug_dev(dev, "EFI system table at %#" PRIx64 "\n", efi_system_table); in arm_fdt_efi_init()