Diff: rtx/RTX_CM_lib.h

Revision:

31:015df9e602b6

Parent:

30:3761f69dbbb2

Child:

32:e98f5e27f346

diff -r 3761f69dbbb2 -r 015df9e602b6 rtx/RTX_CM_lib.h
--- a/rtx/RTX_CM_lib.h	Tue May 27 08:30:16 2014 +0100
+++ b/rtx/RTX_CM_lib.h	Tue Jun 03 11:30:14 2014 +0100
@@ -152,7 +152,7 @@
  static uint32_t nr_mutex;
 
  /*--------------------------- _mutex_initialize -----------------------------*/
- 
+
 int _mutex_initialize (OS_ID *mutex) {
   /* Allocate and initialize a system mutex. */
 
@@ -263,7 +263,7 @@
 void set_main_stack(void) {
     // That is the bottom of the main stack block: no collision detection
     os_thread_def_main.stack_pointer = HEAP_START;
-    
+
     // Leave OS_SCHEDULERSTKSIZE words for the scheduler and interrupts
     os_thread_def_main.stacksize = (INITIAL_SP - (unsigned int)HEAP_START) - (OS_SCHEDULERSTKSIZE * 4);
 }
@@ -282,7 +282,7 @@
 
 /* The single memory model is checking for stack collision at run time, verifing
    that the heap pointer is underneath the stack pointer.
-   
+
    With the RTOS there is not only one stack above the heap, there are multiple
    stacks and some of them are underneath the heap pointer.
 */
@@ -403,7 +403,7 @@
 
 __noreturn __stackless void __cmain(void) {
   int a;
-  
+
   if (__low_level_init() != 0) {
     __iar_data_init3();
   }