From 7ccd639debe3846bff818c902582c97cdb80f55c Mon Sep 17 00:00:00 2001 From: Konstantin Belousov Date: Sun, 3 Nov 2019 11:51:53 +0000 Subject: [PATCH] amd64 ddb: Add printing of kernel/user and saved user %cr3 values from pcpu. Tested by: pho Sponsored by: The FreeBSD Foundation MFC after: 1 week --- sys/amd64/amd64/db_interface.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sys/amd64/amd64/db_interface.c b/sys/amd64/amd64/db_interface.c index 80208a9dae1f..474ae413cff6 100644 --- a/sys/amd64/amd64/db_interface.c +++ b/sys/amd64/amd64/db_interface.c @@ -101,6 +101,9 @@ db_show_mdpcpu(struct pcpu *pc) db_printf("tssp = %p\n", pc->pc_tssp); db_printf("commontssp = %p\n", pc->pc_commontssp); db_printf("rsp0 = 0x%lx\n", pc->pc_rsp0); + db_printf("kcr3 = 0x%lx\n", pc->pc_kcr3); + db_printf("ucr3 = 0x%lx\n", pc->pc_ucr3); + db_printf("scr3 = 0x%lx\n", pc->pc_saved_ucr3); db_printf("gs32p = %p\n", pc->pc_gs32p); db_printf("ldt = %p\n", pc->pc_ldt); db_printf("tss = %p\n", pc->pc_tss);