PIC_VECTBASE
i, i + PIC_VECTBASE, avec_tbl[i].avh_lo_pri,
i, i + PIC_VECTBASE, evtchn, avec_tbl[i].avh_lo_pri,
(void) outb(MIMR_PORT, PIC_VECTBASE);
outb(SIMR_PORT, PIC_VECTBASE + 8);