fix(runtime): add isb after writes to cptr_el2 register
Signed-off-by: Arunachalam Ganapathy <arunachalam.ganapathy@arm.com>
Change-Id: I45d247bfce3c4a2034af92fa24cede30d36ab263
diff --git a/runtime/core/exit.c b/runtime/core/exit.c
index 4012f6b..b5b4998 100644
--- a/runtime/core/exit.c
+++ b/runtime/core/exit.c
@@ -588,6 +588,7 @@
cptr |= INPLACE(CPTR_EL2_FPEN, CPTR_EL2_FPEN_NO_TRAP_11) |
INPLACE(CPTR_EL2_ZEN, CPTR_EL2_ZEN_NO_TRAP_11);
write_cptr_el2(cptr);
+ isb();
/*
* Save NS state, restore realm state, and set flag indicating
@@ -611,6 +612,7 @@
cptr &= ~MASK(CPTR_EL2_ZEN);
cptr |= INPLACE(CPTR_EL2_ZEN, CPTR_EL2_ZEN_TRAP_ALL_00);
write_cptr_el2(cptr);
+ isb();
/*
* Return 'true' indicating that this exception