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

/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dtypes.h31 typedef __INT32_TYPE__ int32_t; typedef
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h11 typedef int int32_t; typedef
/seL4-camkes-master/kernel/include/
H A Dstdint.h18 typedef signed int int32_t; typedef
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dsysdep.h22 typedef __int32 int32_t; typedef

Completed in 86 milliseconds