Symbol: at91tctmr_intr
sys/arch/arm/at91/at91tctmr.c
288
at91_intr_establish(sc->sc_pid, IPL_CLOCK, INTR_HIGH_LEVEL, at91tctmr_intr, sc);
sys/arch/arm/at91/at91tctmr.c
80
static int at91tctmr_intr(void* arg);