Symbol: vc4_irq_reset
drivers/gpu/drm/vc4/vc4_drv.h
1021
void vc4_irq_reset(struct drm_device *dev);
drivers/gpu/drm/vc4/vc4_gem.c
307
vc4_irq_reset(dev);