Searched refs:has_sgx (Results 1 – 1 of 1) sorted by relevance
3277 int has_sgx; in process_cpuid() local3283 has_sgx = ebx & (1 << 2); in process_cpuid()3284 fprintf(outf, "CPUID(7): %sSGX\n", has_sgx ? "" : "No-"); in process_cpuid()3286 if (has_sgx) in process_cpuid()