carrier_offset_khz  865 drivers/media/dvb-frontends/ds3000.c 					s32 carrier_offset_khz)
carrier_offset_khz  870 drivers/media/dvb-frontends/ds3000.c 	tmp = carrier_offset_khz;