Searched refs:initTimer (Results 1 - 16 of 16) sorted by relevance

/seL4-refos-master/kernel/src/drivers/timer/
H A Dglobal_timer.c12 BOOT_CODE void initTimer(void) function
H A Dallwinner-timer.c25 BOOT_CODE void initTimer(void) function
H A Dpriv_timer.c25 BOOT_CODE void initTimer(void) function
H A Dexynos4412-mct.c17 BOOT_CODE void initTimer(void) function
34 BOOT_CODE void initTimer(void) function
H A Domap3430-timer.c31 BOOT_CODE void initTimer(void) function
58 BOOT_CODE void initTimer(void) function
H A Dexynos4210-mct.c22 BOOT_CODE void initTimer(void) function
H A Dkpss-timer.c37 BOOT_CODE void initTimer(void) function
H A Dimx31-gpt.c31 BOOT_CODE void initTimer(void) function
H A Dam335x-timer.c95 BOOT_CODE void initTimer(void) function
134 BOOT_CODE void initTimer(void) function
H A Dimx31-epit.c33 BOOT_CODE void initTimer(void) function
H A Dgeneric_timer.c33 * generic timer is usable. They need to overwrite initTimer before calling
37 * to ifdef'ing out this initTimer definition for exynos5 platforms.
40 BOOT_CODE void initTimer(void) function
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h27 void initTimer(void);
68 void initTimer(void);
/seL4-refos-master/kernel/include/arch/riscv/arch/
H A Dmachine.h228 void initTimer(void);
/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dhardware.c250 BOOT_CODE void initTimer(void) function
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dboot.c142 initTimer();
/seL4-refos-master/kernel/src/arch/arm/kernel/
H A Dboot.c232 initTimer();

Completed in 45 milliseconds