mbed official / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

Diff: rtx/RTX_CM_lib.h

Revision:
9:53e6cccd8782
Parent:
6:350b53afb889
Child:
10:fcb1f103f7a1
--- a/rtx/RTX_CM_lib.h	Tue Nov 27 16:55:38 2012 +0000
+++ b/rtx/RTX_CM_lib.h	Mon Jan 28 14:46:06 2013 +0000
@@ -31,6 +31,7 @@
  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  * POSSIBILITY OF SUCH DAMAGE.
  *---------------------------------------------------------------------------*/
+#include "error.h"
 
 #if   defined (__CC_ARM)
 #pragma O3
@@ -157,7 +158,7 @@
 
   if (nr_mutex >= OS_MUTEXCNT) {
     /* If you are here, you need to increase the number OS_MUTEXCNT. */
-    for (;;);
+    error("Not enough stdlib mutexes\n");
   }
   *mutex = &std_libmutex[nr_mutex++];
   mutex_init (*mutex);