arch-arm: Setup ISA::gicv3CpuInterface on demand only

This is aligning with what we are already doing with the CoreTimers:
rather than setting up the interface at ISA::startup, we set it
up on the first time the GIC cpu interface is actually required
by the ISA

Change-Id: Iec29b2098ea29ca2886a69c5db8a2bc8d2f6f71e
Signed-off-by: Giacomo Travaglini <>
Reviewed-by: Jason Lowe-Power <>
Maintainer: Andreas Sandberg <>
Reviewed-by: Andreas Sandberg <>
Maintainer: Jason Lowe-Power <>
Tested-by: kokoro <>
1 file changed