============================================
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                : 8
Symbol               : _CORE_mutex_Seize_interrupt_trylock (0x200cae0)
Starting Line        : coremutex.inl:209 (0x200cbdc)
Ending Line          : coremutex.inl:209 (0x200cbe3)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 10
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                : 11
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                : 17
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                : 30
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                : 38
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                : 41
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                : 43
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                : 58
Symbol               : _Thread_Initialize (0x200865c)
Starting Line        : threadinitialize.c:230 (0x20087fc)
Ending Line          : threadinitialize.c:229 (0x2008807)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 60
Symbol               : _Thread_Initialize (0x200865c)
Starting Line        : threadinitialize.c:230 (0x2008814)
Ending Line          : threadinitialize.c:232 (0x200881f)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 67
Symbol               : _Thread_queue_Enqueue_priority (0x2008b74)
Starting Line        : threadqenqueuepriority.c:99 (0x2008c00)
Ending Line          : threadqenqueuepriority.c:100 (0x2008c0b)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 72
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                : 75
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
============================================