Symbol: IB_IMR2MONDO
usr/src/uts/sun4u/io/pci/pci_ib.c
228
*imr_p = ib_get_map_reg(IB_IMR2MONDO(imr), cpu_id);
usr/src/uts/sun4u/io/pci/pci_ib.c
292
*imr_p = ib_get_map_reg(IB_IMR2MONDO(imr), cpu_id);