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