Re: [XEN v2 02/11] xen/arm: Use the correct format specifier

[Julien Grall <julien@xxxxxxx>]

Hi,

On 19/01/2023 22:54, Stefano Stabellini wrote:
> On Tue, 17 Jan 2023, Ayan Kumar Halder wrote:
> > 1. One should use 'PRIpaddr' to display 'paddr_t' variables.
> > 2. One should use 'PRIx64' to display 'u64' in hex format. The current
> > use of 'PRIpaddr' for printing PTE is buggy as this is not a physical
> > address.
> >
> > Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@xxxxxxx>
> Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>

I have committed the patch.

Cheers,

--
Julien Grall