From: Ian Campbell <ian.campbell@citrix.com>
To: stefano.stabellini@eu.citrix.com, julien.grall@linaro.org
Cc: xen-devel@lists.xen.org
Subject: Re: [PATCH v2] xen: arm: context switch vtimer PPI state.
Date: Wed, 11 Nov 2015 12:49:30 +0000 [thread overview]
Message-ID: <1447246170.11601.52.camel@citrix.com> (raw)
In-Reply-To: <1447172433.9407.39.camel@citrix.com>
On Tue, 2015-11-10 at 16:20 +0000, Ian Campbell wrote:
> ... instead of artificially masking the timer interrupt in the timer
> state
Julien pointed out IRL that this now causes vgic_{enable,disable}_irqs to
call into the h/w driver for that irq, which is new for a PPI. The GICv3
hook for enable/disable will write to the local redistributor, but a cpu is
entitled to do write to another vcpus GICR, for the banked registers
associated with PPIs. The upshot is that we will enable/disable the local
PPI instead of the remote one as expected.
This will require some thought (or if I'm really lucky some careful reading
of the spec to turn this into the expected behaviour for such banked
registers, doubtful...)...
Ian.
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
prev parent reply other threads:[~2015-11-11 12:49 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-10 16:20 [PATCH v2] xen: arm: context switch vtimer PPI state Ian Campbell
2015-11-10 16:21 ` [PATCH v2 1/8] xen: arm: fix indendation of struct vtimer Ian Campbell
2015-11-10 22:18 ` Julien Grall
2015-12-22 16:54 ` Stefano Stabellini
2015-11-10 16:21 ` [PATCH v2 2/8] xen: arm: fix typo in the description of struct pending_irq->desc Ian Campbell
2015-11-10 22:19 ` Julien Grall
2015-12-22 16:55 ` Stefano Stabellini
2015-11-10 16:21 ` [PATCH v2 3/8] xen: arm: Refactor route_irq_to_guest Ian Campbell
2015-11-11 11:46 ` Julien Grall
2015-11-10 16:21 ` [PATCH v2 4/8] xen: arm: remove vgic_vcpu_inject_spi() Ian Campbell
2015-12-22 18:32 ` Stefano Stabellini
2015-11-10 16:21 ` [PATCH v2 5/8] xen: arm: add interfaces to save/restore the state of a PPI Ian Campbell
2015-11-11 12:49 ` Julien Grall
2015-11-11 13:03 ` Ian Campbell
2015-11-10 16:21 ` [PATCH v2 6/8] xen: arm: supporting routing a PPI to the current vcpu Ian Campbell
2015-11-11 14:37 ` Julien Grall
2015-11-10 16:21 ` [PATCH v2 7/8] xen: arm: context switch vtimer PPI state Ian Campbell
2015-11-11 14:42 ` Julien Grall
2015-12-22 19:15 ` Stefano Stabellini
2015-11-10 16:21 ` [PATCH v2 8/8] HACK: Force virt timer to PPI0 (IRQ16) Ian Campbell
2015-11-11 12:49 ` Ian Campbell [this message]
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=1447246170.11601.52.camel@citrix.com \
--to=ian.campbell@citrix.com \
--cc=julien.grall@linaro.org \
--cc=stefano.stabellini@eu.citrix.com \
--cc=xen-devel@lists.xen.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.