ALPHA_K0SEG_END
if (va >= ALPHA_K0SEG_BASE && va <= ALPHA_K0SEG_END) {
if (v >= ALPHA_K0SEG_BASE && v <= ALPHA_K0SEG_END) {
} else if (va <= ALPHA_K0SEG_END) {
else if (vaddr <= ALPHA_K0SEG_END)
kva <= (caddr_t)ALPHA_K0SEG_END)