vmx_set_msr 2533 arch/x86/kvm/vmx.c if (vmx_set_msr(vcpu, ecx, data) != 0) { vmx_set_msr 3212 arch/x86/kvm/vmx.c .set_msr = vmx_set_msr,