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

/seL4-test-master/tools/nanopb/tests/without_64bit/
H A Dno_64bit_syshdr.h13 #define int64_t disabled_int64_t macro
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h12 typedef long long int64_t; typedef
/seL4-test-master/kernel/include/
H A Dstdint.h19 typedef signed long long int64_t; typedef
/seL4-test-master/tools/nanopb/extra/
H A Dpb_syshdr.h25 typedef signed long long int64_t; typedef

Completed in 44 milliseconds