hdmi_output_mask 1643 drivers/media/platform/vivid/vivid-ctrls.c 		s64 hdmi_output_mask = GENMASK(dev->num_hdmi_outputs - 1, 0);
hdmi_output_mask 1658 drivers/media/platform/vivid/vivid-ctrls.c 			NULL, V4L2_CID_DV_TX_HOTPLUG, 0, hdmi_output_mask,
hdmi_output_mask 1659 drivers/media/platform/vivid/vivid-ctrls.c 			0, hdmi_output_mask);
hdmi_output_mask 1661 drivers/media/platform/vivid/vivid-ctrls.c 			NULL, V4L2_CID_DV_TX_RXSENSE, 0, hdmi_output_mask,
hdmi_output_mask 1662 drivers/media/platform/vivid/vivid-ctrls.c 			0, hdmi_output_mask);
hdmi_output_mask 1664 drivers/media/platform/vivid/vivid-ctrls.c 			NULL, V4L2_CID_DV_TX_EDID_PRESENT, 0, hdmi_output_mask,
hdmi_output_mask 1665 drivers/media/platform/vivid/vivid-ctrls.c 			0, hdmi_output_mask);