============================================
Index                : 3
Symbol               : _CORE_message_queue_Initialize (0x200fb70)
Starting Line        : coremsg.c:86 (0x200fbbc)
Ending Line          : coremsg.c:86 (0x200fbbf)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 5
Symbol               : _CORE_mutex_Seize (0x2006f84)
Starting Line        : coremutexseize.c:39 (0x2007050)
Ending Line          : coremutexseize.c:39 (0x2007057)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 28
Symbol               : _RBTree_Extract_unprotected (0x20086c4)
Starting Line        : rbtreeextract.c:140 (0x2008754)
Ending Line          : rbtreeextract.c:140 (0x2008757)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 29
Symbol               : _RBTree_Extract_unprotected (0x20086c4)
Starting Line        : rbtreeextract.c:142 (0x2008760)
Ending Line          : rbtreeextract.c:177 (0x200880b)
Size in Bytes        : 172
Size in Instructions : 43

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 31
Symbol               : _RBTree_Extract_unprotected (0x20086c4)
Starting Line        : rbtreeextract.c:210 (0x2008884)
Ending Line          : rbtreeextract.c:210 (0x200888b)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 33
Symbol               : _RBTree_Extract_validate_unprotected (0x20084cc)
Starting Line        : rbtree.inl:202 (0x20084f8)
Ending Line          : rbtree.inl:202 (0x20084fb)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 35
Symbol               : _RBTree_Extract_validate_unprotected (0x20084cc)
Starting Line        : rbtreeextract.c:57 (0x200854c)
Ending Line          : rbtreeextract.c:57 (0x200854f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 39
Symbol               : _RBTree_Find_header (0x20088d4)
Starting Line        : rbtree.inl:308 (0x20088fc)
Ending Line          : rbtree.inl:308 (0x20088ff)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RBTree_Initialize

          *** NEVER REFERENCED ***

This symbol was never referenced by an analyzed executable.
Therefore there is no size or disassembly for this symbol.
This could be due to symbol misspelling or lack of a test for
this symbol.
============================================
============================================
Index                : 50
Symbol               : _Scheduler_priority_Yield (0x2008548)
Starting Line        : schedulerpriorityyield.c:52 (0x20085ec)
Ending Line          : schedulerpriorityyield.c:52 (0x20085ef)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 61
Symbol               : _Thread_queue_Enqueue_priority (0x2009020)
Starting Line        : threadqenqueuepriority.c:106 (0x20090d0)
Ending Line          : threadqenqueuepriority.c:106 (0x20090d3)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 63
Symbol               : _Thread_queue_Enqueue_priority (0x2009020)
Starting Line        : threadqenqueuepriority.c:153 (0x2009164)
Ending Line          : threadqenqueuepriority.c:153 (0x2009167)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 64
Symbol               : _Thread_queue_Enqueue_priority (0x2009020)
Starting Line        : threadqenqueuepriority.c:196 (0x20091bc)
Ending Line          : threadqenqueuepriority.c:197 (0x20091c7)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 71
Symbol               : _Timer_server_Body (0x2016d3c)
Starting Line        : timerserver.c:345 (0x2016e54)
Ending Line          : timerserver.c:345 (0x2016e5f)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================