Re: [PATCH 3/7] i386: Add sgx_get_info() interface

[Paolo Bonzini]

On 08/09/21 10:19, Yang Zhong wrote:
+    if (x86ms->sgx_epc_list) {
+        PCMachineState *pcms = PC_MACHINE(ms);
+        SGXEPCState *sgx_epc = &pcms->sgx_epc;
+        info = g_new0(SGXInfo, 1);
+
+        info->sgx = true;
+        info->sgx1 = true;
+        info->sgx2 = true;
+        info->flc = true;

Since this is querying the actual machine, it should check the CPUID 
bits of the first CPU, instead of just returning true.

Paolo