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

Re: [Xen-devel] [PATCH v2 2/5] arm: implement vcpu_mark_events_pending

On 24/02/12 10:33, Ian Campbell wrote:
> On Thu, 2012-02-23 at 18:21 +0000, Stefano Stabellini wrote:
>> Implement vcpu_mark_events_pending using the vgic to inject INT 63, that
>> we reserve for Xen usage.
> Does this require a trap when the guest acks or EOIs this interrupt?
> What about maintenance interrupts arising from injecting this?
> Might we want to instead inject this interrupt as an SGI, so that it
> appears as a per-VCPU interrupt?

I don't think it's possible to register a SGI handler in Linux
currently.  The mapping of IRQ numbers to GIC interrupts skips over the
SGIs.  This would be easy to fix I think.


Xen-devel mailing list



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