Type Definition sgx_tstd::os::raw::c_ulong

type c_ulong = u64;