K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2019-01-04T17:25:47.962860Z
K 7
svn:log
V 269
x86: Report per-cpu IPI TLB shootdown generation in ddb 'show pcpu' output.

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

END