Searched defs:int64_t (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/rumprun/include/bmk-rumpuser/
H A Dcore_types.h33 typedef long int64_t; typedef
36 typedef long long int64_t; typedef
/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dtypes.h29 typedef __INT64_TYPE__ int64_t; typedef
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h12 typedef long long int64_t; typedef
/seL4-camkes-master/kernel/include/
H A Dstdint.h19 typedef signed long long int64_t; typedef
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dsysdep.h24 typedef __int64 int64_t; typedef

Completed in 49 milliseconds