10  * DOC: VC4 Falcon HDMI module
443 	struct vc4_dev *vc4 = to_vc4_dev(connector->dev);  in vc4_hdmi_connector_get_modes()  local
448 	if (!vc4->hvs->vc5_hdmi_enable_hdmi_20) {  in vc4_hdmi_connector_get_modes()
806 	struct vc4_dev *vc4 = to_vc4_dev(drm);  in vc4_hdmi_encoder_post_crtc_disable()  local
823 	if (vc4->gen >= VC4_GEN_6_C)  in vc4_hdmi_encoder_post_crtc_disable()
835 	if (vc4->gen < VC4_GEN_6_C) {  in vc4_hdmi_encoder_post_crtc_disable()
1425 	 * As stated in RPi's vc4 firmware "HDMI state machine (HSM) clock must  in vc4_hdmi_encoder_pre_crtc_configure()
1428 	 * operation." This conflicts with bcm2835's vc4 documentation, which  in vc4_hdmi_encoder_pre_crtc_configure()
1431 	 * Real life tests reveal that vc4's firmware statement holds up, and  in vc4_hdmi_encoder_pre_crtc_configure()
1650 	struct vc4_dev *vc4 = to_vc4_dev(connector->dev);  in vc4_hdmi_connector_clock_valid()  local
1655 	if (!vc4->hvs->vc5_hdmi_enable_hdmi_20 && clock > HDMI_14_MAX_TMDS_CLK)  in vc4_hdmi_connector_clock_valid()
1659 	if (!vc4->hvs->vc5_hdmi_enable_4096by2160 &&  in vc4_hdmi_connector_clock_valid()
2023 	struct vc4_dev *vc4 = to_vc4_dev(drm);  in vc4_hdmi_audio_prepare()  local
2081 	switch (vc4->gen) {  in vc4_hdmi_audio_prepare()
2105 		drm_err(drm, "Unknown VC4 generation: %d", vc4->gen);  in vc4_hdmi_audio_prepare()
2136 	.name = "vc4-hdmi-cpu-dai-component",
2154 	.name = "vc4-hdmi-cpu-dai",
2319 	card->driver_name = "vc4-hdmi";  in vc4_hdmi_audio_init()
2364 						"vc4 hdmi hpd connected", vc4_hdmi);  in vc4_hdmi_hotplug_init()
2371 						"vc4 hdmi hpd disconnected", vc4_hdmi);  in vc4_hdmi_hotplug_init()
2790 						"vc4 hdmi cec rx", vc4_hdmi);  in vc4_hdmi_cec_init()
2797 						"vc4 hdmi cec tx", vc4_hdmi);  in vc4_hdmi_cec_init()
2804 						"vc4 hdmi cec", vc4_hdmi);  in vc4_hdmi_cec_init()
3288 	.card_name		= "vc4-hdmi",
3308 	.card_name		= "vc4-hdmi-0",
3337 	.card_name		= "vc4-hdmi-1",
3366 	.card_name		= "vc4-hdmi-0",
3393 	.card_name		= "vc4-hdmi-1",