Re: [PATCH 22/25] KVM: TDX: Use guest physical address to configure EPT level and GPAW

Paolo Bonzini
2024-09-10T17:31:21Z

On 8/13/24 00:48, Rick Edgecombe wrote:
> @@ -576,6 +575,9 @@ static int setup_tdparams_cpuids(struct kvm_cpuid2 *cpuid,
> value->ebx = entry->ebx;
> value->ecx = entry->ecx;
> value->edx = entry->edx;
> +
> + if (c->leaf == 0x80000008)
> + value->eax &= 0xff00ffff;
> }
>
> return 0;

Ah, this answers my question in 21/25. It definitely needs a comment
though! Also to explain what will future support in the TDX module look
like (a new feature bit I guess).

Paolo