On 04/06/2015 18:55, Julien Grall wrote:
After reading this draft, I think we can avoid to browse the Device Table and the ITT. As said on the previous paragraph, the pending_irq structure is linked to an irq_desc. In your proposal, you suggested to store the its_device in the irq_guest (part of irq_desc). If we make usage of pending_irq->desc to store the physical descriptor, we can have a mapping vLPI <=> pLPI. Therefore, this would resolve UI1 and AFAICT, the memory usage would be the same in Xen of the ITT/Device base solution.
BTW, I will suggest a pseudo-code based on your draft tomorrow. It may be easier to understand.
-- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel