PING: [PATCH v4 TRIVIAL 1/2] ARM: Enable GICv2m on 32-bit virt machine

[Pavel Fedin]

 Hello!

> I know we have MSI-using platforms working on 32-bit ARM at the moment,
> which brings up the question about msi.h in your patch, and what are
> the implications for the existing MSI using platforms of having
> PCI_MSI_IRQ_DOMAIN enabled in a multiplatform kernel.

 I have just tested, what happens if i disable PCI_MSI_IRQ_DOMAIN. No, it's not going to work,
irq-gic-v2m.c requires MSI domain API. Looks like old MSI drivers do not use IRQ domains and just
transparently handle translation of MSIs to SPI IDs.
 At this point unfortunately i cannot do anything else, because i don't have any of those platforms,
so cannot test. Added also Christoffer to cc. Hopefully somebody in ARM or Linaro gets interested.

Kind regards,
Pavel Fedin
Expert Engineer
Samsung Electronics Research center Russia