git: 289a7a790cf7 - main - amd64 ddb 'show pte': print both pte VA in recursive map and pte content

[Konstantin Belousov]

The branch main has been updated by kib:

URL: 
https://cgit.FreeBSD.org/src/commit/?id=289a7a790cf74c679123a543ae95ac1be7659fad

commit 289a7a790cf74c679123a543ae95ac1be7659fad
Author:     Konstantin Belousov <k...@freebsd.org>
AuthorDate: 2025-06-27 04:06:39 +0000
Commit:     Konstantin Belousov <k...@freebsd.org>
CommitDate: 2025-06-27 04:23:22 +0000

    amd64 ddb 'show pte': print both pte VA in recursive map and pte content
    
    Sponsored by:   The FreeBSD Foundation
    MFC after:      1 week
---
 sys/amd64/amd64/pmap.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c
index 18bf2b4c92a1..2ab8c3b17e22 100644
--- a/sys/amd64/amd64/pmap.c
+++ b/sys/amd64/amd64/pmap.c
@@ -12160,7 +12160,7 @@ DB_SHOW_COMMAND(pte, pmap_print_pte)
 
        if (pmap_is_la57(pmap)) {
                pml5 = pmap_pml5e(pmap, va);
-               db_printf(" pml5e 0x%016lx", *pml5);
+               db_printf(" pml5e@0x%016lx 0x%016lx", (uint64_t)pml5, *pml5);
                if ((*pml5 & PG_V) == 0) {
                        db_printf("\n");
                        return;
@@ -12169,25 +12169,25 @@ DB_SHOW_COMMAND(pte, pmap_print_pte)
        } else {
                pml4 = pmap_pml4e(pmap, va);
        }
-       db_printf(" pml4e 0x%016lx", *pml4);
+       db_printf(" pml4e@0x%016lx 0x%016lx", (uint64_t)pml4, *pml4);
        if ((*pml4 & PG_V) == 0) {
                db_printf("\n");
                return;
        }
        pdp = pmap_pml4e_to_pdpe(pml4, va);
-       db_printf(" pdpe 0x%016lx", *pdp);
+       db_printf(" pdpe@0x%016lx 0x%016lx", (uint64_t)pdp, *pdp);
        if ((*pdp & PG_V) == 0 || (*pdp & PG_PS) != 0) {
                db_printf("\n");
                return;
        }
        pde = pmap_pdpe_to_pde(pdp, va);
-       db_printf(" pde 0x%016lx", *pde);
+       db_printf(" pde@0x%016lx 0x%016lx", (uint64_t)pde, *pde);
        if ((*pde & PG_V) == 0 || (*pde & PG_PS) != 0) {
                db_printf("\n");
                return;
        }
        pte = pmap_pde_to_pte(pde, va);
-       db_printf(" pte 0x%016lx\n", *pte);
+       db_printf(" pte@0x%016lx 0x%016lx\n", (uint64_t)pte, *pte);
 }
 
 DB_SHOW_COMMAND(phys2dmap, pmap_phys2dmap)