Searched defs:resetTimer (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/drivers/timer/
A D	arm_generic.h	38 static inline void resetTimer(void) in resetTimer() function
A D	exynos4412-mct.h	11 static inline void resetTimer(void) in resetTimer() function
A D	arm_priv.h	21 static inline void resetTimer(void) in resetTimer() function
A D	am335x.h	86 static inline void resetTimer(void) in resetTimer() function
A D	omap3430.h	70 static inline void resetTimer(void) in resetTimer() function
/seL4-master/include/arch/x86/arch/machine/
A D	timer.h	69 static inline void resetTimer(void) in resetTimer() function
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	219 void resetTimer(void) in resetTimer() function

Completed in 12 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023