andrew 1b85e73844 Rename gic_init_secondary to arm_init_secondary_ic to help with the merge ...

of the arm_intrng project branch.

2015-01-11 16:46:43 +00:00

..

exynos

Rename gic_init_secondary to arm_init_secondary_ic to help with the merge

2015-01-11 16:46:43 +00:00

s3c2xx0

Move the ARM Samsung s3c2xx0 support files into the samsung directory, to

2014-09-25 11:38:26 +00:00