Type Definition sgx_types::sgx_misc_select_t [] [src]

type sgx_misc_select_t = uint32_t;