K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-01-11T16:46:43.300229Z
K 7
svn:log
V 108
Rename gic_init_secondary to arm_init_secondary_ic to help with the merge
of the arm_intrng project branch.

END