total_dds_offset_khz 2721 drivers/media/dvb-frontends/dib8000.c 	int total_dds_offset_khz;
total_dds_offset_khz 2728 drivers/media/dvb-frontends/dib8000.c 	total_dds_offset_khz = (int)current_rf - (int)c->frequency / 1000;
total_dds_offset_khz 2741 drivers/media/dvb-frontends/dib8000.c 				total_dds_offset_khz *= -1;
total_dds_offset_khz 2745 drivers/media/dvb-frontends/dib8000.c 	dprintk("%dkhz tuner offset (frequency = %dHz & current_rf = %dHz) total_dds_offset_hz = %d\n", c->frequency - current_rf, c->frequency, current_rf, total_dds_offset_khz);
total_dds_offset_khz 2748 drivers/media/dvb-frontends/dib8000.c 	dib8000_set_dds(state, total_dds_offset_khz);