resetTimer (reference) in projects: seL4-master

Searched refs:resetTimer (Results 1 – 10 of 10) sorted by relevance

/seL4-master/include/machine/
A D	timer.h	`32 static inline void resetTimer(void);`
/seL4-master/include/drivers/timer/
A D	arm_priv.h	`21 static inline void resetTimer(void) in resetTimer() function`
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	omap3430.h	`70 static inline void resetTimer(void) in resetTimer() function`
A D	am335x.h	`86 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/drivers/timer/
A D	generic_timer.c	`31 resetTimer(); in initGenericTimer()`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`219 void resetTimer(void) in resetTimer() function`
/seL4-master/src/object/
A D	interrupt.c	`225 resetTimer(); in handleInterrupt()`

Completed in 8 milliseconds