[][src]Type Definition sgx_libc::int64_t

type int64_t = i64;