============================================
Index                : 22
Symbol               : _Internal_error_Occurred (0x40006f74)
Starting Line        : sysstate.inl:37 (0x40006f9c)
Ending Line          : interr.c:61 (0x40006fb3)
Size in Bytes        : 24
Size in Instructions : 6

Classification: NONE

Explanation:
No Explanation
============================================
============================================
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                : 35
Symbol               : _Scheduler_priority_Yield (0x40007d94)
Starting Line        : schedulerpriorityyield.c:52 (0x40007e34)
Ending Line          : schedulerpriorityyield.c:52 (0x40007e37)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 51
Symbol               : _Timer_server_Body (0x40016534)
Starting Line        : timerserver.c:345 (0x40016650)
Ending Line          : timerserver.c:345 (0x4001665b)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 55
Symbol               : _User_extensions_Fatal (0x40008f38)
Starting Line        : userextthreadbegin.c:81 (0x40008f78)
Ending Line          : userextthreadbegin.c:81 (0x40008f7f)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

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