ALPHA_K0SEG_BASE
if (va >= ALPHA_K0SEG_BASE && va <= ALPHA_K0SEG_END) {
if (v >= ALPHA_K0SEG_BASE && v <= ALPHA_K0SEG_END) {
if (va < ALPHA_K0SEG_BASE) {
if (vaddr < ALPHA_K0SEG_BASE)
if (kva >= (caddr_t)ALPHA_K0SEG_BASE &&
#define ALPHA_K0SEG_TO_PHYS(x) ((x) & ~ALPHA_K0SEG_BASE)
#define ALPHA_PHYS_TO_K0SEG(x) ((x) | ALPHA_K0SEG_BASE)