On 04/03/15 14:55, Jan Beulich wrote: >>>> On 04.03.15 at 15:37, <julien.gr...@linaro.org> wrote: >> I looked to the interface of XENDOMCTL_bind_pt_irq and I'm not sure >> about the meaning of machine_irq and isa_irq. >> >> AFAIU the code: >> machine_irq => guest PIRQ > > Yes (i.e. the Xen assigned representation of an IRQ the guest has > been granted access to).
Thank you for the confirmation. >> isa_irq => host IRQ > > But only for ISA ones, not PCI (i.e. you likely don't care about this > at all). > > Note that the PCI case here still lacks a segment number - if you in > the end decided you want/need non-zero segments on ARM, then > this will need extension (which it would need anyway if anyone was > serious about to running Xen on such [x86] hardware). I don't care about PCI right now. I'm looking for mapping SPI (kind of ISA) to the guest. I'm planning to introduce a new type of this purpose. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
