Searched refs:generic_timer_disable (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h91 static inline void generic_timer_disable(void) function
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h91 static inline void generic_timer_disable(void) function
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c139 generic_timer_disable();
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c139 generic_timer_disable();

Completed in 76 milliseconds