PI_INTR_VA
setpte4m(PI_INTR_VA + (_MAXNBPG * i), pte);
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(bootmid)));
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(cpi->mid)));
#define ICR_PI_PEND (PI_INTR_VA + ICR_PI_PEND_OFFSET)
#define ICR_PI_CLR (PI_INTR_VA + ICR_PI_CLR_OFFSET)
#define ICR_PI_SET (PI_INTR_VA + ICR_PI_SET_OFFSET)
#define SI_INTR_VA ( PI_INTR_VA + _MAXNBPG*_MAXNCPU) /* [4m] */