Disable and enable GIC before switching off a CPU and after bringing it up back respectively.
BUG=None BRANCH=None TEST=Compiles successfully and psci commands work for ryu.
Change-Id: Ib43af60e994e3d072e897a59595775d0b2dcef83
1e2abe0 armv8/secmon: Disable and Enable GIC in PSCI path
src/arch/arm64/armv8/secmon/Makefile.inc | 1 +
src/arch/arm64/armv8/secmon/psci.c | 4 ++++
src/drivers/gic/gic.c | 33 ++++++++++++++++++++++++++++++
src/include/gic.h | 3 +++
4 files changed, 41 insertions(+)
Upstream: review.coreboot.org