((3600 / usecs) << VC4_HDMI_CEC_CNT_TO_3600_US_SHIFT) |
                           ((3500 / usecs) << VC4_HDMI_CEC_CNT_TO_3500_US_SHIFT));
 
-               HDMI_WRITE(HDMI_CEC_CPU_MASK_CLEAR, VC4_HDMI_CPU_CEC);
+               if (!vc4_hdmi->variant->external_irq_controller)
+                       HDMI_WRITE(HDMI_CEC_CPU_MASK_CLEAR, VC4_HDMI_CPU_CEC);
        } else {
-               HDMI_WRITE(HDMI_CEC_CPU_MASK_SET, VC4_HDMI_CPU_CEC);
+               if (!vc4_hdmi->variant->external_irq_controller)
+                       HDMI_WRITE(HDMI_CEC_CPU_MASK_SET, VC4_HDMI_CPU_CEC);
                HDMI_WRITE(HDMI_CEC_CNTRL_5, val |
                           VC4_HDMI_CEC_TX_SW_RESET | VC4_HDMI_CEC_RX_SW_RESET);
        }
        cec_fill_conn_info_from_drm(&conn_info, &vc4_hdmi->connector);
        cec_s_conn_info(vc4_hdmi->cec_adap, &conn_info);
 
-       HDMI_WRITE(HDMI_CEC_CPU_MASK_SET, 0xffffffff);
-
        value = HDMI_READ(HDMI_CEC_CNTRL_1);
        /* Set the logical address to Unregistered */
        value |= VC4_HDMI_CEC_ADDR_MASK;
 
        vc4_hdmi_cec_update_clk_div(vc4_hdmi);
 
-       ret = devm_request_threaded_irq(&pdev->dev, platform_get_irq(pdev, 0),
-                                       vc4_cec_irq_handler,
-                                       vc4_cec_irq_handler_thread, 0,
-                                       "vc4 hdmi cec", vc4_hdmi);
-       if (ret)
-               goto err_delete_cec_adap;
+       if (vc4_hdmi->variant->external_irq_controller) {
+               ret = devm_request_threaded_irq(&pdev->dev,
+                                               platform_get_irq_byname(pdev, "cec-rx"),
+                                               vc4_cec_irq_handler_rx_bare,
+                                               vc4_cec_irq_handler_rx_thread, 0,
+                                               "vc4 hdmi cec rx", vc4_hdmi);
+               if (ret)
+                       goto err_delete_cec_adap;
+
+               ret = devm_request_threaded_irq(&pdev->dev,
+                                               platform_get_irq_byname(pdev, "cec-tx"),
+                                               vc4_cec_irq_handler_tx_bare,
+                                               vc4_cec_irq_handler_tx_thread, 0,
+                                               "vc4 hdmi cec tx", vc4_hdmi);
+               if (ret)
+                       goto err_delete_cec_adap;
+       } else {
+               HDMI_WRITE(HDMI_CEC_CPU_MASK_SET, 0xffffffff);
+
+               ret = devm_request_threaded_irq(&pdev->dev, platform_get_irq(pdev, 0),
+                                               vc4_cec_irq_handler,
+                                               vc4_cec_irq_handler_thread, 0,
+                                               "vc4 hdmi cec", vc4_hdmi);
+               if (ret)
+                       goto err_delete_cec_adap;
+       }
 
        ret = cec_register_adapter(vc4_hdmi->cec_adap, &pdev->dev);
        if (ret < 0)
                PHY_LANE_CK,
        },
        .unsupported_odd_h_timings      = true,
+       .external_irq_controller        = true,
 
        .init_resources         = vc5_hdmi_init_resources,
        .csc_setup              = vc5_hdmi_csc_setup,
                PHY_LANE_2,
        },
        .unsupported_odd_h_timings      = true,
+       .external_irq_controller        = true,
 
        .init_resources         = vc5_hdmi_init_resources,
        .csc_setup              = vc5_hdmi_csc_setup,