Hello Shanker,
On 08/06/16 13:11, Shanker Donthineni wrote:
I don't know exactly which of the patch causing the issue. I have
noticed a couple of drivers are not receiving SPI interrupts in DOM0.
I need to digest your patches before tracing/investigate the problem
to get more details.
FYI, our system uses both the EDGE and LEVEL interrupts, any major
change in your patches?
The routing is done when DOM0 is built and the interrupt configuration
is deferred.
It might be possible to the wrong type is retrieve by __vgic_get_virq_type.
I would recommend you to add a print in vgic_enable_irqs to check the
value and if p->desc != NULL for those IRQs.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
