break;
default:
- if ( rdmsr_safe(msr, *msr_content) == 0 )
- break;
+ gdprintk(XENLOG_WARNING, "RDMSR 0x%08x unimplemented\n", msr);
goto gpf;
}
break;
default:
- /* Match up with the RDMSR side; ultimately this should go away. */
- if ( rdmsr_safe(msr, msr_content) == 0 )
- break;
-
+ gdprintk(XENLOG_WARNING,
+ "WRMSR 0x%08x val 0x%016"PRIx64" unimplemented\n",
+ msr, msr_content);
goto gpf;
}
break;
}
- if ( rdmsr_safe(msr, *msr_content) == 0 )
- break;
-
+ gdprintk(XENLOG_WARNING, "RDMSR 0x%08x unimplemented\n", msr);
goto gp_fault;
}
__vmwrite(GUEST_IA32_DEBUGCTL, msr_content);
break;
- case MSR_IA32_FEATURE_CONTROL:
- case MSR_IA32_VMX_BASIC ... MSR_IA32_VMX_VMFUNC:
- /* None of these MSRs are writeable. */
- goto gp_fault;
-
case MSR_IA32_MISC_ENABLE:
/*
* Silently drop writes that don't change the reported value: At least
is_last_branch_msr(msr) )
break;
- /* Match up with the RDMSR side; ultimately this should go away. */
- if ( rdmsr_safe(msr, msr_content) == 0 )
- break;
-
+ gdprintk(XENLOG_WARNING,
+ "WRMSR 0x%08x val 0x%016"PRIx64" unimplemented\n",
+ msr, msr_content);
goto gp_fault;
}