PMAP_DIRECT_BASE
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {
#define PMAP_DIRECT_MAP(pa) ((vaddr_t)PMAP_DIRECT_BASE + (pa))
#define PMAP_DIRECT_UNMAP(va) ((paddr_t)(va) - PMAP_DIRECT_BASE)
if (PMAP_DIRECT_BASE <= va && va < PMAP_DIRECT_END) {
(vaddr_t)PMAP_DIRECT_BASE,
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {
if (va >= PMAP_DIRECT_BASE && va < PMAP_DIRECT_END) {