update

[l4.git] / kernel / fiasco / src / kern / arm / fpu-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/fpu-arm.cpp b/kernel/fiasco/src/kern/arm/fpu-arm.cpp
index 70ffc63be0af9d989f322675a8c4e605c9cb75f8..b221b76cf91037dfdc2ed08a4937193dbc537572 100644 (file)
--- a/kernel/fiasco/src/kern/arm/fpu-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/fpu-arm.cpp
@@ -77,7 +77,7 @@ Fpu::copro_enable()
                "orr  %0, %0, %1           \n"
                "mcr  p15, 0, %0, c1, c0, 2\n"
                : : "r" (0), "I" (0x00f00000));
-  Mem::dsb();
+  Mem::isb();
 }
 
 // ------------------------------------------------------------------------