============================================
Index                : 1
Symbol               : _Barrier_Manager_initialization (0x20012a8)
Starting Line        : no-barrier.c:22 (0x20012ac)
Ending Line          : no-signal.c:27 (0x20012df)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 11
Symbol               : _Dual_ported_memory_Manager_initialization (0x20012b0)
Starting Line        : no-dpmem.c:26 (0x20012b4)
Ending Line          : no-timer.c:28 (0x20012e7)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 12
Symbol               : _Event_Manager_initialization (0x20012b8)
Starting Line        : no-event.c:26 (0x20012bc)
Ending Line          : no-msg.c:30 (0x20012c3)
Size in Bytes        : 8
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 18
Symbol               : _Extension_Manager_initialization (0x20012f0)
Starting Line        : no-ext.c:25 (0x20012f4)
Ending Line          : bootcard.c:149 (0x2001327)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 31
Symbol               : _Message_queue_Manager_initialization (0x20012c0)
Starting Line        : no-msg.c:30 (0x20012c4)
Ending Line          : no-ext.c:25 (0x20012f7)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 41
Symbol               : _POSIX_Condition_variables_Wait_support (0x20072ac)
Starting Line        : condwaitsupp.c:89 (0x20073a0)
Ending Line          : condwaitsupp.c:89 (0x20073a7)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 43
Symbol               : _POSIX_Keys_Run_destructors (0x200fa0c)
Starting Line        : keyrundestructors.c:63 (0x200fa84)
Ending Line          : keyrundestructors.c:63 (0x200fa8f)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 49
Symbol               : _POSIX_Threads_Delete_extension (0x200cb3c)
Starting Line        : pthread.c:263 (0x200cb60)
Ending Line          : pthread.c:263 (0x200cb63)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 51
Symbol               : _POSIX_Threads_Delete_extension (0x200cb3c)
Starting Line        : pthread.c:262 (0x200cb74)
Ending Line          : pthread.c:262 (0x200cb77)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 58
Symbol               : _POSIX_Threads_Sporadic_budget_callout (0x200cca8)
Starting Line        : pthread.c:149 (0x200ccf0)
Ending Line          : pthread.c:149 (0x200ccf3)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 68
Symbol               : _POSIX_signals_Unblock_thread (0x200ff98)
Starting Line        : psignalunblockthread.c:111 (0x2010070)
Ending Line          : psignalunblockthread.c:111 (0x2010073)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 71
Symbol               : _Partition_Manager_initialization (0x20012c8)
Starting Line        : no-part.c:25 (0x20012cc)
Ending Line          : bootcard.c:119 (0x20012ff)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 73
Symbol               : _Rate_monotonic_Manager_initialization (0x20012e8)
Starting Line        : no-rtmon.c:27 (0x20012ec)
Ending Line          : bootcard.c:149 (0x200131f)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 75
Symbol               : _Region_Manager_initialization (0x20012d0)
Starting Line        : no-region.c:26 (0x20012d4)
Ending Line          : bootcard.c:121 (0x2001307)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 89
Symbol               : _Thread_Initialize (0x2008704)
Starting Line        : threadinitialize.c:230 (0x20088ec)
Ending Line          : threadinitialize.c:232 (0x20088f7)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 97
Symbol               : _Thread_queue_Enqueue_priority (0x2008c4c)
Starting Line        : threadqenqueuepriority.c:99 (0x2008cd8)
Ending Line          : threadqenqueuepriority.c:100 (0x2008ce3)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 102
Symbol               : _Timer_Manager_initialization (0x20012e0)
Starting Line        : no-timer.c:28 (0x20012e4)
Ending Line          : bootcard.c:149 (0x200131f)
Size in Bytes        : 60
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 105
Symbol               : _Timer_server_Body (0x2015de4)
Starting Line        : timerserver.c:345 (0x2015f1c)
Ending Line          : timerserver.c:345 (0x2015f27)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 115
Symbol               : killinfo (0x200fab4)
Starting Line        : killinfo.c:78 (0x200facc)
Ending Line          : killinfo.c:78 (0x200fadb)
Size in Bytes        : 16
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 117
Symbol               : killinfo (0x200fab4)
Starting Line        : killinfo.c:84 (0x200fae4)
Ending Line          : killinfo.c:84 (0x200faef)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 120
Symbol               : killinfo (0x200fab4)
Starting Line        : killinfo.c:268 (0x200fc80)
Ending Line          : killinfo.c:268 (0x200fc83)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 132
Symbol               : pthread_kill (0x20101d8)
Starting Line        : pthreadkill.c:81 (0x20102ac)
Ending Line          : pthreadkill.c:82 (0x20102c3)
Size in Bytes        : 24
Size in Instructions : 6

Classification: NONE

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