Type Definition sgx_types::int16_t

type int16_t = i16;