EINTSTACK
#define CPUINFO_VA ( EINTSTACK)
KDASSERT(va < INTSTACK || va > EINTSTACK);
KDASSERT(va < INTSTACK || va > EINTSTACK);
KDASSERT(pm != pmap_kernel() || va < INTSTACK || va > EINTSTACK);
KDASSERT(pm != pmap_kernel() || endva < INTSTACK || va > EINTSTACK);
KDASSERT(pm != pmap_kernel() || eva < INTSTACK || sva > EINTSTACK);
} else if (va >= INTSTACK && va < EINTSTACK) {