Searched refs:bmi_kernelend (Results 1 – 3 of 3) sorted by relevance
265 bmi->bmi_kernelend = kernelend; in arm32_bootmem_init()269 bmi->bmi_kernelend - bmi->bmi_kernelstart); in arm32_bootmem_init()282 pv->pv_pa = bmi->bmi_kernelend; in arm32_bootmem_init()284 pv->pv_size = bmi->bmi_end - bmi->bmi_kernelend; in arm32_bootmem_init()493 size_t kernel_size = bmi->bmi_kernelend; in arm32_kernel_vm_init()781 size_t totalsize = bmi->bmi_kernelend - bmi->bmi_kernelstart; in arm32_kernel_vm_init()
341 KASSERTMSG(pv0->pv_pa == bmi->bmi_kernelend, in initarm() 342 "pv_pa %#lx kernelend %#lx", pv0->pv_pa, bmi->bmi_kernelend); in initarm()
39 paddr_t bmi_kernelend; member