vc4_irq_reset     828 drivers/gpu/drm/vc4/vc4_drv.h void vc4_irq_reset(struct drm_device *dev);
vc4_irq_reset     302 drivers/gpu/drm/vc4/vc4_gem.c 	vc4_irq_reset(dev);