is_dvbv3_delsys  1688 drivers/media/dvb-core/dvb_frontend.c 	if (!is_dvbv3_delsys(desired_system)) {
is_dvbv3_delsys  1765 drivers/media/dvb-core/dvb_frontend.c 	if (is_dvbv3_delsys(c->delivery_system)) {