============================================
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                : 33
Symbol               : _Scheduler_priority_Yield (0x20080dc)
Starting Line        : schedulerpriorityyield.c:52 (0x200817c)
Ending Line          : schedulerpriorityyield.c:52 (0x200817f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 49
Symbol               : _Timer_server_Body (0x201687c)
Starting Line        : timerserver.c:345 (0x2016998)
Ending Line          : timerserver.c:345 (0x20169a3)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

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