Lines Matching defs:mondo
404 ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id)
406 return ((mondo) | (cpu_id << COMMON_INTR_MAP_REG_TID_SHIFT) |
699 uint32_t mondo;
702 mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |
704 mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);
707 VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);
717 uint32_t mondo;
722 mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |
724 mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);
726 VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_THERMAL],
757 ib_ino_t ino, ib_mondo_t mondo)
763 VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);
772 uint32_t mondo;
774 mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |
776 mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);
778 VERIFY(add_ivintr(mondo, pci_pil[inum], (intrfunc)ecc_intr,
787 uint32_t mondo;
789 mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |
791 mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);
793 VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);
2009 /* Calculate the requesting device's mondo */
2013 /* get pci's thermal mondo */