rem_ivintr
VERIFY(rem_ivintr(hdlp->ih_vector, hdlp->ih_pri) == 0);
extern int rem_ivintr(uint_t inum, uint_t pil);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_PBM]) == 0);
VERIFY(rem_ivintr(pci_mondo, pci_pil[CBNINTR_THERMAL]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_CDMA]) == 0);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_BUS_ERROR]) == 0);
VERIFY(rem_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL) == 0);
VERIFY(rem_ivintr(fault_p->px_fh_sysino, PX_ERR_PIL) == 0);
VERIFY(rem_ivintr(pxu_p->hp_sysino, PCIE_INTR_PRI) == 0);
VERIFY(rem_ivintr(mondo, pcmu_pil[inum]) == 0);
VERIFY(rem_ivintr(mondo, pcmu_pil[CBNINTR_PBM]) == 0);
(void) rem_ivintr(iinfo->icookie, pil);
(void) rem_ivintr(iinfo->icookie, pil);
VERIFY(rem_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL) == 0);