dib8000_set_isdbt_common_channel 2552 drivers/media/dvb-frontends/dib8000.c 		dib8000_set_isdbt_common_channel(state, slist, 1);
dib8000_set_isdbt_common_channel 2613 drivers/media/dvb-frontends/dib8000.c 		dib8000_set_isdbt_common_channel(state, slist, 1);
dib8000_set_isdbt_common_channel 3159 drivers/media/dvb-frontends/dib8000.c 		dib8000_set_isdbt_common_channel(state, 0, 0);/* setting the known channel parameters here */