============================================
Index                : 1
Symbol               : _Barrier_Manager_initialization (0x100200)
Starting Line        : no-barrier.c:22 (0x100205)
Ending Line          : no-part.c:25 (0x100224)
Size in Bytes        : 32
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 8
Symbol               : _CORE_mutex_Seize_interrupt_trylock (0x10f784)
Starting Line        : coremutex.inl:203 (0x10f82f)
Ending Line          : coremutex.inl:203 (0x10f830)
Size in Bytes        : 2
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 9
Symbol               : _CORE_mutex_Seize_interrupt_trylock (0x10f784)
Starting Line        : coremutex.inl:209 (0x10f836)
Ending Line          : coremutex.inl:209 (0x10f83c)
Size in Bytes        : 7
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 11
Symbol               : _Dual_ported_memory_Manager_initialization (0x100208)
Starting Line        : no-dpmem.c:26 (0x10020d)
Ending Line          : no-region.c:26 (0x10022c)
Size in Bytes        : 32
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 12
Symbol               : _Event_Manager_initialization (0x100210)
Starting Line        : no-event.c:26 (0x100215)
Ending Line          : no-msg.c:30 (0x10021e)
Size in Bytes        : 10
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 19
Symbol               : _Event_Timeout (0x10a2c0)
Starting Line        : eventtimeout.c:78 (0x10a2f6)
Ending Line          : eventtimeout.c:78 (0x10a2ff)
Size in Bytes        : 10
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 20
Symbol               : _Extension_Manager_initialization (0x100248)
Starting Line        : no-ext.c:25 (0x10024d)
Ending Line          : bootcard.c:121 (0x10026c)
Size in Bytes        : 32
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 34
Symbol               : _Internal_error_Occurred (0x10b5c0)
Starting Line        : sysstate.inl:37 (0x10b5ec)
Ending Line          : interr.c:61 (0x10b5fe)
Size in Bytes        : 19
Size in Instructions : 6

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 35
Symbol               : _Message_queue_Manager_initialization (0x100218)
Starting Line        : no-msg.c:30 (0x10021d)
Ending Line          : no-timer.c:28 (0x10023f)
Size in Bytes        : 35
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 43
Symbol               : _Objects_Initialize_information (0x10bac4)
Starting Line        : objectinitializeinformation.c:135 (0x10bb70)
Ending Line          : objectinitializeinformation.c:135 (0x10bb75)
Size in Bytes        : 6
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 44
Symbol               : _Partition_Manager_initialization (0x100220)
Starting Line        : no-part.c:25 (0x100225)
Ending Line          : no-rtmon.c:27 (0x100244)
Size in Bytes        : 32
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 47
Symbol               : _Rate_monotonic_Manager_initialization (0x100240)
Starting Line        : no-rtmon.c:27 (0x100245)
Ending Line          : bootcard.c:121 (0x100267)
Size in Bytes        : 35
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 49
Symbol               : _Region_Manager_initialization (0x100228)
Starting Line        : no-region.c:26 (0x10022d)
Ending Line          : no-ext.c:25 (0x10024f)
Size in Bytes        : 35
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 64
Symbol               : _Thread_Initialize (0x10c2c8)
Starting Line        : threadinitialize.c:230 (0x10c490)
Ending Line          : threadinitialize.c:230 (0x10c49b)
Size in Bytes        : 12
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 66
Symbol               : _Thread_Initialize (0x10c2c8)
Starting Line        : threadinitialize.c:230 (0x10c4a6)
Ending Line          : threadinitialize.c:230 (0x10c4b1)
Size in Bytes        : 12
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 73
Symbol               : _Thread_queue_Enqueue_priority (0x10c748)
Starting Line        : threadqenqueuepriority.c:98 (0x10c7ad)
Ending Line          : threadqenqueuepriority.c:100 (0x10c7b5)
Size in Bytes        : 9
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 78
Symbol               : _Timer_Manager_initialization (0x100238)
Starting Line        : no-timer.c:28 (0x10023d)
Ending Line          : bootcard.c:121 (0x100266)
Size in Bytes        : 42
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 80
Symbol               : _Timer_server_Body (0x11721c)
Starting Line        : timerserver.c:117 (0x1172db)
Ending Line          : timerserver.c:120 (0x117303)
Size in Bytes        : 41
Size in Instructions : 19

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 82
Symbol               : _Timer_server_Body (0x11721c)
Starting Line        : timerserver.c:345 (0x117322)
Ending Line          : timerserver.c:345 (0x117328)
Size in Bytes        : 7
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 86
Symbol               : _Timer_server_Schedule_operation_method (0x1173ab)
Starting Line        : timerserver.c:237 (0x1174ab)
Ending Line          : timerserver.c:237 (0x1174bf)
Size in Bytes        : 21
Size in Instructions : 9

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 87
Symbol               : _User_extensions_Thread_exitted (0x10ce55)
Starting Line        : userextthreadbegin.c:59 (0x10ce72)
Ending Line          : userextthreadbegin.c:59 (0x10ce74)
Size in Bytes        : 3
Size in Instructions : 1

Classification: NONE

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