offset_freq      1816 drivers/media/dvb-frontends/drxk_hard.c static int start(struct drxk_state *state, s32 offset_freq,
offset_freq      1822 drivers/media/dvb-frontends/drxk_hard.c 	s32 offsetk_hz = offset_freq / 1000;