On 24.06.2024 11:04, Federico Serafini wrote: > --- a/xen/arch/x86/cpu/vpmu_intel.c > +++ b/xen/arch/x86/cpu/vpmu_intel.c > @@ -713,6 +713,7 @@ static int cf_check core2_vpmu_do_rdmsr(unsigned int msr, > uint64_t *msr_content) > break; > default: > rdmsrl(msr, *msr_content); > + break; > } > } > else if ( msr == MSR_IA32_MISC_ENABLE )
Up from here, in core2_vpmu_do_wrmsr() there's a pretty long default block with no terminating break. Is there a reason that you don't put one there? Jan
