mbed rtos - modified for the final project of the course "Advanced Operating Systems"

Dependents:   aos_mbed

Fork of mbed-rtos by mbed official

Revision:
7:80173c64d05d
Parent:
6:350b53afb889
Child:
10:fcb1f103f7a1
--- a/rtx/rt_HAL_CM.h	Fri Nov 23 09:57:31 2012 +0000
+++ b/rtx/rt_HAL_CM.h	Fri Nov 23 10:16:38 2012 +0000
@@ -262,7 +262,7 @@
 #ifdef DBG_MSG
 #define DBG_INIT() dbg_init()
 #define DBG_TASK_NOTIFY(p_tcb,create) if (dbg_msg) dbg_task_notify(p_tcb,create)
-#define DBG_TASK_SWITCH(task_id)      if (dbg_msg && (os_tsk.new!=os_tsk.run)) \
+#define DBG_TASK_SWITCH(task_id)      if (dbg_msg && (os_tsk.new_tsk != os_tsk.run)) \
                                                    dbg_task_switch(task_id)
 #else
 #define DBG_INIT()