@@ -663,6 +663,8 @@ long do_xenpmu_op(
if ( pmu_params.version.maj != XENPMU_VER_MAJ )
return -EINVAL;
+
+ break;
}
switch ( op )
@@ -776,6 +778,7 @@ long do_xenpmu_op(
default:
ret = -EINVAL;
+ break;
}
return ret;
@@ -666,6 +666,7 @@ static int cf_check core2_vpmu_do_wrmsr(unsigned int msr, uint64_t msr_content)
xen_pmu_cntr_pair[tmp].control = msr_content;
}
+ break;
}
if ( type != MSR_TYPE_GLOBAL )
@@ -713,6 +714,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 )