CPU_MID2CPUNO
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(bootmid)));
*((u_int *)ICR_ITR) = CPU_MID2CPUNO(bootmid);
(PI_INTR_VA + (_MAXNBPG * CPU_MID2CPUNO(cpi->mid)));
*((u_int *)ICR_ITR) = CPU_MID2CPUNO(mid);