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);