On Tue, 2014-12-02 at 14:36 +, Ian Campbell wrote:
When executed, the softirq will notice that the timer has to be fired
and therefore an interrupt will be injected to the guest.
Perfect, thanks.
Konrad RM-acked it, so I have committed with the tweaks I mentioned.
On Fri, 2014-11-28 at 15:17 +, Julien Grall wrote:
Some platforms (such as Xgene and ARMv8 models) use an edge-triggered
interrupt
for the virtual timer. Even if the timer output signal is masked in the
context switch, the GIC will keep track that of any interrupts raised
while IRQs are
Hi Ian,
On 02/12/14 13:54, Ian Campbell wrote:
On Fri, 2014-11-28 at 15:17 +, Julien Grall wrote:
Some platforms (such as Xgene and ARMv8 models) use an edge-triggered
interrupt
for the virtual timer. Even if the timer output signal is masked in the
context switch, the GIC will keep
On 02/12/14 14:21, Ian Campbell wrote:
On Tue, 2014-12-02 at 14:08 +, Julien Grall wrote:
Hi Ian,
On 02/12/14 13:54, Ian Campbell wrote:
On Fri, 2014-11-28 at 15:17 +, Julien Grall wrote:
Some platforms (such as Xgene and ARMv8 models) use an edge-triggered
interrupt
for the
On Tue, 2014-12-02 at 14:32 +, Julien Grall wrote:
On 02/12/14 14:21, Ian Campbell wrote:
On Tue, 2014-12-02 at 14:08 +, Julien Grall wrote:
Hi Ian,
On 02/12/14 13:54, Ian Campbell wrote:
On Fri, 2014-11-28 at 15:17 +, Julien Grall wrote:
Some platforms (such as Xgene and
On Fri, Nov 28, 2014 at 03:17:06PM +, Julien Grall wrote:
Some platforms (such as Xgene and ARMv8 models) use an edge-triggered
interrupt
for the virtual timer. Even if the timer output signal is masked in the
context switch, the GIC will keep track that of any interrupts raised
while
Some platforms (such as Xgene and ARMv8 models) use an edge-triggered interrupt
for the virtual timer. Even if the timer output signal is masked in the
context switch, the GIC will keep track that of any interrupts raised
while IRQs are disabled. As soon as IRQs are re-enabled, the virtual
I forgot to add for 4.5 in the commit title.
On 28/11/14 15:17, Julien Grall wrote:
This patch is a bug fix candidate for Xen 4.5 and backport for Xen 4.4.
It affects at least Xgene platform and ARMv8 models where Xen may
randomly crash.
Thinking a bit more to this. I believe it's possible