diff --git a/platform/mbed_critical.h b/platform/mbed_critical.h
index 63b91dbbb7..e254534241 100644
--- a/platform/mbed_critical.h
+++ b/platform/mbed_critical.h
@@ -142,6 +142,7 @@ MBED_FORCEINLINE void core_util_atomic_flag_clear(volatile core_util_atomic_flag
 {
     MBED_BARRIER();
     flagPtr->_flag = false;
+    MBED_BARRIER();
 }
 
 /**