Type Definition sgx_types::uintmax_t[][src]

type uintmax_t = u64;