aux_mux_is_enabled
if (!aux_mux_is_enabled(p))
f = aux_mux_is_enabled(p) ? KBDC_WRITE_TO_AUX_MUX + p->aux_mux_port :
int aux_mux_is_enabled(KBDC p);
if (aux_mux_is_enabled(sc->kbdc))