Type Definition sgx_types::sgx_misc_select_t[−][src]

type sgx_misc_select_t = uint32_t;