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

/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h50 static inline void generic_timer_set_compare(uint64_t ticks) function
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h50 static inline void generic_timer_set_compare(uint64_t ticks) function
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c94 generic_timer_set_compare(freq_ns_and_hz_to_cycles(ns, ltimer->freq));
112 generic_timer_set_compare(UINT64_MAX);
131 generic_timer_set_compare(UINT64_MAX);
186 generic_timer_set_compare(UINT64_MAX);
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c94 generic_timer_set_compare(freq_ns_and_hz_to_cycles(ns, ltimer->freq));
112 generic_timer_set_compare(UINT64_MAX);
131 generic_timer_set_compare(UINT64_MAX);
186 generic_timer_set_compare(UINT64_MAX);

Completed in 79 milliseconds