On 20/01/2023 09:32, Julien Grall wrote:
Hi,
Hi Julien,
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.hal...@amd.com>
Reviewed-by: Stefano Stabellini <sstabell...@kernel.org>
I have committed the patch.
Thanks for the reviews and commit. :)
Did you miss "[XEN v2 01/11] xen/ns16550: Remove unneeded truncation
check in the DT init code" ?
- Ayan
Cheers,
