ib_map_reg_get_cpu
if (ib_map_reg_get_cpu(imr) == cpu_id)
if (ib_map_reg_get_cpu(*imr_p) == cpu_id)
if (ib_map_reg_get_cpu(*imr_p) == cpu_id) /* same cpu, no reprog */
*cpu_id_p = ib_map_reg_get_cpu(imregval);
if ((old_cpu_id = ib_map_reg_get_cpu(imregval)) == cpu_id)
if (ib_map_reg_get_cpu(*imr_p) == cpu_id) {
extern uint32_t ib_map_reg_get_cpu(volatile uint64_t);
extern uint32_t ib_map_reg_get_cpu(volatile uint64_t reg);