129 				    unsigned int bpc, enum vc4_hdmi_output_format fmt);
148 					   unsigned int bpc,  in vc4_hdmi_mode_needs_scrambling()  argument
151 	unsigned long long clock = vc4_hdmi_encoder_compute_mode_clock(mode, bpc, fmt);  in vc4_hdmi_mode_needs_scrambling()
1927 				  unsigned int format, unsigned int bpc)  in vc4_hdmi_sink_supports_format_bpc()  argument
1932 	if (vic == 1 && bpc != 8) {  in vc4_hdmi_sink_supports_format_bpc()
1933 		drm_dbg(dev, "VIC1 requires a bpc of 8, got %u\n", bpc);  in vc4_hdmi_sink_supports_format_bpc()
1938 	    (format != VC4_HDMI_OUTPUT_RGB || bpc != 8)) {  in vc4_hdmi_sink_supports_format_bpc()
1950 		if (bpc == 10 && !(info->edid_hdmi_rgb444_dc_modes & DRM_EDID_HDMI_DC_30)) {  in vc4_hdmi_sink_supports_format_bpc()
1955 		if (bpc == 12 && !(info->edid_hdmi_rgb444_dc_modes & DRM_EDID_HDMI_DC_36)) {  in vc4_hdmi_sink_supports_format_bpc()
1972 		if (bpc != 12) {  in vc4_hdmi_sink_supports_format_bpc()
1989 		if (bpc == 10 && !(info->edid_hdmi_ycbcr444_dc_modes & DRM_EDID_HDMI_DC_30)) {  in vc4_hdmi_sink_supports_format_bpc()
1994 		if (bpc == 12 && !(info->edid_hdmi_ycbcr444_dc_modes & DRM_EDID_HDMI_DC_36)) {  in vc4_hdmi_sink_supports_format_bpc()
2036 				    unsigned int bpc,  in vc4_hdmi_encoder_compute_mode_clock()  argument
2045 		bpc = 8;  in vc4_hdmi_encoder_compute_mode_clock()
2047 	clock = clock * bpc;  in vc4_hdmi_encoder_compute_mode_clock()
2057 			       unsigned int bpc, unsigned int fmt)  in vc4_hdmi_encoder_compute_clock()  argument
2061 	clock = vc4_hdmi_encoder_compute_mode_clock(mode, bpc, fmt);  in vc4_hdmi_encoder_compute_clock()
2074 				unsigned int bpc)  in vc4_hdmi_encoder_compute_format()  argument
2084 	if (vc4_hdmi_sink_supports_format_bpc(vc4_hdmi, info, mode, format, bpc)) {  in vc4_hdmi_encoder_compute_format()
2088 						     mode, bpc, format);  in vc4_hdmi_encoder_compute_format()
2098 	if (vc4_hdmi_sink_supports_format_bpc(vc4_hdmi, info, mode, format, bpc)) {  in vc4_hdmi_encoder_compute_format()
2102 						     mode, bpc, format);  in vc4_hdmi_encoder_compute_format()
2122 	unsigned int bpc;  in vc4_hdmi_encoder_compute_config()  local
2125 	for (bpc = max_bpc; bpc >= 8; bpc -= 2) {  in vc4_hdmi_encoder_compute_config()
2126 		drm_dbg(dev, "Trying with a %d bpc output\n", bpc);  in vc4_hdmi_encoder_compute_config()
2129 						      mode, bpc);  in vc4_hdmi_encoder_compute_config()
2133 		vc4_state->output_bpc = bpc;  in vc4_hdmi_encoder_compute_config()