Type Definition sgx_types::sgx_misc_select_t

type sgx_misc_select_t = uint32_t;