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);