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

type sgx_cpuinfo_t = [int32_t; 4];