frontend_min      894 drivers/media/dvb-core/dvb_frontend.c 	u32 frontend_min = fe->ops.info.frequency_min_hz;
frontend_min      897 drivers/media/dvb-core/dvb_frontend.c 	*freq_min = max(frontend_min, tuner_min);
frontend_min      912 drivers/media/dvb-core/dvb_frontend.c 		tuner_min, tuner_max, frontend_min, frontend_max);