IMMU_INTR_IPL
(void *)ipltospl(IMMU_INTR_IPL));
irq = vect = psm_get_ipivect(IMMU_INTR_IPL, -1);
(void) add_avintr((void *)NULL, IMMU_INTR_IPL,