Lines Matching defs:kernel_vm_end
206 vm_offset_t kernel_vm_end = KERNBASE + NKPT * NBPDR;
2101 unsigned long kfree = VM_MAX_KERNEL_ADDRESS - kernel_vm_end;
2122 while (kernel_vm_end < addr) {
2123 if (pdir_pde(PTD, kernel_vm_end)) {
2124 kernel_vm_end = (kernel_vm_end + NBPDR) & ~PDRMASK;
2125 if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
2126 kernel_vm_end = vm_map_max(kernel_map);
2132 nkpg = vm_page_alloc(NULL, kernel_vm_end >> PDRSHIFT,
2144 pdir_pde(KPTD, kernel_vm_end) = pgeflag | newpdir;
2146 pmap_kenter_pde(kernel_vm_end, newpdir);
2147 kernel_vm_end = (kernel_vm_end + NBPDR) & ~PDRMASK;
2148 if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
2149 kernel_vm_end = vm_map_max(kernel_map);