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);