Symbol: vc4_cec_irq_handler_rx_thread
drivers/gpu/drm/vc4/vc4_hdmi.c
2519
ret = vc4_cec_irq_handler_rx_thread(irq, priv);
drivers/gpu/drm/vc4/vc4_hdmi.c
2860
vc4_cec_irq_handler_rx_thread, 0,