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)))