Re: [Xen-devel] [PATCH RFC XEN v1 08/14] xen: arm: Save and restore arch timer state.

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel