dvbv3_type       1173 drivers/media/dvb-core/dvb_frontend.c 	switch (dvbv3_type(c->delivery_system)) {
dvbv3_type       1249 drivers/media/dvb-core/dvb_frontend.c 	switch (dvbv3_type(c->delivery_system)) {
dvbv3_type       1695 drivers/media/dvb-core/dvb_frontend.c 	type = dvbv3_type(desired_system);
dvbv3_type       1703 drivers/media/dvb-core/dvb_frontend.c 		if (dvbv3_type(fe->ops.delsys[ncaps]) == type)
dvbv3_type       1778 drivers/media/dvb-core/dvb_frontend.c 		if (dvbv3_type(fe->ops.delsys[ncaps]) != DVBV3_UNKNOWN) {
dvbv3_type       2463 drivers/media/dvb-core/dvb_frontend.c 		switch (dvbv3_type(c->delivery_system)) {