CBNINTR_THERMAL
pci_p->pci_inos[CBNINTR_THERMAL]);
VERIFY(rem_ivintr(pci_mondo, pci_pil[CBNINTR_THERMAL]) == 0);
pci_p->pci_inos[CBNINTR_THERMAL]);
cb_disable_nintr(cb_p, CBNINTR_THERMAL, IB_INTR_WAIT);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);
pci_p->pci_inos[CBNINTR_THERMAL]);
VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_THERMAL],
cb_enable_nintr(pci_p, CBNINTR_THERMAL);
if (ino != pci_p->pci_inos[CBNINTR_THERMAL])
cb_disable_nintr(pci_p->pci_cb_p, CBNINTR_THERMAL, IB_INTR_WAIT);
VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);