Searched defs:UINT32_MAX (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Dtypes.h31 #define UINT32_MAX (0xffffffff) macro
/seL4-refos-master/tools/elfloader/include/
H A Dtypes.h31 #define UINT32_MAX (0xffffffff) macro
/seL4-refos-master/kernel/include/
H A Dstdint.h22 #define UINT32_MAX (0xFFFFFFFF) macro
/seL4-refos-master/libs/libmuslc/include/
H A Dstdint.h50 #define UINT32_MAX (0xffffffffu) macro

Completed in 40 milliseconds