tree b2d1d2963e47f0fc3bf5703e15a3b92c02072a48
parent 5a03a2560697c8ec6672b769f28d424db4b56158
author Daniel Boulby <daniel.boulby@arm.com> 1537274199 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1538563695 +0100

Mark GICV3, CCI and CCN boot time code as init

Mark the GICv3, CCI and CCN code only used in Bl31 initialization
with __init to be reclaimed once no longer needed.

Change-Id: I3d77f36758450d9d1d87ecc60bc1c63fe4082667
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>