mbed library sources

Fork of mbed-src by mbed official

Revision:
561:f26bb522183d
Parent:
525:c320967f86b9
--- a/api/CircularBuffer.h	Mon Jun 08 13:45:08 2015 +0100
+++ b/api/CircularBuffer.h	Mon Jun 08 16:15:09 2015 +0100
@@ -88,9 +88,9 @@
 
 private:
     T _pool[BufferSize];
-    CounterType _head;
-    CounterType _tail;
-    bool _full;
+    volatile CounterType _head;
+    volatile CounterType _tail;
+    volatile bool _full;
 };
 
 }