__kvm_get_msr 1560 arch/x86/kvm/x86.c return __kvm_get_msr(vcpu, index, data, false); __kvm_get_msr 1610 arch/x86/kvm/x86.c return __kvm_get_msr(vcpu, index, data, true);