K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-06-19T16:14:23.099792Z
K 7
svn:log
V 190
Move common GIC interrupt numbers to the common header. These are the same
across the GICv2 and GICv3 drivers so we only need a single copy of them.

Sponsored by:	Turing Robotic Industries

END