pl111_irq          86 drivers/gpu/drm/pl111/pl111_drm.h irqreturn_t pl111_irq(int irq, void *data);
pl111_irq         311 drivers/gpu/drm/pl111/pl111_drv.c 	ret = devm_request_irq(dev, amba_dev->irq[0], pl111_irq, 0,