============================================ Symbol : _CORE_message_queue_Broadcast (0x40009454) Line : unknown:-1 (0x400094e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x40009848) Line : unknown:-1 (0x40009858) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : unknown:-1 (0x40006d04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : unknown:-1 (0x40006d24) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : unknown:-1 (0x40006d44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : unknown:-1 (0x40006e44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : unknown:-1 (0x40006e84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x40007250) Line : unknown:-1 (0x400072b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x40007250) Line : unknown:-1 (0x4000738c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a10) Line : unknown:-1 (0x40006a40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a10) Line : unknown:-1 (0x40006a68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a10) Line : unknown:-1 (0x40006ad8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x40009ac4) Line : unknown:-1 (0x40009ad4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009c20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009c2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009c58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009d00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009e04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009e4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009e80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009ecc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009f2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a2a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a2e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a494) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a528) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Fill (0x40006494) Line : unknown:-1 (0x400064d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Mutex_recursive_Acquire (0x4000a80c) Line : unknown:-1 (0x4000a820) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Mutex_recursive_Release (0x4000a8a0) Line : unknown:-1 (0x4000a8b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x4000df6c) Line : unknown:-1 (0x4000dffc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x40006d94) Line : unknown:-1 (0x40006dc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x40018428) Line : unknown:-1 (0x40018488) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000c7b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000c8e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000ca90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000cae0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000cb8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000cc30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x4000ccac) Line : unknown:-1 (0x4000cd68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x4000ccac) Line : unknown:-1 (0x4000ce24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x4000ccac) Line : unknown:-1 (0x4000cebc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x4000ccac) Line : unknown:-1 (0x4000cef8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40008b20) Line : unknown:-1 (0x40008be0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40008f78) Line : unknown:-1 (0x40008ff4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40008f78) Line : unknown:-1 (0x4000901c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40007e4c) Line : unknown:-1 (0x40007ec0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40007a5c) Line : unknown:-1 (0x40007b58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_Set_affinity (0x40013d60) Line : unknown:-1 (0x40013d80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x40007668) Line : unknown:-1 (0x40007700) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40007a14) Line : unknown:-1 (0x40007ad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40007a14) Line : unknown:-1 (0x40007ad8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40007a14) Line : unknown:-1 (0x40007af8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Update_priority (0x40007784) Line : unknown:-1 (0x400078c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x40007944) Line : unknown:-1 (0x40007970) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40007b48) Line : unknown:-1 (0x40007bf4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x400079cc) Line : unknown:-1 (0x400079d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x400079cc) Line : unknown:-1 (0x40007a08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40007c6c) Line : unknown:-1 (0x40007ccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TLS_Get_allocation_size (0x4000af78) Line : unknown:-1 (0x4000afc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x4000a41c) Line : unknown:-1 (0x4000a44c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x4000a41c) Line : unknown:-1 (0x4000a4ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x40007de8) Line : unknown:-1 (0x40007e1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x4000cf70) Line : unknown:-1 (0x4000cf98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x400085c4) Line : unknown:-1 (0x400085f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x400085c4) Line : unknown:-1 (0x40008720) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush_critical (0x40008914) Line : unknown:-1 (0x4000893c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush_critical (0x40008914) Line : unknown:-1 (0x4000898c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x4000ad0c) Line : unknown:-1 (0x4000ad80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbintime (0x4000ae4c) Line : unknown:-1 (0x4000ae70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x4000aed4) Line : unknown:-1 (0x4000af10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Sbinuptime (0x4000ac78) Line : unknown:-1 (0x4000acc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x400102a8) Line : unknown:-1 (0x400102cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Add_set (0x4000d964) Line : unknown:-1 (0x4000d998) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x40009698) Line : unknown:-1 (0x400096c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x40009698) Line : unknown:-1 (0x40009788) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Remove_set (0x4000da64) Line : unknown:-1 (0x4000da7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create_visitor (0x40009558) Line : unknown:-1 (0x40009574) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000d7ac) Line : unknown:-1 (0x4000d7bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000d7ac) Line : unknown:-1 (0x4000d7ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x40009464) Line : unknown:-1 (0x400094c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x400098f8) Line : unknown:-1 (0x400099c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x400098f8) Line : unknown:-1 (0x400099d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================