Type Definition sgx_types::uint64_t

type uint64_t = u64;