Re: [PATCH v2 1/5] arm/mm: Document the differences between arm32 and arm64 directmaps

[Julien Grall]

On 28/07/2023 10:05, Julien Grall wrote:

On 28/07/2023 08:58, Alejandro Vallejo wrote:

arm32 merely covers the XENHEAP, whereas arm64 currently covers anything in the frame table. These comments highlight why arm32 doesn't need to account for PDX

compression in its __va() implementation while arm64 does.

Signed-off-by: Alejandro Vallejo <alejandro.vall...@cloud.com>

Reviewed-by: Julien Grall <jgr...@amazon.com>

I have committed the patch.

Cheers,

--
Julien Grall