intermediate_frequency 1817 drivers/media/dvb-frontends/drxk_hard.c 		 s32 intermediate_frequency)
intermediate_frequency 1831 drivers/media/dvb-frontends/drxk_hard.c 	if (intermediate_frequency < 0) {
intermediate_frequency 1833 drivers/media/dvb-frontends/drxk_hard.c 		intermediate_frequency = -intermediate_frequency;
intermediate_frequency 1839 drivers/media/dvb-frontends/drxk_hard.c 		i_freqk_hz = (intermediate_frequency / 1000);
intermediate_frequency 1846 drivers/media/dvb-frontends/drxk_hard.c 		i_freqk_hz = (intermediate_frequency / 1000);