============================================
Index                : 3
Symbol               : _CORE_message_queue_Initialize (0x200fb54)
Starting Line        : coremsg.c:86 (0x200fba1)
Ending Line          : coremsg.c:86 (0x200fba3)
Size in Bytes        : 3
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 27
Symbol               : _RBTree_Extract_unprotected (0x200869c)
Starting Line        : rbtreeextract.c:140 (0x200872c)
Ending Line          : rbtreeextract.c:140 (0x200872f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 28
Symbol               : _RBTree_Extract_unprotected (0x200869c)
Starting Line        : rbtreeextract.c:142 (0x2008738)
Ending Line          : rbtreeextract.c:177 (0x20087e3)
Size in Bytes        : 172
Size in Instructions : 43

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 30
Symbol               : _RBTree_Extract_unprotected (0x200869c)
Starting Line        : rbtreeextract.c:210 (0x200885c)
Ending Line          : rbtreeextract.c:210 (0x2008863)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 32
Symbol               : _RBTree_Extract_validate_unprotected (0x20084a4)
Starting Line        : rbtree.inl:202 (0x20084d0)
Ending Line          : rbtree.inl:202 (0x20084d3)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 34
Symbol               : _RBTree_Extract_validate_unprotected (0x20084a4)
Starting Line        : rbtreeextract.c:57 (0x2008524)
Ending Line          : rbtreeextract.c:57 (0x2008527)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 38
Symbol               : _RBTree_Find_header (0x20088ac)
Starting Line        : rbtree.inl:308 (0x20088d4)
Ending Line          : rbtree.inl:308 (0x20088d7)
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.
============================================
============================================
Symbol        : _SMP_lock_Spinlock_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.
============================================
============================================
Symbol        : _SMP_lock_Spinlock_Obtain

          *** 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.
============================================
============================================
Symbol        : _SMP_lock_Spinlock_Release

          *** 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                : 49
Symbol               : _Scheduler_priority_Yield (0x2007fac)
Starting Line        : schedulerpriorityyield.c:52 (0x200804c)
Ending Line          : schedulerpriorityyield.c:52 (0x200804f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 65
Symbol               : _Timer_server_Body (0x2016560)
Starting Line        : timerserver.c:345 (0x2016678)
Ending Line          : timerserver.c:345 (0x2016683)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

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