Symbol: vc4_cec_irq_handler_tx_bare_locked
drivers/gpu/drm/vc4/vc4_hdmi.c
2583
ret = vc4_cec_irq_handler_tx_bare_locked(vc4_hdmi);
drivers/gpu/drm/vc4/vc4_hdmi.c
2657
ret = vc4_cec_irq_handler_tx_bare_locked(vc4_hdmi);