[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-devel] [query] gic_set_lr always uses maintenance Interrupt


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.
b) some other reason ?

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.