K 10 svn:author V 6 andrew K 8 svn:date V 27 2016-04-15T16:05:41.188898Z K 7 svn:log V 212 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 END