[xen master] xen/arm: Tweak the dump page-table walk output

[patchbot@xxxxxxx]

commit e1710891c72b513dea8e24a3e0d8969a91a4fa39
Author:     Julien Grall <jgrall@xxxxxxxxxx>
AuthorDate: Fri Aug 12 20:24:45 2022 +0100
Commit:     Julien Grall <julien@xxxxxxx>
CommitDate: Wed Aug 31 20:16:22 2022 +0100

    xen/arm: Tweak the dump page-table walk output
    
    Currently the output is looking like:
    
    (XEN) 1ST[0x1] = 0x000000004015ff7f
    (XEN) 2ND[0x1f] = 0x00500000bfe00f7d
    
    The content of the entries are not aligned making a bit trickier to
    read (I appreciate this is a matter of taste).
    
    Align the values by forcing the index to be always printed using
    3 characters (enough to cover 512 in hexadecimal).
    
    New output:
    
    (XEN) 1ST[0x001] = 0x000000004015ff7f
    (XEN) 2ND[0x01f] = 0x00500000bfe00f7d
    
    Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx>
    Reviewed-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
    Reviewed-by: Henry Wang <Henry.Wang@xxxxxxx>
---
 xen/arch/arm/mm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c
index b42cddb1b4..c81c706c8b 100644
--- a/xen/arch/arm/mm.c
+++ b/xen/arch/arm/mm.c
@@ -234,7 +234,7 @@ void dump_pt_walk(paddr_t ttbr, paddr_t addr,
 
         pte = mapping[offsets[level]];
 
-        printk("%s[0x%x] = 0x%"PRIpaddr"\n",
+        printk("%s[0x%03x] = 0x%"PRIpaddr"\n",
                level_strs[level], offsets[level], pte.bits);
 
         if ( level == 3 || !pte.walk.valid || !pte.walk.table )
--
generated by git-patchbot for /home/xen/git/xen.git#master