Symbol: imx23_timrot_systimer_irq
sys/arch/arm/imx/imx23_timrot.c
137
imx23_timrot_systimer_irq, NULL,
sys/arch/arm/imx/imx23_timrot.c
63
int imx23_timrot_systimer_irq(void *frame);