[UNIKRAFT PATCH RFCv4 29/35] plat/arm: Make sure fpsimd sysregs writing take effects

[Jia He <justin.he@xxxxxxx>]

As per [1], we need to add isb() to make sure sysreg writing take
effects.

[1] https://github.com/freebsd/freebsd/blob/1b2bc99e/sys/arm64/arm64/vfp.c#L67

Signed-off-by: Jia He <justin.he@xxxxxxx>
---
 plat/common/include/arm/arm64/cpu.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/plat/common/include/arm/arm64/cpu.h 
b/plat/common/include/arm/arm64/cpu.h
index fe981eb..f96fee4 100644
--- a/plat/common/include/arm/arm64/cpu.h
+++ b/plat/common/include/arm/arm64/cpu.h
@@ -164,11 +164,17 @@ extern void fpsimd_restore_state(uintptr_t ptr);
 static inline void save_extregs(struct sw_ctx *ctx)
 {
        fpsimd_save_state(ctx->extregs);
+
+       /* make sure sysreg writing takes effects */
+       isb();
 }
 
 static inline void restore_extregs(struct sw_ctx *ctx)
 {
        fpsimd_restore_state(ctx->extregs);
+
+       /* make sure sysreg writing takes effects */
+       isb();
 }
 
 static inline struct sw_ctx *arch_alloc_sw_ctx(struct uk_alloc *allocator)
-- 
2.17.1