num_hdmi_inputs   729 drivers/media/platform/vivid/vivid-core.c 	dev->num_hdmi_inputs = in_type_counter[HDMI];
num_hdmi_inputs   171 drivers/media/platform/vivid/vivid-core.h 	unsigned int			num_hdmi_inputs;
num_hdmi_inputs  1615 drivers/media/platform/vivid/vivid-ctrls.c 	if (dev->num_hdmi_inputs) {
num_hdmi_inputs  1616 drivers/media/platform/vivid/vivid-ctrls.c 		s64 hdmi_input_mask = GENMASK(dev->num_hdmi_inputs - 1, 0);