arm_fdt.c | 277 uint64_t efi_system_table; local in function:arm_fdt_efi_init 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);
|