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

Reply via email to