arm64: Missing isb/dsb in vfp restore state

diff --git a/sys/arm64/arm64/vfp.c b/sys/arm64/arm64/vfp.c
index d1c16038689e08373a1181a815e778b1ff0ffb09..cb6ada86c9922651c392e80851800d334891494e 100644 (file)
--- a/sys/arm64/arm64/vfp.c
+++ b/sys/arm64/arm64/vfp.c
@@ -137,6 +137,8 @@ vfp_restore_state(void)
        curpcb->pcb_fpflags |= PCB_FP_STARTED;
 
        vfp_enable();
+       dsb();
+       isb();
 
        if (PCPU_GET(fpcurthread) != curthread && cpu != curpcb->pcb_vfpcpu) {