VM_MIN_KERNEL_ADDRESS
for (va = VM_MIN_KERNEL_ADDRESS; va < kern_end; va += NBPDR) {
if (va < VM_MIN_KERNEL_ADDRESS)
i = ((va - VM_MIN_KERNEL_ADDRESS) >> PDPSHIFT) &
i = ((va - VM_MIN_KERNEL_ADDRESS) >> PDPSHIFT) &
mdhdr.kernbase = VM_MIN_KERNEL_ADDRESS;
klo = (int)(VM_MIN_KERNEL_ADDRESS >> PDPSHIFT) &
KvaStart = VM_MIN_KERNEL_ADDRESS;
vm_offset_t kernel_vm_end = VM_MIN_KERNEL_ADDRESS;
kernel_vm_end = VM_MIN_KERNEL_ADDRESS;
if (va >= VM_MIN_KERNEL_ADDRESS) {