> + 0x0000000F: DIRTY_PFN_LIST > + Perhaps make it part of the optional and prefix it with CHECKPOINT?
> + 0x00000010 - 0x7FFFFFFF: Reserved for future _mandatory_ > records. > > 0x80000000 - 0xFFFFFFFF: Reserved for future _optional_ _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
