Symbol: bcm2835_handle_irq
drivers/irqchip/irq-bcm2835.c
188
set_handle_irq(bcm2835_handle_irq);
drivers/irqchip/irq-bcm2835.c
88
static void __exception_irq_entry bcm2835_handle_irq(