552 ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id)  in ib_get_map_reg()  argument
563 	return ((mondo) | (agent_id << COMMON_INTR_MAP_REG_TID_SHIFT) |  in ib_get_map_reg()
651 	uint32_t mondo;  in pci_cb_teardown()  local
656 	mondo = ((pci_p->pci_cb_p->cb_ign  << PCI_INO_BITS) |  in pci_cb_teardown()
658 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in pci_cb_teardown()
661 	VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_BUS_ERROR]) == 0);  in pci_cb_teardown()
667 	uint32_t mondo;  in cb_register_intr()  local
672 	mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |  in cb_register_intr()
674 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in cb_register_intr()
676 	VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_BUS_ERROR],  in cb_register_intr()
707     ib_mondo_t mondo)  in cb_remove_xintr()  argument
3382 	uint32_t mondo = IB_INO_TO_NBMONDO(pci_p->pci_ib_p, ino);  in pci_tom_nbintr_op()  local
3385 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo); /* no op on tom */  in pci_tom_nbintr_op()
3389 		VERIFY(add_ivintr(mondo, pci_pil[inum], f,  in pci_tom_nbintr_op()
3393 		VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);  in pci_tom_nbintr_op()
3406 	uint32_t mondo;  in pci_ecc_add_intr()  local
3409 	mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |  in pci_ecc_add_intr()
3411 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in pci_ecc_add_intr()
3413 	VERIFY(add_ivintr(mondo, pci_pil[inum], (intrfunc)ecc_intr,  in pci_ecc_add_intr()
3428 	uint32_t mondo;  in pci_ecc_rem_intr()  local
3430 	mondo = ((pci_p->pci_cb_p->cb_ign << PCI_INO_BITS) |  in pci_ecc_rem_intr()
3432 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in pci_ecc_rem_intr()
3434 	VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);  in pci_ecc_rem_intr()
3455 	uint32_t mondo;  in pci_pbm_add_intr()  local
3457 	mondo = IB_INO_TO_MONDO(pci_p->pci_ib_p, pci_p->pci_inos[CBNINTR_CDMA]);  in pci_pbm_add_intr()
3458 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in pci_pbm_add_intr()
3460 	VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_CDMA],  in pci_pbm_add_intr()
3471 	uint32_t	mondo;  in pci_pbm_rem_intr()  local
3473 	mondo = IB_INO_TO_MONDO(pci_p->pci_ib_p, pci_p->pci_inos[CBNINTR_CDMA]);  in pci_pbm_rem_intr()
3474 	mondo = CB_MONDO_TO_XMONDO(pci_p->pci_cb_p, mondo);  in pci_pbm_rem_intr()
3477 	VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_CDMA]) == 0);  in pci_pbm_rem_intr()