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

[Julien Grall <julien@xxxxxxx>]

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.vallejo@xxxxxxxxx>
> Reviewed-by: Julien Grall <jgrall@xxxxxxxxxx>
I have committed the patch.

Cheers,

--
Julien Grall