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 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
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
interru
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 virtual timer. Even if the
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
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
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
> whil
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 possib
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
interrup
