Symbol: vc4_cec_irq_handler_tx_thread
drivers/gpu/drm/vc4/vc4_hdmi.c
2515
ret = vc4_cec_irq_handler_tx_thread(irq, priv);
drivers/gpu/drm/vc4/vc4_hdmi.c
2861
vc4_cec_irq_handler_tx_thread, 0,