Lines Matching defs:kernel_vm_end
351 vm_offset_t kernel_vm_end = VM_MIN_KERNEL_ADDRESS;
3067 unsigned long kfree = VM_MAX_KERNEL_ADDRESS - kernel_vm_end;
3090 * "kernel_vm_end" and the kernel page table as they were.
3095 * ends after "kernel_vm_end". If the kernel is mapped between
3096 * "kernel_vm_end" and "addr", then the range cannot begin at
3097 * "kernel_vm_end". In fact, its beginning address cannot be less
3099 * any new kernel page table pages between "kernel_vm_end" and
3108 while (kernel_vm_end < addr) {
3109 pdpe = pmap_pdpe(kernel_pmap, kernel_vm_end);
3112 nkpg = vm_page_alloc(NULL, kernel_vm_end >> PDPSHIFT,
3124 pde = pmap_pdpe_to_pde(pdpe, kernel_vm_end);
3126 kernel_vm_end = (kernel_vm_end + NBPDR) & ~PDRMASK;
3127 if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
3128 kernel_vm_end = vm_map_max(kernel_map);
3134 nkpg = vm_page_alloc(NULL, pmap_pde_pindex(kernel_vm_end),
3145 kernel_vm_end = (kernel_vm_end + NBPDR) & ~PDRMASK;
3146 if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
3147 kernel_vm_end = vm_map_max(kernel_map);