avg 3e4fba4c32 bump INTRCNT_COUNT values to reflect actual numbers of IPI counters
Maybe the numbers should be conditionalized on COUNT_IPIS

Reviewed by:	jhb
MFC after:	1 week
2012-04-13 07:15:40 +00:00
..
2009-04-15 17:31:22 +00:00
MFC
2011-05-09 18:53:13 +00:00
2009-04-15 17:31:22 +00:00
2010-11-11 18:35:28 +00:00
2012-03-28 20:58:30 +00:00
MFC
2011-05-13 20:58:48 +00:00