KBDC_WRITE_TO_AUX
KBDC_WRITE_TO_AUX_MUX + p->aux_mux_port : KBDC_WRITE_TO_AUX;
case KBDC_WRITE_TO_AUX: