msr_write_intercepted
!msr_write_intercepted(vcpu, msr_info->index);
bool spec_ctrl_intercepted = msr_write_intercepted(vcpu, MSR_IA32_SPEC_CTRL);
if (!msr_write_intercepted(vcpu, MSR_AMD64_PERF_CNTR_GLOBAL_CTL))
if (!msr_write_intercepted(vmx, MSR_IA32_SPEC_CTRL))
if (msr_write_intercepted(vmx, MSR_CORE_PERF_GLOBAL_CTRL))