Symbol: amptimer_intr
sys/arch/arm/cortex/amptimer.c
102
int amptimer_intr(void *);
sys/arch/arm/cortex/amptimer.c
299
NULL, amptimer_intr, NULL, "tick");