Searched refs:initGenericTimer (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/drivers/timer/
H A Dexynos4210-mct.c32 initGenericTimer();
H A Dgeneric_timer.c9 BOOT_CODE void initGenericTimer(void) function
34 * initGenericTimer because of this. We cannot use a `weak` symbol definition
42 initGenericTimer();
/seL4-l4v-master/seL4/include/drivers/timer/
H A Darm_generic.h45 BOOT_CODE void initGenericTimer(void);

Completed in 39 milliseconds