MPEG_ON_DIBTX 1565 drivers/media/dvb-frontends/dib7000p.c dib7090_setDibTxMux(state, MPEG_ON_DIBTX); MPEG_ON_DIBTX 2534 drivers/media/dvb-frontends/dib7000p.c case MPEG_ON_DIBTX: MPEG_ON_DIBTX 1483 drivers/media/dvb-frontends/dib8000.c case MPEG_ON_DIBTX: MPEG_ON_DIBTX 3733 drivers/media/dvb-frontends/dib8000.c dib8096p_setDibTxMux(state, MPEG_ON_DIBTX);