Type Definition sgx_types::uint64_t[][src]

type uint64_t = u64;