__kvm_set_msr    1566 arch/x86/kvm/x86.c 	return __kvm_set_msr(vcpu, index, data, false);
__kvm_set_msr    1615 arch/x86/kvm/x86.c 	return __kvm_set_msr(vcpu, index, *data, true);