31.07.24 15:29, Jan Beulich:
@@ -326,14 +328,14 @@ static inline void __core2_vpmu_load(struct vcpu *v)
if ( vpmu_is_set(vcpu_vpmu(v), VPMU_CPU_HAS_DS) )
wrmsrl(MSR_IA32_DS_AREA, core2_vpmu_cxt->ds_area);
-if ( !is_hvm_vcpu(v) )
+if ( !is_vmx_vcpu(v) )
{
On 30.07.2024 12:35, Sergiy Kibrik wrote:
> @@ -266,10 +268,10 @@ static inline void __core2_vpmu_save(struct vcpu *v)
> rdmsrl(MSR_P6_EVNTSEL(i), xen_pmu_cntr_pair[i].control);
> }
>
> -if ( !is_hvm_vcpu(v) )
> +if ( !is_vmx_vcpu(v) )
With this ...
> rdmsrl(MSR_C
