frontend_max      895 drivers/media/dvb-core/dvb_frontend.c 	u32 frontend_max = fe->ops.info.frequency_max_hz;
frontend_max      899 drivers/media/dvb-core/dvb_frontend.c 	if (frontend_max == 0)
frontend_max      902 drivers/media/dvb-core/dvb_frontend.c 		*freq_max = frontend_max;
frontend_max      904 drivers/media/dvb-core/dvb_frontend.c 		*freq_max = min(frontend_max, tuner_max);
frontend_max      912 drivers/media/dvb-core/dvb_frontend.c 		tuner_min, tuner_max, frontend_min, frontend_max);