Searched refs:UINT64_MAX (Results 1 - 25 of 26) sorted by relevance

12

/seL4-camkes-master/kernel/include/64/mode/
H A Dstdint.h9 #define UINTPTR_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/aarch64/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/mips64/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/powerpc64/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/s390x/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/x86_64/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/bits/
H A Dstdint.h17 #define UINTPTR_MAX UINT64_MAX
20 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dtimer.h23 return UINT64_MAX / KHZ_IN_MHZ / CLK_MAGIC;
25 return UINT64_MAX / CLK_MAGIC;
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dtimer.h18 return UINT64_MAX / TIMER_CLOCK_KHZ;
20 return UINT64_MAX;
/seL4-camkes-master/kernel/include/
H A Dstdint.h21 #define UINT64_MAX (0xFFFFFFFFFFFFFFFF) macro
/seL4-camkes-master/projects/musllibc/arch/riscv/bits/
H A Dstdint.h25 #define UINTPTR_MAX UINT64_MAX
28 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/projects/musllibc/arch/riscv_sel4/bits/
H A Dstdint.h25 #define UINTPTR_MAX UINT64_MAX
28 #define SIZE_MAX UINT64_MAX
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h32 #define UINT64_MAX (0xffffffffffffffffull) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h33 return UINT64_MAX / TIMER_CLOCK_KHZ;
35 return UINT64_MAX / TIMER_CLOCK_MHZ;
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h30 return div64(UINT64_MAX, x86KStscMhz);
49 return UINT64_MAX;
/seL4-camkes-master/projects/musllibc/include/
H A Dstdint.h51 #define UINT64_MAX (0xffffffffffffffffu) macro
70 #define UINT_FAST64_MAX UINT64_MAX
75 #define UINT_LEAST64_MAX UINT64_MAX
79 #define UINTMAX_MAX UINT64_MAX
105 #if UINTPTR_MAX == UINT64_MAX
H A Dinttypes.h25 #if UINTPTR_MAX == UINT64_MAX
/seL4-camkes-master/kernel/include/32/mode/
H A Dutil.h30 while (c < UINT64_MAX) {
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dtimer.h42 return UINT64_MAX / TICKS_IN_US;
/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_generic.h33 ticks_t deadline = UINT64_MAX;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c64 state->current_timeout = UINT64_MAX;
136 state->current_timeout = UINT64_MAX;
188 state->current_timeout = UINT64_MAX;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c112 generic_timer_set_compare(UINT64_MAX);
131 generic_timer_set_compare(UINT64_MAX);
186 generic_timer_set_compare(UINT64_MAX);
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Darch.h122 #if !defined(LWIP_HAVE_INT64) && defined(UINT64_MAX)
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/elf/
H A Delf.c191 uint64_t mem_min = UINT64_MAX;

Completed in 126 milliseconds

12