INTSTACK
set INTSTACK-STKB, %l4; \
(vaddr_t)INTSTACK-0x7ff)) : \
(vaddr_t)INTSTACK))))
#define EINTSTACK ( INTSTACK + 4*_MAXNBPG)
#define PANICSTACK ( INTSTACK + 8*_MAXNBPG)
#define IODEV_BASE ( INTSTACK + 9*_MAXNBPG) /* 1 page redzone */
#if INTSTACK - MSGBUF_VA - MSGBUFSIZE < 0
cpi = (struct cpu_info *)(va0 + CPUINFO_VA - INTSTACK);
pa += CPUINFO_VA - INTSTACK;
if ((vmmap ^ INTSTACK) & VA_ALIAS_MASK)
cpus = (struct cpu_info *)(intstk + CPUINFO_VA - INTSTACK);
prom_map_phys(pa, 64*KB, INTSTACK, -1);
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);
} else if (pm == pmap_kernel() && va >= INTSTACK && va < (INTSTACK + 64*KB)) {
pa = (paddr_t)(curcpu()->ci_paddr - INTSTACK + va);
hv_rc = hv_mmu_map_perm_addr(INTSTACK, data, MAP_DTLB);