K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-03-18T16:29:58.002523Z
K 7
svn:log
V 136
Rename COUNT_IPI to INTR_IPI_COUNT to reduce the diff with intrng.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END