K 10
svn:author
V 3
avg
K 8
svn:date
V 27
2012-04-13T07:18:19.125348Z
K 7
svn:log
V 192
add actual interrupt counters to back ipi_invlcache_counts

Otherwise one could run into a panic with COUNT_IPIS when cache
invalidation actually happened.

Reviewed by:	jhb
MFC after:	1 week

END