Searched refs:resetTimer (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/machine/
H A Dtimer.h13 static inline void resetTimer(void);
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dtimer.h16 static inline void resetTimer() function
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dtimer.h18 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dtimer.h20 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dgeneric_timer.h23 resetTimer(void) function
H A Dpriv_timer.h29 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dtimer.h30 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dtimer.h29 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dgeneric_timer.c28 resetTimer();
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h46 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h47 static inline void resetTimer(void) function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c123 // don't ack the kernel timer interrupt, see the comment in resetTimer
162 resetTimer(void) function
167 // handleInterrupt that will happen at some point after this call to resetTimer
/seL4-l4v-10.1.1/seL4/src/object/
H A Dinterrupt.c221 resetTimer();

Completed in 61 milliseconds