Searched refs:TICKS_PER_MS (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h13 #define TICKS_PER_MS (TIMER_CLOCK_HZ / HZ_IN_KHZ) macro
62 #define TIMER_RELOAD (TICKS_PER_MS * CONFIG_TIMER_TICK_MS)
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c36 #define TICKS_PER_MS (TICKS_PER_SECOND / MS_IN_S) macro
71 return ticks / TICKS_PER_MS * NS_IN_MS;
85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c36 #define TICKS_PER_MS (TICKS_PER_SECOND / MS_IN_S) macro
71 return ticks / TICKS_PER_MS * NS_IN_MS;
85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c42 #define TICKS_PER_MS (TICKS_PER_SECOND / MS_IN_S) macro
79 return ticks / TICKS_PER_MS * NS_IN_MS;
93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c42 #define TICKS_PER_MS (TICKS_PER_SECOND / MS_IN_S) macro
79 return ticks / TICKS_PER_MS * NS_IN_MS;
93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c94 gpt_cnt_ciel = gpt_cnt_tval + (deadline_ms * TICKS_PER_MS);

Completed in 90 milliseconds