Symbol: imx51_irq_handler
sys/arch/arm/imx/imx51_intr.h
158
#define ARM_IRQ_HANDLER _C_LABEL(imx51_irq_handler)
sys/arch/arm/imx/imx51_intr.h
297
void imx51_irq_handler(void *);