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);