Symbol: arm_tmr_intr
sys/arm/arm/generic_timer.c
415
arm_tmr_intr(void *arg)
sys/arm/arm/mpcore_timer.c
241
arm_tmr_intr(void *arg)