dib8096p_setDibTxMux 1625 drivers/media/dvb-frontends/dib8000.c 			dib8096p_setDibTxMux(state, DIV_ON_DIBTX);
dib8096p_setDibTxMux 1631 drivers/media/dvb-frontends/dib8000.c 			dib8096p_setDibTxMux(state, ADC_ON_DIBTX);
dib8096p_setDibTxMux 3733 drivers/media/dvb-frontends/dib8000.c 			dib8096p_setDibTxMux(state, MPEG_ON_DIBTX);