Type Definition sgx_types::sgx_misc_select_t[][src]

type sgx_misc_select_t = uint32_t;