ib_get_map_reg
reg = ib_get_map_reg(mondo, cpu_id);
stdphysio(mr_pa, ib_get_map_reg(mondo, cpu_id));
*imr_p = ib_get_map_reg(mondo, cpu_id);
*imr_p = ib_get_map_reg(IB_IMR2MONDO(imr), cpu_id);
*imr_p = ib_get_map_reg(IB_IMR2MONDO(imr), cpu_id);
new_imregval = ib_get_map_reg(new_imregval, cpu_id);
*map_reg_addr = ib_get_map_reg(mondo, cpu_id);
*ino_p->ino_map_reg = ib_get_map_reg(mondo, cpu_id);
reg = ib_get_map_reg(mondo, cpu_id);
stdphysio(mr_pa, ib_get_map_reg(mondo, cpu_id));
*imr_p = ib_get_map_reg(mondo, cpu_id);
*imr_p = ib_get_map_reg(PCMU_IB_IMR2MONDO(imr), cpu_id);
*imr_p = ib_get_map_reg(PCMU_IB_IMR2MONDO(imr), cpu_id);
*ino_p->pino_map_reg = ib_get_map_reg(mondo, cpu_id);
extern uint64_t ib_get_map_reg(pcmu_ib_mondo_t mondo, uint32_t cpu_id);
extern uint64_t ib_get_map_reg(ib_mondo_t mondo, uint32_t cpu_id);