Searched refs:KHZ_IN_MHZ (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dtimer.h23 return UINT64_MAX / KHZ_IN_MHZ / CLK_MAGIC;
33 return (ticks * KHZ_IN_MHZ) * CLK_MAGIC >> CLK_SHIFT;
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h42 /* reciprocal division overflows too quickly for dividing by KHZ_IN_MHZ.
45 return div64(us * TIMER_CLOCK_KHZ, KHZ_IN_MHZ);
/seL4-test-master/kernel/include/
H A Dutil.h24 #define KHZ_IN_MHZ 1000llu macro

Completed in 29 milliseconds