K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-07-30T10:55:02.826127Z
K 7
svn:log
V 157
Remove teh non-INTRNG code from the ARM GIC interrupt controller driver.

We don't build for the non-INTRNG case and it was makeing the code harder
to read.

END