Searched refs:pcmu_ib_mondo_t (Results 1 – 6 of 6) sorted by relevance
38 typedef uint16_t pcmu_ib_mondo_t; typedef141 extern uint64_t ib_get_map_reg(pcmu_ib_mondo_t mondo, uint32_t cpu_id);
421 pcmu_ib_ino_t, pcmu_ib_mondo_t);
100 pcmu_ib_mondo_t mondo = PCMU_CB_INO_TO_MONDO(pcb_p, ino); in pcmu_cb_enable_nintr()219 pcmu_ib_mondo_t mondo; in pcmu_cb_intr_dist()
177 pcmu_ib_mondo_t mondo; in pcmu_add_intr()281 pcmu_ib_mondo_t mondo; in pcmu_remove_intr()
125 pcmu_ib_mondo_t mondo = PCMU_IB_INO_TO_MONDO(pib_p, ino); in pcmu_ib_intr_enable()730 pcmu_ib_mondo_t mondo; in pcmu_ib_update_intr_state()
1251 ib_get_map_reg(pcmu_ib_mondo_t mondo, uint32_t cpu_id) in ib_get_map_reg()