Andriy Gapon f84633cdcc 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
..
2010-04-07 18:52:51 +00:00
2012-01-15 13:23:18 +00:00
2012-03-28 20:58:30 +00:00