arm_fdt_irq_handler
void arm_fdt_irq_handler(void *);
#define ARM_IRQ_HANDLER _C_LABEL(arm_fdt_irq_handler)