============================================
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               : _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                : 3
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                : 4
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                : 5
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                : 6
Symbol               : _POSIX_Condition_variables_Wait_support (0x61b4)
Starting Line        : condwaitsupp.c:89 (0x628c)
Ending Line          : condwaitsupp.c:89 (0x628f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 7
Symbol               : _POSIX_Keys_Run_destructors (0xd924)
Starting Line        : keyrundestructors.c:62 (0xd984)
Ending Line          : keyrundestructors.c:63 (0xd993)
Size in Bytes        : 16
Size in Instructions : 4

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 8
Symbol               : _POSIX_Threads_Delete_extension (0xad7c)
Starting Line        : pthread.c:263 (0xada4)
Ending Line          : pthread.c:263 (0xadab)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 9
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                : 10
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                : 11
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                : 12
Symbol               : _Thread_queue_Enqueue_priority (0x76b0)
Starting Line        : cpu.h:274 (0x772c)
Ending Line          : cpu.h:274 (0x7733)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 13
Symbol               : _Thread_queue_Enqueue_priority (0x76b0)
Starting Line        : cpu.h:274 (0x77bc)
Ending Line          : cpu.h:274 (0x77c3)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 14
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                : 15
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
============================================
============================================
Index                : 16
Symbol               : killinfo (0xd9b8)
Starting Line        : killinfo.c:78 (0xd9d4)
Ending Line          : killinfo.c:78 (0xd9df)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 17
Symbol               : killinfo (0xd9b8)
Starting Line        : killinfo.c:84 (0xd9e8)
Ending Line          : killinfo.c:84 (0xd9ef)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 18
Symbol               : pthread_kill (0xe060)
Starting Line        : pthreadkill.c:56 (0xe0b8)
Ending Line          : pthreadkill.c:57 (0xe0c3)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 19
Symbol               : pthread_kill (0xe060)
Starting Line        : pthreadkill.c:81 (0xe114)
Ending Line          : pthreadkill.c:81 (0xe11b)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

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