On 13/01/15 16:46, Ian Campbell wrote: >> We need to track everything for interrupt assignment to a guest/dom0. So >> if the guest ask for a free vIRQ we can give it directly. > > Makes sense. > > In that case you 0/4 mail doesn't fully describe the use case for the > series, since it talks about the dom0 PPI only.
Sorry I skipped this comment by inadvertence. My cover letter was explaining the current use case, I didn't think to explain the future use case. I will update the cover letter. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel