avg 72dc8f21cc 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
2012-04-13 07:18:19 +00:00
..
2012-03-18 19:15:11 +00:00
2012-04-05 04:41:06 +00:00
2012-04-13 05:48:31 +00:00
2012-03-27 20:36:03 +00:00
2012-04-13 06:13:37 +00:00
2012-04-12 10:32:34 +00:00
2012-02-28 15:07:05 +00:00
2012-03-30 19:10:14 +00:00
2012-04-11 21:00:33 +00:00