On Wed, 2015-12-16 at 16:17 +0000, Julien Grall wrote: > 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.
Yes. As with other things which are saved here that are currently platform constants the restore side will become a check against the hardcoded number for now (i.e. no compat code until it becomes needed), Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
