Hi, On 16/12/15 16:02, Ian Campbell wrote: > The PPI state is saved by the GIC. Perhaps we should save the actual number > used by the guest here though.
I think we have to save the actual number as we don't guarantee that the interrupt (and memory layout BTW) for the guest won't change between 2 versions of Xen. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
