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
This commit is contained in:
Konstantin Belousov 2019-11-03 11:51:53 +00:00
parent abca0bd501
commit 7ccd639deb

View File

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