From 6bf041852036b22ed554f2288cedec85eae45b28 Mon Sep 17 00:00:00 2001
From: Damjan Adamic <projectkk2glider@gmail.com>
Date: Sat, 14 Feb 2015 18:33:01 +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 98395db7d..1d18d68f8 100644
--- a/radio/src/CoOS/kernel/OsCore.h
+++ b/radio/src/CoOS/kernel/OsCore.h
@@ -43,7 +43,7 @@
 #include <CoOS.h>
 
 
-#define  OsSchedLock()  OSSchedLock++;      /*!< Lock schedule                */
+#define  OsSchedLock()  { OSSchedLock++; asm volatile ("" : : : "memory"); }      /*!< Lock schedule                */
 extern   void OsSchedUnlock(void);
 
 #endif