Type Definition sgx_trts::libc::uint32_t[][src]

type uint32_t = u32;