From b46b049ba3fc4ed1462cb06bbac8c07813c8a3b4 Mon Sep 17 00:00:00 2001
From: bsongis <bsongis@gmail.com>
Date: Wed, 19 Nov 2014 22:35:35 +0100
Subject: [PATCH] Fixes #1834 Fixes #1848

---
 radio/src/CoOS/kernel/OsCore.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/radio/src/CoOS/kernel/OsCore.h b/radio/src/CoOS/kernel/OsCore.h
index 3f36f66a4..20761b3b5 100644
--- a/radio/src/CoOS/kernel/OsCore.h
+++ b/radio/src/CoOS/kernel/OsCore.h
@@ -20,7 +20,7 @@
 #include <CoOS.h>
 
 
-#define  OsSchedLock()  OSSchedLock++;      /*!< Lock schedule                */
+#define  OsSchedLock()  { OSSchedLock++; asm volatile ("" : : : "memory"); }      /*!< Lock schedule                */
 extern   void OsSchedUnlock(void);
 
 #endif