d/freebsd-nq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

x86: Report per-cpu IPI TLB shootdown generation in ddb 'show pcpu' output.

Browse Source 
It is useful for inspecting tlb shootdown hangs.  The smp_tlb_generation value
is available using regular ddb data inspection commands.

Sponsored by:	The FreeBSD Foundation
MFC after:	3 days
This commit is contained in:
Konstantin Belousov 2019-01-04 17:25:47 +00:00
parent 23732c0fe3
commit f0d85a5dc5
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
sys/amd64/amd64/db_interface.c
View File

@ -104,4 +104,5 @@ db_show_mdpcpu(struct pcpu *pc)
db_printf("gs32p = %p\n", pc->pc_gs32p);
db_printf("ldt = %p\n", pc->pc_ldt);
db_printf("tss = %p\n", pc->pc_tss);
db_printf("tlb gen = %u\n", pc->pc_smp_tlb_done);
}

1
sys/i386/i386/db_interface.c
View File

@ -118,4 +118,5 @@ db_show_mdpcpu(struct pcpu *pc)
db_printf("trampstk = 0x%x\n", pc->pc_trampstk);
db_printf("kesp0 = 0x%x\n", pc->pc_kesp0);
db_printf("common_tssp = 0x%x\n", (u_int)pc->pc_common_tssp);
db_printf("tlb gen = %u\n", pc->pc_smp_tlb_done);
}