Type Definition sgx_types::uint32_t [] [src]

type uint32_t = u32;