andrew b72ace02b4 Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine
independent code that needs to know about INTRNG such as PCI drivers.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation
2016-04-15 16:05:41 +00:00
..
2014-03-29 14:35:36 +00:00
2014-12-24 18:54:31 +00:00
2015-03-13 02:49:55 +00:00
2016-01-28 12:43:58 +00:00
2016-02-17 12:57:05 +00:00
2014-01-06 17:16:27 +00:00
2016-01-28 12:43:58 +00:00
2016-02-17 12:57:05 +00:00