ifFreqHz          110 drivers/media/dvb-frontends/s5h1432.c static int s5h1432_set_IF(struct dvb_frontend *fe, u32 ifFreqHz)
ifFreqHz          114 drivers/media/dvb-frontends/s5h1432.c 	switch (ifFreqHz) {
ifFreqHz          148 drivers/media/dvb-frontends/s5h1432.c 			value = (u32) (((48000 - (ifFreqHz / 1000)) * 512 *
ifFreqHz          152 drivers/media/dvb-frontends/s5h1432.c 			       ifFreqHz, value);