BANDWIDTH_1_712_MHZ 1204 drivers/media/dvb-core/dvb_frontend.c case BANDWIDTH_1_712_MHZ: BANDWIDTH_1_712_MHZ 1285 drivers/media/dvb-core/dvb_frontend.c p->u.ofdm.bandwidth = BANDWIDTH_1_712_MHZ;