K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2010-06-17T11:54:49.783552Z
K 7
svn:log
V 265
Merge COUNT_XINVLTLB_HITS and COUNT_IPIS kernel options from i386 to amd64.
This information can be very valuable for CPU sleep-time (and respectively
idle power consumption) optimization.

Add counters for timer-related IPIs.

Reviewed by:	jhb@ (previous version)

END