Changeset View

Standalone View

Show First 20 Lines • Show All 101 Lines • ▼ Show 20 Lines	db_show_mdpcpu(struct pcpu *pc)
db_printf("tssp = %p\n", pc->pc_tssp);		db_printf("tssp = %p\n", pc->pc_tssp);
db_printf("rsp0 = 0x%lx\n", pc->pc_rsp0);		db_printf("rsp0 = 0x%lx\n", pc->pc_rsp0);
db_printf("kcr3 = 0x%lx\n", pc->pc_kcr3);		db_printf("kcr3 = 0x%lx\n", pc->pc_kcr3);
db_printf("ucr3 = 0x%lx\n", pc->pc_ucr3);		db_printf("ucr3 = 0x%lx\n", pc->pc_ucr3);
db_printf("scr3 = 0x%lx\n", pc->pc_saved_ucr3);		db_printf("scr3 = 0x%lx\n", pc->pc_saved_ucr3);
db_printf("gs32p = %p\n", pc->pc_gs32p);		db_printf("gs32p = %p\n", pc->pc_gs32p);
db_printf("ldt = %p\n", pc->pc_ldt);		db_printf("ldt = %p\n", pc->pc_ldt);
db_printf("tss = %p\n", pc->pc_tss);		db_printf("tss = %p\n", pc->pc_tss);
db_printf("tlb gen = %u\n", pc->pc_smp_tlb_done);
}		}