K 10 svn:author V 4 skra K 8 svn:date V 27 2016-04-05T13:45:23.826317Z K 7 svn:log V 183 Rework BCM283x gpio interrupt controller for INTRNG. It's used on RPI-B and RPI2 where INTRNG is already enabled by default. Differential Revision: https://reviews.freebsd.org/D5810 END