Signed-off-by: Haozhong Zhang <haozhong.zhang@intel.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
{
case MSR_IA32_MCG_STATUS:
*val = cur->arch.vmce.mcg_status;
- if (*val)
+ if ( *val )
mce_printk(MCE_VERBOSE,
"MCE: %pv: rd MCG_STATUS %#"PRIx64"\n", cur, *val);
break;
struct vcpu *v;
int err = 0;
- for_each_vcpu( d, v ) {
+ for_each_vcpu ( d, v )
+ {
struct hvm_vmce_vcpu ctxt = {
.caps = v->arch.vmce.mcg_cap,
.mci_ctl2_bank0 = v->arch.vmce.bank[0].mci_ctl2,