msr_write_intercepted
!msr_write_intercepted(to_svm(vcpu), msr_info->index);
if (!msr_write_intercepted(svm, MSR_IA32_SPEC_CTRL))
if (!msr_write_intercepted(svm, MSR_AMD64_PERF_CNTR_GLOBAL_CTL))
if (msr_write_intercepted(vmx, MSR_CORE_PERF_GLOBAL_CTRL))
if (!msr_write_intercepted(vmx, MSR_IA32_SPEC_CTRL))