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

/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Dtypes.h12 typedef long long int64_t; typedef
/seL4-refos-master/tools/elfloader/include/
H A Dtypes.h12 typedef long long int64_t; typedef
/seL4-refos-master/kernel/include/
H A Dstdint.h19 typedef signed long long int64_t; typedef

Completed in 48 milliseconds