============================================
Index                : 22
Symbol               : _Internal_error_Occurred (0x40007dcc)
Starting Line        : sysstate.inl:37 (0x40007df4)
Ending Line          : interr.c:61 (0x40007e0b)
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                : 34
Symbol               : _Scheduler_priority_Yield (0x40008bec)
Starting Line        : schedulerpriorityyield.c:52 (0x40008c8c)
Ending Line          : schedulerpriorityyield.c:52 (0x40008c8f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 50
Symbol               : _Timer_server_Body (0x4001738c)
Starting Line        : timerserver.c:345 (0x400174a8)
Ending Line          : timerserver.c:345 (0x400174b3)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 54
Symbol               : _User_extensions_Fatal (0x40009d90)
Starting Line        : userextthreadbegin.c:81 (0x40009dd0)
Ending Line          : userextthreadbegin.c:81 (0x40009dd7)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

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