On 08/06/16 13:34, Julien Grall wrote:
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 looked at my code again today and add some printk. The IRQ will always
be configured correctly with the correct type.
It would be good to know if the problem only happen with edge or level
interrupts.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
