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

/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dhardware.c20 initTimer(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dtimer.h31 void initTimer(void);
/seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/
H A Dhardware.c17 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/
H A Dhardware.c18 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dhardware.c17 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/
H A Dhardware.c20 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/
H A Dhardware.c20 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/
H A Dhardware.c25 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dpriv_timer.c30 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/
H A Dhardware.c34 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/
H A Dtimer.c42 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/
H A Dhardware.c26 BOOT_CODE void initTimer(void) function
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h77 void initTimer(void);
/seL4-l4v-10.1.1/seL4/src/plat/exynos4/machine/
H A Dhardware.c22 BOOT_CODE void initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c38 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c81 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c45 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c181 initTimer(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c292 initTimer();
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c221 initTimer();

Completed in 100 milliseconds