Konstantin Belousov f0d85a5dc5 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		2019-01-04 17:25:47 +00:00
..
acpica	Rename assym.s to assym.inc	2018-03-20 17:58:51 +00:00
amd64	x86: Report per-cpu IPI TLB shootdown generation in ddb 'show pcpu' output.	2019-01-04 17:25:47 +00:00
cloudabi32	Use TO_PTR() to convert integers to pointers.	2017-11-26 14:45:56 +00:00
cloudabi64	Use TO_PTR() to convert integers to pointers.	2017-11-26 14:45:56 +00:00
conf	Remove iBCS2, part2: general kernel	2018-12-19 21:57:58 +00:00
ia32	Remove iBCS2, part2: general kernel	2018-12-19 21:57:58 +00:00
include	Add a custom implementation of cpu_lock_delay() for x86.	2018-11-05 22:54:03 +00:00
linux	Remove iBCS2, part2: general kernel	2018-12-19 21:57:58 +00:00
linux32	Remove iBCS2, part2: general kernel	2018-12-19 21:57:58 +00:00
pci	Do not flush cache for PCIe config window.	2018-10-18 20:49:16 +00:00
sgx	Rename assym.s to assym.inc	2018-03-20 17:58:51 +00:00
vmm	Align IA32_ARCH_CAP MSR definitions and use with SDM rev. 068.	2018-11-16 21:27:11 +00:00
Makefile