============================================
Index                : 1
Symbol               : _Barrier_Manager_initialization (0x448)
Starting Line        : no-dpmem.c:26 (0x44c)
Ending Line          : bootcard.c:119 (0x47f)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 2
Symbol               : _CORE_mutex_Seize_interrupt_trylock (0xad80)
Starting Line        : coremutex.inl:209 (0xae78)
Ending Line          : coremutex.inl:209 (0xae7f)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 3
Symbol               : _Dual_ported_memory_Manager_initialization (0x44c)
Starting Line        : no-event.c:26 (0x450)
Ending Line          : bootcard.c:120 (0x483)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 4
Symbol               : _Event_Manager_initialization (0x450)
Starting Line        : no-msg.c:30 (0x454)
Ending Line          : no-region.c:26 (0x45f)
Size in Bytes        : 12
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 5
Symbol               : _Extension_Manager_initialization (0x46c)
Starting Line        : bootcard.c:117 (0x470)
Ending Line          : bootcard.c:149 (0x4a3)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _ISR_Thread_dispatch

          *** 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                : 6
Symbol               : _Message_queue_Manager_initialization (0x454)
Starting Line        : no-part.c:25 (0x458)
Ending Line          : cpu.h:258 (0x48b)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 7
Symbol               : _Partition_Manager_initialization (0x458)
Starting Line        : no-region.c:26 (0x45c)
Ending Line          : cpu.h:258 (0x48f)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 8
Symbol               : _Rate_monotonic_Manager_initialization (0x468)
Starting Line        : no-ext.c:25 (0x46c)
Ending Line          : bootcard.c:143 (0x49f)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 9
Symbol               : _Region_Manager_initialization (0x45c)
Starting Line        : no-signal.c:27 (0x460)
Ending Line          : cpu.h:258 (0x493)
Size in Bytes        : 52
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 10
Symbol               : _Thread_queue_Enqueue_priority (0x7614)
Starting Line        : cpu.h:274 (0x7690)
Ending Line          : cpu.h:274 (0x7697)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 11
Symbol               : _Timer_Manager_initialization (0x464)
Starting Line        : no-rtmon.c:27 (0x468)
Ending Line          : bootcard.c:143 (0x49f)
Size in Bytes        : 56
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 12
Symbol               : _Timer_server_Body (0x15138)
Starting Line        : cpu.h:274 (0x15258)
Ending Line          : cpu.h:274 (0x1525f)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

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