ifmhz             236 drivers/media/dvb-frontends/au8522_dig.c 	char *ifmhz;
ifmhz             240 drivers/media/dvb-frontends/au8522_dig.c 		ifmhz = "3.25";
ifmhz             246 drivers/media/dvb-frontends/au8522_dig.c 		ifmhz = "4.00";
ifmhz             252 drivers/media/dvb-frontends/au8522_dig.c 		ifmhz = "6.00";
ifmhz             261 drivers/media/dvb-frontends/au8522_dig.c 	dprintk("%s() %s MHz\n", __func__, ifmhz);