wbd_thot         1333 drivers/media/dvb-frontends/dib0090.c 	s32 wbd_thot, wbd_tcold;
wbd_thot         1354 drivers/media/dvb-frontends/dib0090.c 	wbd_thot = wbd->offset_hot - (((u32) wbd->slope_hot * f_MHz) >> 6);
wbd_thot         1357 drivers/media/dvb-frontends/dib0090.c 	wbd_tcold += ((wbd_thot - wbd_tcold) * current_temp) >> 7;