bcm2835_irq_handler
arm_fdt_irq_set_handler(bcm2835_irq_handler);
static void bcm2835_irq_handler(void *);