i2c_mux_disc_name
const char *name = i2c_mux_disc_name(disc);
len = strlcpy(buf, i2c_mux_disc_name(disc), buflen);
extern const char *i2c_mux_disc_name(const i2c_mux_disc_t *);
const char *name = i2c_mux_disc_name(disc);
"with %s", path, i2c_mux_disc_name(disc), driver);