Searched refs:kernel_vm_base (Results 1 – 1 of 1) sorted by relevance
457 arm32_kernel_vm_init(vaddr_t kernel_vm_base, vaddr_t vectors, vaddr_t iovbase, in arm32_kernel_vm_init() argument482 pmap_directlimit = kernel_vm_base; in arm32_kernel_vm_init()484 KASSERT(kernel_vm_base - KERNEL_BASE >= physical_end - physical_start); in arm32_kernel_vm_init()734 kernel_vm_base, KERNEL_L2PT_VMDATA_NUM); in arm32_kernel_vm_init()737 const vaddr_t va = kernel_vm_base + idx * L2_S_SEGSIZE; in arm32_kernel_vm_init()773 kernel_vm_base + (KERNEL_L2PT_VMDATA_NUM * L2_S_SEGSIZE); in arm32_kernel_vm_init()896 KASSERTMSG(cur_pv.pv_va + cur_pv.pv_size <= kernel_vm_base, in arm32_kernel_vm_init()898 kernel_vm_base); in arm32_kernel_vm_init()918 if (mapallmem_p && cur_pv.pv_va + cur_pv.pv_size > kernel_vm_base) { in arm32_kernel_vm_init()919 cur_pv.pv_size = kernel_vm_base - cur_pv.pv_va; in arm32_kernel_vm_init()