vc4_dsi_irq_handler 1526 drivers/gpu/drm/vc4/vc4_dsi.c 						vc4_dsi_irq_handler,
vc4_dsi_irq_handler 1531 drivers/gpu/drm/vc4/vc4_dsi.c 				       vc4_dsi_irq_handler, 0, "vc4 dsi", dsi);