Symbol: at91cf_event_thread
sys/arch/arm/at91/at91cf.c
257
kthread_create(PRI_NONE, 0, NULL, at91cf_event_thread, ph,
sys/arch/arm/at91/at91cf.c
87
static void at91cf_event_thread(void *);