VA_PTE_BASE
pte = VA_PTE_BASE(&kernel_text, var);
epte = VA_PTE_BASE(&etext, var);
epte = VA_PTE_BASE(PMAP_BOOTSTRAP_PA_TO_VA(kernimg_endpa), var);
pte = VA_PTE_BASE(RELOC(lwp0uarea, vaddr_t), var);
epte = VA_PTE_BASE(RELOC(lwp0uarea, vaddr_t) + USPACE, var);
pte = VA_PTE_BASE(kern_lev1va, var);
pte = VA_PTE_BASE(va, kpte_var);
pte = VA_PTE_BASE(va, var);