K 10
svn:author
V 3
wma
K 8
svn:date
V 27
2016-03-14T06:30:37.703123Z
K 7
svn:log
V 436
Fix GIC interrupt decoding in INTRNG code

   Bug was already fixed in not-INTRNG code, it needs to be corrected
   here as well.  Source: https://reviews.freebsd.org/rS294422

Submitted by:          Bartosz Szczepanek <bsz@semihalf.com>
Obtained from:         Semihalf
Sponsored by:          Stormshield
Reviewed by:           cognet, wma
Approved by:           cognet (mentor)
Differential Revision: https://reviews.freebsd.org/D5029

END