svn commit: r354280 - head/sys/amd64/amd64

[Konstantin Belousov]

Author: kib
Date: Sun Nov  3 11:51:53 2019
New Revision: 354280
URL: https://svnweb.freebsd.org/changeset/base/354280

Log:
  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

Modified:
  head/sys/amd64/amd64/db_interface.c

Modified: head/sys/amd64/amd64/db_interface.c
==============================================================================
--- head/sys/amd64/amd64/db_interface.c	Sun Nov  3 11:09:06 2019	(r354279)
+++ head/sys/amd64/amd64/db_interface.c	Sun Nov  3 11:51:53 2019	(r354280)
@@ -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);