derot_hz         1905 drivers/media/dvb-frontends/stv0367.c 					u32 adc_hz, s32 derot_hz)
derot_hz         1912 drivers/media/dvb-frontends/stv0367.c 	dprintk("%s: adc_hz=%d derot_hz=%d\n", __func__, adc_hz, derot_hz);
derot_hz         1915 drivers/media/dvb-frontends/stv0367.c 		if (derot_hz < 1000000)
derot_hz         1916 drivers/media/dvb-frontends/stv0367.c 			derot_hz = adc_hz / 4; /* ZIF operation */
derot_hz         1917 drivers/media/dvb-frontends/stv0367.c 		if (derot_hz > adc_hz)
derot_hz         1918 drivers/media/dvb-frontends/stv0367.c 			derot_hz = derot_hz - adc_hz;
derot_hz         1919 drivers/media/dvb-frontends/stv0367.c 		sampled_if = (u32)derot_hz / 1000;
derot_hz         1934 drivers/media/dvb-frontends/stv0367.c 	return derot_hz;