Re: [Xen-devel] How dispatch a vIRQ to all guests in ARM

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Mon, 2013-03-11 at 07:13 +0000, Josh Zhao wrote:
> Hi,
> 
> I am reading the code, but I can't understand how an interrupt
> dispatch to all guests?  As code description that do_IRQ()
> -->vgic_vcpu_inject_irq(), but it seems only inject an irq into ONE
> VCPU. Is there a case that one irq registered by many guests?

A single interrupt source (be it physical hardware or a purely software
construct) can only ever be associated with a single domain.

What use case were you imagining where this may not be true?

Ian.



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel