Type Definition sgx_tstd::os::raw::c_uint

type c_uint = u32;