vc4_irq           188 drivers/gpu/drm/vc4/vc4_drv.c 	.irq_handler = vc4_irq,
vc4_irq           824 drivers/gpu/drm/vc4/vc4_drv.h irqreturn_t vc4_irq(int irq, void *arg);