frequency_tuner 868 drivers/media/dvb-frontends/dib7000p.c u32 frequency_tuner; frequency_tuner 870 drivers/media/dvb-frontends/dib7000p.c demod->ops.tuner_ops.get_frequency(demod, &frequency_tuner); frequency_tuner 871 drivers/media/dvb-frontends/dib7000p.c frequency_offset = (s32)frequency_tuner / 1000 - ch->frequency / 1000;