ALPHA_K0SEG_END
if (va >= ALPHA_K0SEG_BASE && va <= ALPHA_K0SEG_END) {
if (vaddr <= ALPHA_K0SEG_END) {
kva <= (void *)ALPHA_K0SEG_END)