K 10 svn:author V 3 ian K 8 svn:date V 27 2014-09-13T16:00:35.061355Z K 7 svn:log V 64 Folow name change, gic_init_secondary -> arm_init_secondary_ic. END