• OS_BUG_DBL_FREE : debug.h
• OS_BUG_DINT_INVALID : debug.h
• OS_BUG_EMPTY_RDY_LIST : debug.h
• OS_BUG_INVALID_PTR : debug.h
• OS_BUG_LOCK : debug.h
• OS_BUG_MUTEX : debug.h
• OS_BUG_MUTEX_BAD_RELEASE : debug.h
• OS_BUG_NONE : debug.h
• OS_BUG_OVERFLOW : debug.h
• OS_BUG_PREEMPT_LOCK : debug.h
• OS_BUG_SEMA : debug.h
• OS_BUG_SM_INVALID_STATE : debug.h
• OS_BUG_THREAD_FUN_EXIT : debug.h
• OS_THREAD_READY : thread.h
• OS_THREAD_RUNNING : thread.h
• OS_THREAD_WAIT : thread.h
• OS_TIMER_ARMED : timer.h
• OS_TIMER_EXPIRED : timer.h
• OS_TIMER_REPETITIVE : timer.h
• OS_TIMER_SINGLE : timer.h
• OS_TIMER_TERMINATED : timer.h
• system_sig_a : sm_types.h