ALPHA_K0SEG_BASE
if (va >= ALPHA_K0SEG_BASE && va <= ALPHA_K0SEG_END) {
if (va >= ALPHA_K0SEG_BASE && va <= ALPHA_K0SEG_END) {
KASSERT(vaddr >= ALPHA_K0SEG_BASE);
if (kva >= (void *)ALPHA_K0SEG_BASE &&
#define ALPHA_K0SEG_TO_PHYS(x) ((x) & ~ALPHA_K0SEG_BASE)
#define ALPHA_PHYS_TO_K0SEG(x) ((x) | ALPHA_K0SEG_BASE)