Re: [XenARM] [query] gic_set_lr always uses maintenance Interrupt

[Mj Embd <mj.embd@xxxxxxxxx>]

Hi Ian,

Can you please comment...

On Wed, Oct 30, 2013 at 3:25 PM, Mj Embd <mj.embd@xxxxxxxxx> wrote:
> Hi,
>
> As per section 5.2.2 of IHI0048B_b_gic_architecture_specification, If
> hypervisor is injecting a VIRQ into guest, that is actually a HW IRQ,
> and guest does EOI (provided conditions) the maintenance interrupt is
> not needed.
>
> In xen arch/arm/gic.c always while setting an LR using gic_set_lr ,
> the maintenance_int is enabled.
>
> Can some one clear the doubt on why it is done
> a) is this because EOI by guest would result in control back to
> hypervisor to replenish the LR for   inflight, as there is otherwise
> no way to know in hypervisor that the LR is available.
> or
> b) some other reason ?



-- 
-mj

_______________________________________________
Xen-arm mailing list
Xen-arm@xxxxxxxxxxxxx
http://lists.xen.org/cgi-bin/mailman/listinfo/xen-arm