Type Definition sgx_trts::libc::int32_t[][src]

type int32_t = i32;