Home
last modified time | relevance | path

Searched refs:UINT64_MAX (Results 1 – 11 of 11) sorted by relevance

/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dtimer.h18 return UINT64_MAX / TIMER_CLOCK_KHZ; in getMaxTicksToUs()
20 return UINT64_MAX; in getMaxTicksToUs()
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Dtimer.h23 return UINT64_MAX / KHZ_IN_MHZ / CLK_MAGIC; in getMaxTicksToUs()
25 return UINT64_MAX / CLK_MAGIC; in getMaxTicksToUs()
/seL4-master/include/arch/arm/arch/machine/
A Dtimer.h33 return UINT64_MAX / TIMER_CLOCK_KHZ; in getMaxUsToTicks()
35 return UINT64_MAX / TIMER_CLOCK_MHZ; in getMaxUsToTicks()
/seL4-master/include/arch/x86/arch/machine/
A Dtimer.h30 return div64(UINT64_MAX, x86KStscMhz); in getMaxUsToTicks()
49 return UINT64_MAX; in getMaxTicksToUs()
/seL4-master/include/64/mode/
A Dstdint.h9 #define UINTPTR_MAX UINT64_MAX
/seL4-master/include/
A Dstdint.h21 #define UINT64_MAX (0xFFFFFFFFFFFFFFFF) macro
/seL4-master/include/32/mode/
A Dutil.h30 while (c < UINT64_MAX) { in div64()
/seL4-master/include/drivers/timer/
A Darm_generic.h33 ticks_t deadline = UINT64_MAX; in ackDeadlineIRQ()
/seL4-master/include/arch/riscv/arch/machine/
A Dtimer.h42 return UINT64_MAX / TICKS_IN_US; in getMaxTicksToUs()
/seL4-master/src/
A Dutil.c249 uint64_t mask = UINT64_MAX; in clz64()
368 uint64_t mask = UINT64_MAX; in ctz64()
/seL4-master/include/kernel/
A Dsporadic.h49 #define MAX_RELEASE_TIME (UINT64_MAX - 5 * usToTicks(MAX_PERIOD_US))

Completed in 10 milliseconds