margin_khz       2287 drivers/media/dvb-frontends/dib0090.c 			u32 margin_khz = 100;
margin_khz       2291 drivers/media/dvb-frontends/dib0090.c 					if (((state->rf_request > (LUT_offset->RF_freq - margin_khz))
margin_khz       2292 drivers/media/dvb-frontends/dib0090.c 								&& (state->rf_request < (LUT_offset->RF_freq + margin_khz)))