K 10
svn:author
V 3
avg
K 8
svn:date
V 27
2012-04-13T07:15:40.068851Z
K 7
svn:log
V 163
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

END