msr_write_intercepted 5821 arch/x86/kvm/svm.c 	if (unlikely(!msr_write_intercepted(vcpu, MSR_IA32_SPEC_CTRL)))
msr_write_intercepted 6582 arch/x86/kvm/vmx/vmx.c 	if (unlikely(!msr_write_intercepted(vcpu, MSR_IA32_SPEC_CTRL)))