EINTSTACK
set EINTSTACK-STKB, %l4; /* Are we on intr stack? */ \
(vaddr_t)EINTSTACK-0x7ff) && \
(vaddr_t)EINTSTACK) && \
#define CPUINFO_VA ( EINTSTACK )
KASSERT(va < INTSTACK || va > EINTSTACK);
KASSERT(va < INTSTACK || va > EINTSTACK);
KASSERT(pm != pmap_kernel() || va < INTSTACK || va > EINTSTACK);
KASSERT(pm != pmap_kernel() || endva < INTSTACK || va > EINTSTACK);
KASSERT(pm != pmap_kernel() || eva < INTSTACK || sva > EINTSTACK);