[][src]Type Definition sgx_types::sgx_ra_context_t

type sgx_ra_context_t = uint32_t;