On Tue, Nov 7, 2023 at 4:31 PM Sean Christopherson <seanjc@xxxxxxxxxx> wrote: > > From: Jinrong Liang <cloudliang@xxxxxxxxxxx> > > Add vcpu_set_cpuid_property() helper function for setting properties, and > use it instead of open coding an equivalent for MAX_PHY_ADDR. Future vPMU > testcases will also need to stuff various CPUID properties. > > Signed-off-by: Jinrong Liang <cloudliang@xxxxxxxxxxx> > Co-developed-by: Sean Christopherson <seanjc@xxxxxxxxxx> > Signed-off-by: Sean Christopherson <seanjc@xxxxxxxxxx> Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx>