dib7000p_set_channel 1146 drivers/media/dvb-frontends/dib7000p.c 	dib7000p_set_channel(state, &schan, 7);
dib7000p_set_channel 1284 drivers/media/dvb-frontends/dib7000p.c 		dib7000p_set_channel(state, ch, 0);