- /*
- * Avoid even looking at pde_v(va) for high va's. va's
- * above VM_MAX_KERNEL_ADDRESS don't correspond to normal
- * PDE's (half of them correspond to APDEpde and half to
- * an unmapped kernel PDE). va's betweeen 0xFEC00000 and
- * VM_MAX_KERNEL_ADDRESS correspond to unmapped kernel PDE's
- * (XXX - why are only 3 initialized when 6 are required to
- * reach VM_MAX_KERNEL_ADDRESS?). Faulting in an unmapped
- * kernel page table would give inconsistent PTD's.
- *
- * XXX - faulting in unmapped page tables wastes a page if
- * va turns out to be invalid.
- *
- * XXX - should "kernel address space" cover the kernel page
- * tables? Might have same problem with PDEpde as with
- * APDEpde (or there may be no problem with APDEpde).
- */
- if (va > 0xFEBFF000) {
- rv = KERN_FAILURE; /* becomes SIGBUS */
- goto nogo;
- }