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