PMAP_DIRECT_END
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {
if (PMAP_DIRECT_BASE <= va && va < PMAP_DIRECT_END) {
(vaddr_t)PMAP_DIRECT_END);
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {