int
emulate_wrmsr(struct vmctx *ctx, int vcpu, uint32_t num, uint64_t val)
{
if (cpu_vendor_intel) {
switch (num) {
case 0xd04: /* Sandy Bridge uncore PMCs */
return (0);
case MSR_BIOS_SIGN:
case MSR_IA32_MISC_ENABLE:
default:
break;
}
* Ignore writes to hardware configuration MSR.
*/
case MSR_NB_CFG1:
case MSR_IC_CFG:
return (0); /* Ignore writes */