K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-01-11T10:26:49.667549Z
K 7
svn:log
V 124
Rework the GIC driver to ease the import of the arm_intrng branch. The
common code has been pulled out to static functions.

END