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

/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Dtypes.h10 typedef short int16_t; typedef
/seL4-test-master/kernel/include/
H A Dstdint.h17 typedef signed short int16_t; typedef
/seL4-test-master/tools/nanopb/extra/
H A Dpb_syshdr.h21 typedef signed short int16_t; typedef

Completed in 32 milliseconds