vchiq_doorbell_irq   69 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_2835_arm.c vchiq_doorbell_irq(int irq, void *dev_id);
vchiq_doorbell_irq  147 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_2835_arm.c 	err = devm_request_irq(dev, irq, vchiq_doorbell_irq, IRQF_IRQPOLL,