Searched refs:TIMER_CLOCK_KHZ (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dtimer.h18 return UINT64_MAX / TIMER_CLOCK_KHZ;
27 return (ticks * TIMER_CLOCK_KHZ) / TIMER_CLOCK_MHZ;
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h21 #define TIMER_CLOCK_KHZ (TIMER_CLOCK_HZ / HZ_IN_KHZ) macro
33 return UINT64_MAX / TIMER_CLOCK_KHZ;
45 return div64(us * TIMER_CLOCK_KHZ, KHZ_IN_MHZ);

Completed in 34 milliseconds