HomeSort by: relevance | last modified time | path
    Searched refs:efi_system_table (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/arm/
efi_runtime.c 65 arm_efirt_init(paddr_t efi_system_table)
84 for (cva = va, cpa = trunc_page(efi_system_table);
91 ST = (void *)(va + (efi_system_table - trunc_page(efi_system_table)));
  /src/sys/arch/arm/fdt/
arm_fdt.c 277 uint64_t efi_system_table; local
290 if (of_getprop_uint64(chosen, "netbsd,uefi-system-table", &efi_system_table) != 0)
293 error = arm_efirt_init(efi_system_table);
297 aprint_debug_dev(dev, "EFI system table at %#" PRIx64 "\n", efi_system_table);

Completed in 59 milliseconds