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

/seL4-camkes-master/tools/rumprun/include/bmk-rumpuser/
H A Dcore_types.h34 typedef unsigned long uint64_t; typedef
37 typedef unsigned long long uint64_t; typedef
/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dtypes.h30 typedef __UINT64_TYPE__ uint64_t; typedef
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h17 typedef unsigned long long uint64_t; typedef
/seL4-camkes-master/kernel/include/
H A Dstdint.h14 typedef unsigned long long uint64_t; typedef
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dsysdep.h25 typedef unsigned __int64 uint64_t; typedef
[all...]

Completed in 55 milliseconds