i2c_ctrl_instance
extern int32_t i2c_ctrl_instance(i2c_ctrl_t *);
i2c_ctrl_instance(ctrl), i2c_ctrl_instance(alt));
if (i2c_ctrl_instance(ctrl) != i2c_ctrl_instance(alt)) {