dec_adc_mux_name 2727 sound/soc/codecs/wcd9335.c 	char *dec_adc_mux_name = NULL;
dec_adc_mux_name 2741 sound/soc/codecs/wcd9335.c 	dec_adc_mux_name = strsep(&widget_name, " ");
dec_adc_mux_name 2742 sound/soc/codecs/wcd9335.c 	if (!dec_adc_mux_name) {
dec_adc_mux_name 2748 sound/soc/codecs/wcd9335.c 	dec_adc_mux_name = widget_name;
dec_adc_mux_name 2750 sound/soc/codecs/wcd9335.c 	dec = strpbrk(dec_adc_mux_name, "012345678");