On 20/06/16 16:36, Andrew Cooper wrote:
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.
I will mention it in the commit message.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel