Home
last modified time | relevance | path

Searched refs:bmi_kernelstart (Results 1 – 2 of 2) sorted by relevance

/netbsd-src/sys/arch/arm/arm32/
H A Darm32_kvminit.c264 bmi->bmi_kernelstart = kernelstart; in arm32_bootmem_init()
268 fdt_memory_remove_range(bmi->bmi_kernelstart, in arm32_bootmem_init()
269 bmi->bmi_kernelend - bmi->bmi_kernelstart); in arm32_bootmem_init()
294 if (bmi->bmi_start < bmi->bmi_kernelstart) { in arm32_bootmem_init()
297 pv->pv_size = bmi->bmi_kernelstart - pv->pv_pa; in arm32_bootmem_init()
494 kernel_size -= (bmi->bmi_kernelstart & -L2_S_SEGSIZE); in arm32_kernel_vm_init()
718 KERN_PHYSTOV(bmi->bmi_kernelstart & -L2_S_SEGSIZE); in arm32_kernel_vm_init()
781 size_t totalsize = bmi->bmi_kernelend - bmi->bmi_kernelstart; in arm32_kernel_vm_init()
782 size_t textsize = KERN_VTOPHYS((uintptr_t)etext) - bmi->bmi_kernelstart; in arm32_kernel_vm_init()
788 text.pv_pa = bmi->bmi_kernelstart; in arm32_kernel_vm_init()
[all …]
/netbsd-src/sys/arch/arm/include/arm32/
H A Dmachdep.h38 paddr_t bmi_kernelstart; member