Changeset View
Changeset View
Standalone View
Standalone View
sys/arm64/arm64/machdep.c
Show First 20 Lines • Show All 1,285 Lines • ▼ Show 20 Lines | #endif | ||||
link_elf_ireloc(kmdp); | link_elf_ireloc(kmdp); | ||||
try_load_dtb(kmdp); | try_load_dtb(kmdp); | ||||
efi_systbl_phys = MD_FETCH(kmdp, MODINFOMD_FW_HANDLE, vm_paddr_t); | efi_systbl_phys = MD_FETCH(kmdp, MODINFOMD_FW_HANDLE, vm_paddr_t); | ||||
/* Load the physical memory ranges */ | /* Load the physical memory ranges */ | ||||
efihdr = (struct efi_map_header *)preload_search_info(kmdp, | efihdr = (struct efi_map_header *)preload_search_info(kmdp, | ||||
MODINFO_METADATA | MODINFOMD_EFI_MAP); | MODINFO_METADATA | MODINFOMD_EFI_MAP); | ||||
if (efihdr != NULL) | if (efihdr != NULL) { | ||||
add_efi_map_entries(efihdr); | add_efi_map_entries(efihdr); | ||||
firmware_type = FW_UEFI; | |||||
} | |||||
#ifdef FDT | #ifdef FDT | ||||
else { | else { | ||||
/* Grab physical memory regions information from device tree. */ | /* Grab physical memory regions information from device tree. */ | ||||
if (fdt_get_mem_regions(mem_regions, &mem_regions_sz, | if (fdt_get_mem_regions(mem_regions, &mem_regions_sz, | ||||
NULL) != 0) | NULL) != 0) | ||||
panic("Cannot get physical memory regions"); | panic("Cannot get physical memory regions"); | ||||
physmem_hardware_regions(mem_regions, mem_regions_sz); | physmem_hardware_regions(mem_regions, mem_regions_sz); | ||||
} | } | ||||
▲ Show 20 Lines • Show All 211 Lines • Show Last 20 Lines |