ib_mondo_t
ib_mondo_t mondo;
ib_mondo_t mondo = CB_INO_TO_MONDO(cb_p, ino);
ib_mondo_t mondo = IB_INO_TO_MONDO(ib_p, ino);
ib_mondo_t mondo;
ib_mondo_t mondo;
ib_mondo_t mondo;
ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id)
ib_ino_t ino, ib_mondo_t mondo)
ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id)
ib_mondo_t mondo)
ib_ino_t ino, ib_mondo_t mondo);
extern uint64_t ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id);
extern uint32_t ib_register_intr(ib_t *ib_p, ib_mondo_t mondo, uint_t pil,
extern void ib_unregister_intr(ib_mondo_t mondo);