andrew d5c75c2b10 Rename COUNT_IPI to INTR_IPI_COUNT to reduce the diff with intrng.
Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation
2016-03-18 16:29:58 +00:00
..
2015-04-13 14:43:10 +00:00
2016-03-01 08:15:00 +00:00
2015-05-08 18:47:19 +00:00
2015-04-13 14:43:10 +00:00
2015-04-13 14:43:10 +00:00
2015-06-24 14:51:53 +00:00
2016-02-05 15:38:28 +00:00
2015-07-09 11:32:29 +00:00
2015-04-13 14:43:10 +00:00