============================================ Symbol : _CORE_message_queue_Broadcast (0x40007aa8) Line : coremsgimpl.h:641 (0x40007af0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x40007aa8) Line : coremsgimpl.h:629 (0x40007b34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x4000e6ec) Line : coremsgseize.c:72 (0x4000e75c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x4000e810) Line : coremsgimpl.h:641 (0x4000e854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40007e40) Line : heapallocate.c:255 (0x40007e8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40007e40) Line : heapallocate.c:255 (0x40007ff0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000b38c) Line : heapextend.c:164 (0x4000b3f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000b38c) Line : heapextend.c:164 (0x4000b438) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000b38c) Line : heapextend.c:181 (0x4000b484) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000b38c) Line : heapextend.c:190 (0x4000b4a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000b720) Line : heapimpl.h:750 (0x4000b780) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000b720) Line : heapfree.c:137 (0x4000b7a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000b720) Line : heapimpl.h:750 (0x4000b854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000b720) Line : heapimpl.h:750 (0x4000b860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000b720) Line : heapfree.c:161 (0x4000b870) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_first_and_last_block (0x400081c8) Line : heap.c:196 (0x4000823c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_free_information (0x4000dd14) Line : heapgetfreeinfo.c:37 (0x4000dd28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate (0x40006cf0) Line : heapgreedy.c:59 (0x40006de0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate_all_except_largest (0x400049b8) Line : heapgreedy.c:89 (0x400049d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x40008478) Line : heapiterate.c:40 (0x40008488) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x40008478) Line : heapiterate.c:40 (0x400084b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4000613c) Line : heapimpl.h:750 (0x40006164) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4000613c) Line : heapimpl.h:750 (0x40006174) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4000613c) Line : heapimpl.h:750 (0x4000618c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4000613c) Line : heapimpl.h:750 (0x40006194) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4000613c) Line : heapsizeofuserarea.c:46 (0x400061a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4001522c) Line : heapwalk.c:327 (0x40015274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4001522c) Line : heapimpl.h:750 (0x4001548c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4001522c) Line : heapimpl.h:750 (0x40015540) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4001522c) Line : heapwalk.c:131 (0x4001572c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000acec) Line : iobase64.c:69 (0x4000ae3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000acec) Line : iobase64.c:69 (0x4000ae68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:124 (0x4000ef2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:130 (0x4000efa8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:139 (0x4000efec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:364 (0x4000f03c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:177 (0x4000f0c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:327 (0x4000f1f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:345 (0x4000f2c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:347 (0x4000f2d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:355 (0x4000f334) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:167 (0x4000f390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:188 (0x4000f410) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:188 (0x4000f424) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:188 (0x4000f430) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:192 (0x4000f44c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:156 (0x4000f560) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:313 (0x4000f874) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:255 (0x4000f988) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:315 (0x4000f9a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:247 (0x4000f9e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:247 (0x4000f9f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x4000ef20) Line : iovprintf.c:252 (0x4000fa74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Allocate (0x4000fee8) Line : memoryallocate.c:57 (0x4000ff04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Allocate (0x4000fee8) Line : memoryallocate.c:72 (0x4000ff30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Allocate (0x4000fee8) Line : memoryallocate.c:66 (0x4000ff40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Fill (0x400049a4) Line : memoryfill.c:53 (0x400049c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Memory_Fill (0x400049a4) Line : memoryfill.c:53 (0x400049e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40009210) Line : objectextendinformation.c:75 (0x4000925c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40009210) Line : objectextendinformation.c:101 (0x400092c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40009210) Line : objectextendinformation.c:233 (0x40009304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40009210) Line : objectextendinformation.c:201 (0x400093f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free_objects_block (0x40009538) Line : objectshrinkinformation.c:50 (0x40009558) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free_unlimited (0x40009470) Line : objectfree.c:33 (0x40009498) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000b934) Line : objectgetinfo.c:47 (0x4000b970) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x40009574) Line : objectgetnameasstring.c:108 (0x40009604) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x40009614) Line : objectidtoname.c:45 (0x40009648) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_string (0x400094c0) Line : objectgetnameasstring.c:49 (0x400094c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x40004f28) Line : objectsetname.c:40 (0x40004f54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x400095e8) Line : objectshrinkinformation.c:98 (0x40009608) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x400095e8) Line : objectshrinkinformation.c:98 (0x40009634) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Once (0x40004f7c) Line : once.c:71 (0x40004fb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x4000cf38) Line : processormaskcopy.c:47 (0x4000cf84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x4000cf38) Line : processormaskcopy.c:58 (0x4000cfa8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x4000cf38) Line : processormaskcopy.c:64 (0x4000cfcc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:26 (0x40008878) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:26 (0x40008900) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008a68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008ab4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008b40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008be4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008bf4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008c1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008d40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008d50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008824) Line : rbtreeextract.c:24 (0x40008d78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40008dc4) Line : rbtreeinsert.c:24 (0x40008f24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40008dc4) Line : rbtreeinsert.c:24 (0x40008f34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40008dc4) Line : rbtreeinsert.c:24 (0x40008f94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40008dc4) Line : rbtreeinsert.c:24 (0x40008fa4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40008dc4) Line : rbtreeinsert.c:24 (0x40008ff0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Iterate (0x40006054) Line : rbtreeiterate.c:39 (0x40006088) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Predecessor (0x40015a80) Line : rbtreenext.c:36 (0x40015ad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Successor (0x400159f4) Line : rbtreenext.c:34 (0x40015a44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _SMP_barrier_Wait (0x4000f59c) Line : smpbarrierwait.c:48 (0x4000f5c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Attach_thread (0x400063f4) Line : schedulercbsattachthread.c:58 (0x40006458) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x400064c4) Line : schedulercbs.c:46 (0x400064f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Cleanup (0x4000652c) Line : schedulercbscleanup.c:30 (0x4000653c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Cleanup (0x4000652c) Line : schedulercbscleanup.c:30 (0x40006580) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40006590) Line : schedulercbscreateserver.c:35 (0x40006598) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40006590) Line : schedulercbscreateserver.c:35 (0x400065a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40006590) Line : schedulercbscreateserver.c:41 (0x400065b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40006590) Line : schedulercbscreateserver.c:35 (0x4000663c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40006590) Line : schedulercbscreateserver.c:35 (0x4000665c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Get_server_id (0x40006970) Line : schedulercbsgetserverid.c:33 (0x4000697c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40006a50) Line : schedulercbssetparameters.c:34 (0x40006a6c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40006a50) Line : schedulercbssetparameters.c:34 (0x40006a7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40006a50) Line : schedulercbssetparameters.c:34 (0x40006acc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40006a50) Line : schedulercbssetparameters.c:34 (0x40006af4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40005d10) Line : schedulercbsunblock.c:56 (0x40005d84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40005d10) Line : schedulercbsunblock.c:56 (0x40005d8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40005d10) Line : schedulercbsunblock.c:56 (0x40005d9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x40005e9c) Line : schedulerimpl.h:774 (0x40005ec4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x40005e9c) Line : schedulerimpl.h:1242 (0x40005ee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule (0x40006178) Line : schedulerimpl.h:1242 (0x40006190) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x400061f0) Line : rbtree.h:525 (0x40006228) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x400061f0) Line : schedulerimpl.h:1242 (0x400062d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x400061f0) Line : schedulerimpl.h:1242 (0x400062e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40005f3c) Line : rbtree.h:522 (0x40005f8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40005f3c) Line : rbtree.h:525 (0x40005fdc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40005f3c) Line : rbtree.h:522 (0x40005fec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40005f3c) Line : schedulerimpl.h:1242 (0x40006038) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x40005f3c) Line : scheduleredfchangepriority.c:45 (0x40006050) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : rbtree.h:522 (0x4000636c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : rbtree.h:525 (0x4000637c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : rbtree.h:526 (0x40006384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : rbtree.h:522 (0x400063a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : rbtree.h:525 (0x400063bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40006344) Line : schedulerimpl.h:1242 (0x40006408) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_Set_affinity (0x40008424) Line : schedulersetaffinity.c:44 (0x40008444) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_default_Tick (0x400050ac) Line : schedulerdefaulttick.c:50 (0x400050f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x4000554c) Line : schedulerimpl.h:1242 (0x400055a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x400055f8) Line : schedulerpriorityunblock.c:72 (0x40005664) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x400055f8) Line : schedulerpriorityunblock.c:72 (0x4000566c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x400055f8) Line : schedulerimpl.h:1242 (0x4000568c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x40005c24) Line : schedulerimpl.h:774 (0x40005c50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x40005c24) Line : schedulerimpl.h:1242 (0x40005c6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40005e38) Line : chainimpl.h:858 (0x40005e68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40005e38) Line : schedulersimpleunblock.c:55 (0x40005eb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40005e38) Line : schedulersimpleunblock.c:55 (0x40005ec0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x40005e38) Line : schedulerimpl.h:1242 (0x40005ee0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40005ccc) Line : schedulersimplechangepriority.c:34 (0x40005cd8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40005ccc) Line : chainimpl.h:858 (0x40005d08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40005ccc) Line : chainimpl.h:858 (0x40005d40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40005ccc) Line : schedulerimpl.h:1242 (0x40005d7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40005f40) Line : chainimpl.h:858 (0x40005f6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40005f40) Line : chainimpl.h:858 (0x40005f80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40005f40) Line : chainimpl.h:858 (0x40005fa0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40005f40) Line : schedulerimpl.h:1242 (0x40005fdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TLS_Get_allocation_size (0x4000a800) Line : tls.h:151 (0x4000a850) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x40005e90) Line : watchdogimpl.h:422 (0x40005e98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x40005e90) Line : coretodset.c:38 (0x40005fbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x40009e68) Line : threadallocateunlimited.c:54 (0x40009f08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x40009e68) Line : chainimpl.h:618 (0x40009f18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x40009e68) Line : threadallocateunlimited.c:64 (0x40009f40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000b7cc) Line : threadrestart.c:390 (0x4000b834) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000b7cc) Line : threadrestart.c:405 (0x4000b878) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000b7cc) Line : threadrestart.c:390 (0x4000b894) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_life (0x40005ea0) Line : threadrestart.c:387 (0x40005f0c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state_locked (0x40009428) Line : threadclearstate.c:45 (0x40009440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Continue (0x40006090) Line : threadtimeout.c:72 (0x40006150) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Do_dispatch (0x4000581c) Line : chainimpl.h:618 (0x40005918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000b970) Line : threadrestart.c:259 (0x4000b984) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000b970) Line : chainimpl.h:700 (0x4000b9c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get_name (0x400074fc) Line : threadname.c:56 (0x4000750c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x400095f4) Line : threadinitialize.c:57 (0x40009618) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x4000a9e8) Line : threaditerate.c:51 (0x4000aa1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x4000a9e8) Line : threaditerate.c:61 (0x4000aa50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Kill_zombies (0x40005d54) Line : userextimpl.h:512 (0x40005de4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_add (0x4000d19c) Line : threadchangepriority.c:270 (0x4000d1d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_remove (0x4000d220) Line : threadchangepriority.c:270 (0x4000d260) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40006224) Line : threadrestart.c:597 (0x40006270) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40006224) Line : threadrestart.c:390 (0x400062b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40006224) Line : threadrestart.c:405 (0x40006314) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Wait_get_id (0x40008968) Line : threadwaitgetid.c:42 (0x40008988) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield (0x40006184) Line : threadyield.c:37 (0x40006194) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x40009900) Line : threadqenqueue.c:454 (0x400099c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x40009900) Line : threadqenqueue.c:454 (0x400099ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract (0x40009aa8) Line : threadimpl.h:2266 (0x40009ae8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x40009b44) Line : threadqenqueue.c:707 (0x40009bb0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x40004ce0) Line : kern_tc.c:552 (0x40004d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x400075d8) Line : kern_tc.c:500 (0x4000765c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbintime (0x40004e0c) Line : kern_tc.c:626 (0x40004e30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbinuptime (0x4000316c) Line : kern_tc.c:584 (0x40003190) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbinuptime (0x4000316c) Line : kern_tc.c:584 (0x400031a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrotime (0x400032e0) Line : kern_tc.c:654 (0x40003304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrotime (0x400032e0) Line : kern_tc.c:654 (0x40003314) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrouptime (0x40003204) Line : kern_tc.c:612 (0x40003238) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrouptime (0x40003204) Line : kern_tc.c:612 (0x40003248) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanotime (0x40004e50) Line : kern_tc.c:640 (0x40004e74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanotime (0x40004e50) Line : kern_tc.c:640 (0x40004e84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x40004db8) Line : kern_tc.c:598 (0x40004dec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x40004db8) Line : kern_tc.c:585 (0x40004dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x40004e94) Line : kern_tc.c:1415 (0x40004eac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x40004e94) Line : kern_tc.c:654 (0x40004ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Install (0x40004e94) Line : kern_tc.c:655 (0x40004ed0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Sbinuptime (0x40004c50) Line : kern_tc.c:327 (0x40004c90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x40006c5c) Line : time.h:76 (0x40006c94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x40006c5c) Line : time.h:280 (0x40006d00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Add_to (0x40005ab0) Line : timespecaddto.c:39 (0x40005b14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x40010758) Line : timespeclessthan.c:32 (0x40010768) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x40010758) Line : timespeclessthan.c:32 (0x40010770) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x40010758) Line : timespeclessthan.c:35 (0x4001077c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x40010758) Line : timespeclessthan.c:35 (0x40010784) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x400061c8) Line : userext.c:36 (0x400061d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x4000639c) Line : userextiterate.c:180 (0x400063d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Remove_set (0x400143bc) Line : chainimpl.h:965 (0x400143d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create_visitor (0x40006258) Line : userextiterate.c:59 (0x40006274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x40006658) Line : watchdogimpl.h:374 (0x40006694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x40006518) Line : watchdoginsert.c:56 (0x40006578) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x400065e4) Line : watchdogimpl.h:374 (0x40006640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:58 (0x4000bb18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:63 (0x4000bb34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:63 (0x4000bb6c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:77 (0x4000bba4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:79 (0x4000bbb4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:94 (0x4000bbdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000bb08) Line : wkspace.c:63 (0x4000bbf4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================