set_frequency_shifter 4023 drivers/media/dvb-frontends/drxk_hard.c 	status = set_frequency_shifter(state, intermediate_freqk_hz,
set_frequency_shifter 5537 drivers/media/dvb-frontends/drxk_hard.c 	status = set_frequency_shifter(state, intermediate_freqk_hz,