vmx_set_vmx_msr    31 arch/x86/kvm/vmx/nested.h int vmx_set_vmx_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
vmx_set_vmx_msr  2056 arch/x86/kvm/vmx/vmx.c 		return vmx_set_vmx_msr(vcpu, msr_index, data);