Type Definition sgx_libc::c_uint

[]
pub type c_uint = u32;