_MAXNBPG
setpte4m(PI_INTR_VA + (_MAXNBPG * i), pte);
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(bootmid)));
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(cpi->mid)));
#define IENAB_SYS ((_MAXNBPG * _MAXNCPU) + 0xc)
#define COUNTERREG_VA ( TIMERREG_VA + _MAXNBPG*_MAXNCPU) /* [4m] */
#define ZS0_VA (COUNTERREG_VA + _MAXNBPG)
#define ZS1_VA ( ZS0_VA + _MAXNBPG)
#define AUXREG_VA ( ZS1_VA + _MAXNBPG)
#define TMPMAP_VA ( AUXREG_VA + _MAXNBPG)
#define MSGBUF_VA ( TMPMAP_VA + _MAXNBPG)
#define INTRREG_VA ( MSGBUF_VA + _MAXNBPG) /* [4/4c] */
#define MSIIEP_PCIC_VA ( MSGBUF_VA + _MAXNBPG) /* [IIep] */
#define PI_INTR_VA ( MSGBUF_VA + _MAXNBPG) /* [4m] */
#define SI_INTR_VA ( PI_INTR_VA + _MAXNBPG*_MAXNCPU) /* [4m] */
#define IODEV_BASE ( SI_INTR_VA + _MAXNBPG)
#define MSGBUF_VA ( KERNEND + _MAXNBPG) /* 1 page REDZONE */
#define INTSTACK ( KERNEND + 32*_MAXNBPG)
#define EINTSTACK ( INTSTACK + 4*_MAXNBPG)
#define PANICSTACK ( INTSTACK + 8*_MAXNBPG)
#define IODEV_BASE ( INTSTACK + 9*_MAXNBPG) /* 1 page redzone */