============================================
Index                : 4
Symbol               : _CORE_mutex_Seize (0x2007018)
Starting Line        : coremutexseize.c:39 (0x20070e4)
Ending Line          : coremutexseize.c:39 (0x20070eb)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 38
Symbol               : _RBTree_Find_header (0x2008918)
Starting Line        : rbtree.inl:308 (0x2008940)
Ending Line          : rbtree.inl:308 (0x2008943)
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                : 48
Symbol               : _Scheduler_priority_Yield (0x2008660)
Starting Line        : schedulerpriorityyield.c:52 (0x2008704)
Ending Line          : schedulerpriorityyield.c:52 (0x2008707)
Size in Bytes        : 4
Size in Instructions : 1

Classification: Simple Test Case

Explanation:
Not Executed
Same test case as schedulerpriorityyield.c:51
============================================
============================================
Index                : 64
Symbol               : _Timer_server_Body (0x201715c)
Starting Line        : timerserver.c:345 (0x2017274)
Ending Line          : timerserver.c:345 (0x201727f)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

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