[XenARM] [query] gic_set_lr always uses maintenance Interrupt

[Mj Embd <mj.embd@xxxxxxxxx>]

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 ?

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