From: pbonzini@redhat.com (Paolo Bonzini)
To: linux-arm-kernel@lists.infradead.org
Subject: [PATCH v6] KVM: arm/arm64: Route vtimer events to user space
Date: Fri, 23 Sep 2016 14:11:41 +0200 [thread overview]
Message-ID: <dd9267b6-2323-2d74-0553-71a89d05a654@redhat.com> (raw)
In-Reply-To: <1474628854-69945-1-git-send-email-agraf@suse.de>
On 23/09/2016 13:07, Alexander Graf wrote:
> + timer_ret = kvm_timer_sync_hwstate(vcpu);
>
> kvm_vgic_sync_hwstate(vcpu);
>
> preempt_enable();
>
> ret = handle_exit(vcpu, run, ret);
> +
> + if ((ret == 1) && timer_ret) {
> + /*
> + * We have to exit straight away to ensure that we only
> + * ever notify user space once about a level change
> + */
Is this really a requirement? It complicates the logic noticeably.
Paolo
> + ret = -EINTR;
> + run->exit_reason = KVM_EXIT_INTR;
> + }
> }
next prev parent reply other threads:[~2016-09-23 12:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-23 11:07 [PATCH v6] KVM: arm/arm64: Route vtimer events to user space Alexander Graf
2016-09-23 12:11 ` Paolo Bonzini [this message]
2016-09-23 12:40 ` Christoffer Dall
2016-09-23 14:42 ` Paolo Bonzini
[not found] ` <D82BA95A-A89E-46EB-93D2-197DF44433EC@suse.de>
2016-09-23 12:46 ` Paolo Bonzini
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=dd9267b6-2323-2d74-0553-71a89d05a654@redhat.com \
--to=pbonzini@redhat.com \
--cc=linux-arm-kernel@lists.infradead.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox