DIV_ON_DIBTX 2539 drivers/media/dvb-frontends/dib7000p.c case DIV_ON_DIBTX: DIV_ON_DIBTX 2672 drivers/media/dvb-frontends/dib7000p.c dib7090_setDibTxMux(state, DIV_ON_DIBTX); DIV_ON_DIBTX 1487 drivers/media/dvb-frontends/dib8000.c case DIV_ON_DIBTX: DIV_ON_DIBTX 1625 drivers/media/dvb-frontends/dib8000.c dib8096p_setDibTxMux(state, DIV_ON_DIBTX);