============================================ Symbol : _CORE_message_queue_Broadcast (0x40009454) Line : unknown:-1 (0x400094a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x40009454) Line : unknown:-1 (0x400094e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x4000fc58) Line : unknown:-1 (0x4000fcc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x4000fd7c) Line : unknown:-1 (0x4000fdc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x40005570) Line : unknown:-1 (0x40005584) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x40005570) Line : unknown:-1 (0x40005598) 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 (0x40006e84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x40006b9c) Line : unknown:-1 (0x40006bc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x40006f74) Line : unknown:-1 (0x4000719c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x40006f74) Line : unknown:-1 (0x400071b8) 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 (0x400072cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x40007250) Line : unknown:-1 (0x40007380) 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_Free (0x40007250) Line : unknown:-1 (0x4000739c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_free_information (0x40010548) Line : unknown:-1 (0x4001055c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate (0x40009148) Line : unknown:-1 (0x40009240) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate_all_except_largest (0x400069e0) Line : unknown:-1 (0x400069f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a10) Line : unknown:-1 (0x40006a98) 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 : _Heap_Iterate (0x40009ac4) Line : unknown:-1 (0x40009b14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40007d1c) Line : unknown:-1 (0x40007d44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40007d1c) Line : unknown:-1 (0x40007d54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40007d1c) Line : unknown:-1 (0x40007d6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40007d1c) Line : unknown:-1 (0x40007d74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40007d1c) Line : unknown:-1 (0x40007d84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x400070f4) Line : unknown:-1 (0x40007110) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x400070f4) Line : unknown:-1 (0x4000733c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x400070f4) Line : unknown:-1 (0x400073ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x400070f4) Line : unknown:-1 (0x4000766c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000a1c4) Line : unknown:-1 (0x4000a29c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000a1c4) Line : unknown:-1 (0x4000a2c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009be0) Size in Bytes : 4 Reason : NEVER 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 (0x40009c58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009cc0) Size in Bytes : 4 Reason : NEVER 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 (0x40009e14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x40009edc) 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 (0x4000a008) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a01c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a028) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a328) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a37c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a3f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a430) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a500) Size in Bytes : 4 Reason : ALWAYS 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 : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a574) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a624) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x40009bd8) Line : unknown:-1 (0x4000a698) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Fill (0x40006494) Line : unknown:-1 (0x400064b4) 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 : _Objects_Extend_information (0x400097e8) Line : unknown:-1 (0x40009830) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400097e8) Line : unknown:-1 (0x400098b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400097e8) Line : unknown:-1 (0x400098f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400097e8) Line : unknown:-1 (0x400099b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free_objects_block (0x40009b20) Line : unknown:-1 (0x40009b38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free_unlimited (0x40009a58) Line : unknown:-1 (0x40009a80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000e020) Line : unknown:-1 (0x4000e05c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x4000a788) Line : unknown:-1 (0x4000a7bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_string (0x4000a800) Line : unknown:-1 (0x4000a808) Size in Bytes : 4 Reason : ALWAYS 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 : _Once (0x4000a910) Line : unknown:-1 (0x4000a94c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x40018428) Line : unknown:-1 (0x4001845c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x40018428) Line : unknown:-1 (0x40018498) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x40018428) Line : unknown:-1 (0x400184b8) Size in Bytes : 4 Reason : NEVER 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 (0x4000c83c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000c9c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000ca18) Size in Bytes : 4 Reason : NEVER 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 (0x4000cb48) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000cb78) Size in Bytes : 4 Reason : NEVER 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 (0x4000cbb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4000c724) Line : unknown:-1 (0x4000cc1c) Size in Bytes : 4 Reason : NEVER 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_Extract (0x4000c724) Line : unknown:-1 (0x4000cc58) 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 (0x4000ce10) Size in Bytes : 4 Reason : NEVER 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 (0x4000cea8) 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 : _RBTree_Iterate (0x4000799c) Line : unknown:-1 (0x400079cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Predecessor (0x400167a0) Line : unknown:-1 (0x400167f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Successor (0x40016710) Line : unknown:-1 (0x40016764) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _SMP_barrier_Wait (0x4000f450) Line : unknown:-1 (0x4000f478) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Attach_thread (0x400089f0) Line : unknown:-1 (0x40008a54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000895c) Line : unknown:-1 (0x40008990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Cleanup (0x40008ac0) Line : unknown:-1 (0x40008ad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Cleanup (0x40008ac0) Line : unknown:-1 (0x40008b10) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40008b20) Line : unknown:-1 (0x40008b28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40008b20) Line : unknown:-1 (0x40008b38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40008b20) Line : unknown:-1 (0x40008b48) Size in Bytes : 4 Reason : NEVER 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_Create_server (0x40008b20) Line : unknown:-1 (0x40008c00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Get_server_id (0x40008f1c) Line : unknown:-1 (0x40008f28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40008f78) Line : unknown:-1 (0x40008f94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40008f78) Line : unknown:-1 (0x40008fa4) 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_CBS_Unblock (0x40007e4c) Line : unknown:-1 (0x40007ec8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40007e4c) Line : unknown:-1 (0x40007ee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x400079d0) Line : unknown:-1 (0x400079f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x400079d0) Line : unknown:-1 (0x40007a1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule (0x40007c60) Line : unknown:-1 (0x40007c78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x4000dc80) Line : unknown:-1 (0x4000dd58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x4000dc80) Line : unknown:-1 (0x4000dd68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40007a5c) Line : unknown:-1 (0x40007ab0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40007a5c) Line : unknown:-1 (0x40007b40) Size in Bytes : 4 Reason : ALWAYS 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_EDF_Yield (0x40007cd0) Line : unknown:-1 (0x40007cfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40007cd0) Line : unknown:-1 (0x40007d0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40007cd0) Line : unknown:-1 (0x40007d14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40007cd0) Line : unknown:-1 (0x40007d7c) Size in Bytes : 4 Reason : NEVER 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_default_Tick (0x400074f8) Line : unknown:-1 (0x40007534) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x40007970) Line : unknown:-1 (0x400079cc) Size in Bytes : 4 Reason : ALWAYS 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_simple_Block (0x40007944) Line : unknown:-1 (0x40007970) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x40007944) Line : unknown:-1 (0x4000798c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40007b48) Line : unknown:-1 (0x40007b78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40007b48) Line : unknown:-1 (0x40007bac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40007b48) Line : unknown:-1 (0x40007bec) 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_Unblock (0x40007b48) Line : unknown:-1 (0x40007c14) Size in Bytes : 4 Reason : NEVER 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_Update_priority (0x400079cc) Line : unknown:-1 (0x40007a1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x400079cc) Line : unknown:-1 (0x40007a50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x400079cc) Line : unknown:-1 (0x40007a9c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40007c6c) Line : unknown:-1 (0x40007c98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40007c6c) Line : unknown:-1 (0x40007cac) 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 : _Scheduler_simple_Yield (0x40007c6c) Line : unknown:-1 (0x40007ce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40007c6c) Line : unknown:-1 (0x40007d2c) 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 (0x4000a45c) Size in Bytes : 4 Reason : NEVER 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_Cancel (0x4000abd0) Line : unknown:-1 (0x4000ac0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000abd0) Line : unknown:-1 (0x4000ac28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000abd0) Line : unknown:-1 (0x4000aca0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000ad64) Line : unknown:-1 (0x4000ad7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get_name (0x400096b0) Line : unknown:-1 (0x400096c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x4000cf70) Line : unknown:-1 (0x4000cf84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x4000c15c) Line : unknown:-1 (0x4000c188) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x4000c15c) Line : unknown:-1 (0x4000c1d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Kill_zombies (0x40008154) Line : unknown:-1 (0x40008170) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40008118) Line : unknown:-1 (0x40008150) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40008118) Line : unknown:-1 (0x400081bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Wait_get_id (0x4000969c) Line : unknown:-1 (0x400096bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield (0x4000850c) Line : unknown:-1 (0x4000851c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x400085c4) Line : unknown:-1 (0x40008684) Size in Bytes : 4 Reason : ALWAYS 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_Extract (0x4000879c) Line : unknown:-1 (0x400087dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x40008838) Line : unknown:-1 (0x400088b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x4000ad0c) Line : unknown:-1 (0x4000ad9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x4000b67c) Line : unknown:-1 (0x4000b70c) Size in Bytes : 4 Reason : NEVER 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_Getbinuptime (0x400068f4) Line : unknown:-1 (0x40006918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbinuptime (0x400068f4) Line : unknown:-1 (0x40006928) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrotime (0x40006a68) Line : unknown:-1 (0x40006a8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrotime (0x40006a68) Line : unknown:-1 (0x40006a9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrouptime (0x4000698c) Line : unknown:-1 (0x400069c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrouptime (0x4000698c) Line : unknown:-1 (0x400069d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanotime (0x4000ae90) Line : unknown:-1 (0x4000aeb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanotime (0x4000ae90) Line : unknown:-1 (0x4000aec4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x4000adf8) Line : unknown:-1 (0x4000ae2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x4000adf8) Line : unknown:-1 (0x4000ae3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x4000aed4) Line : unknown:-1 (0x4000aeec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x4000aed4) Line : unknown:-1 (0x4000af08) 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 (0x4000acb8) 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 : _Timecounter_Tick_simple (0x4000cf98) Line : unknown:-1 (0x4000cfd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x4000cf98) Line : unknown:-1 (0x4000cfdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x4000cf98) Line : unknown:-1 (0x4000d048) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Add_to (0x4000e2e4) Line : unknown:-1 (0x4000e34c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x400102a8) Line : unknown:-1 (0x400102b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x400102a8) Line : unknown:-1 (0x400102c0) Size in Bytes : 4 Reason : ALWAYS 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 : _Timespec_Less_than (0x400102a8) Line : unknown:-1 (0x400102d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x400094dc) Line : unknown:-1 (0x400094e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x40009698) Line : unknown:-1 (0x400096cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x40009698) Line : unknown:-1 (0x400097ec) Size in Bytes : 4 Reason : NEVER 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 (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 (0x400099ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================