Symbol: imx31_irq_handler
sys/arch/arm/imx/imx31_intr.h
100
#define ARM_IRQ_HANDLER _C_LABEL(imx31_irq_handler)
sys/arch/arm/imx/imx31_intr.h
129
void imx31_irq_handler(void *);