pcic_do_io_intr
if (pcic_do_io_intr(pcic, io_ints) == DDI_INTR_CLAIMED)
static int pcic_do_io_intr(pcicdev_t *, uint32_t);