On 20/06/16 16:03, Julien Grall wrote: > Hi Andrew, > > On 20/06/16 15:53, Andrew Cooper wrote: >> On 20/06/16 14:37, Julien Grall wrote: >>> p2m_cache_flush is expecting GFNs in parameter and not MFNs. Rename >>> the variable to *gfn* and use typesafe to avoid possible misusage. >>> >>> Signed-off-by: Julien Grall <julien.gr...@arm.com> >> >> On arm32, xen_pfn_t was uint64_t, but gfn_t is unsigned long. >> >> Is the truncation ok? > > The PFN will be encoded on 28 bits maximum (40 bits address). Unless > we want to check that the guest effectively zeroed the unused bits, I > think the truncation is fine.
Ok - I was just checking that it wasn't happening accidentally. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel