Type Definition sgx_libc::uint32_t

pub type uint32_t = u32;