============================================
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                : 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                : 18
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                : 31
Symbol               : _Internal_error_Occurred (0x10b674)
Starting Line        : sysstate.inl:37 (0x10b6a0)
Ending Line          : interr.c:61 (0x10b6b2)
Size in Bytes        : 19
Size in Instructions : 6

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 32
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                : 42
Symbol               : _POSIX_Condition_variables_Wait_support (0x10b1e4)
Starting Line        : condwaitsupp.c:89 (0x10b2a0)
Ending Line          : condwaitsupp.c:89 (0x10b2a1)
Size in Bytes        : 2
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 44
Symbol               : _POSIX_Keys_Run_destructors (0x111ec4)
Starting Line        : keyrundestructors.c:62 (0x111f1e)
Ending Line          : keyrundestructors.c:63 (0x111f2f)
Size in Bytes        : 18
Size in Instructions : 6

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 50
Symbol               : _POSIX_Threads_Delete_extension (0x10f723)
Starting Line        : pthread.c:263 (0x10f74e)
Ending Line          : pthread.c:263 (0x10f752)
Size in Bytes        : 5
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 60
Symbol               : _POSIX_Timer_TSR (0x10a6cc)
Starting Line        : timertsr.c:65 (0x10a719)
Ending Line          : timertsr.c:65 (0x10a71c)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 70
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                : 72
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                : 74
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                : 88
Symbol               : _Thread_Initialize (0x10c3a8)
Starting Line        : threadinitialize.c:230 (0x10c5af)
Ending Line          : threadinitialize.c:230 (0x10c5ba)
Size in Bytes        : 12
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 92
Symbol               : _Thread_Stack_Free (0x10cca4)
Starting Line        : threadstackfree.c:62 (0x10ccd5)
Ending Line          : threadstackfree.c:62 (0x10ccd6)
Size in Bytes        : 2
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 97
Symbol               : _Thread_queue_Enqueue_priority (0x10c854)
Starting Line        : threadqenqueuepriority.c:98 (0x10c8b9)
Ending Line          : threadqenqueuepriority.c:100 (0x10c8c1)
Size in Bytes        : 9
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 103
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                : 105
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                : 107
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                : 111
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                : 120
Symbol               : killinfo (0x111f44)
Starting Line        : killinfo.c:78 (0x111f5d)
Ending Line          : killinfo.c:78 (0x111f69)
Size in Bytes        : 13
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 122
Symbol               : killinfo (0x111f44)
Starting Line        : killinfo.c:84 (0x111f6e)
Ending Line          : killinfo.c:84 (0x111f78)
Size in Bytes        : 11
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 135
Symbol               : pthread_exit (0x1124d4)
Starting Line        : pthreadexit.c:97 (0x1124e8)
Ending Line          : pthreadexit.c:98 (0x1124ec)
Size in Bytes        : 5
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 139
Symbol               : pthread_kill (0x1124f0)
Starting Line        : pthreadkill.c:81 (0x112581)
Ending Line          : pthreadkill.c:81 (0x11258b)
Size in Bytes        : 11
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 155
Symbol               : pthread_testcancel (0x10aac8)
Starting Line        : testcancel.c:56 (0x10ab1d)
Ending Line          : testcancel.c:56 (0x10ab1f)
Size in Bytes        : 3
Size in Instructions : 1

Classification: NONE

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