============================================ Symbol : _API_Mutex_Allocate (0x10bd5c) Line : apimutexallocate.c:32 (0x10bd78) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Allocate (0x10bd5c) Line : apimutexallocate.c:34 (0x10bd8c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Initialization (0x10bdd8) Line : apimutex.c:23 (0x10bdf0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Lock (0x10bdb4) Line : apimutexlock.c:27 (0x10bdcc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Unlock (0x10bdfc) Line : apimutexunlock.c:24 (0x10be1b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Add (0x10bd44) Line : apiext.c:41 (0x10bd52) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postdriver (0x10bce0) Line : apiext.c:77 (0x10bcf3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postdriver (0x10bce0) Line : apiext.c:77 (0x10bd03) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postswitch (0x10bd0c) Line : apiext.c:103 (0x10bd1f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postswitch (0x10bd0c) Line : apiext.c:103 (0x10bd3b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Release (0x111ce4) Line : corebarrierrelease.c:61 (0x111cee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Wait (0x111d14) Line : corebarrierwait.c:67 (0x111d93) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x1193f0) Line : coremsgbroadcast.c:72 (0x119402) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x1193f0) Line : coremsgbroadcast.c:96 (0x119412) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Close (0x11766c) Line : coremsgclose.c:73 (0x117690) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Flush (0x1194b0) Line : coremsgflush.c:52 (0x1194c8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114bf4) Line : coremsg.c:86 (0x114c23) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114bf4) Line : coremsg.c:76 (0x114c38) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114bf4) Line : coremsg.c:86 (0x114c44) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114bf4) Line : coremsg.c:102 (0x114c62) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x110020) Line : chain.inl:445 (0x110060) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x114ca4) Line : coremsg.inl:126 (0x114d22) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10be74) Line : coremsg.inl:113 (0x10beab) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10be74) Line : coremsgsubmit.c:97 (0x10bf18) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10be74) Line : coremsgsubmit.c:84 (0x10bf1f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Initialize (0x10bf30) Line : coremutex.c:77 (0x10bf8a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c028) Line : coremutexseize.c:39 (0x10c040) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c028) Line : coremutexseize.c:39 (0x10c088) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c028) Line : coremutexseize.c:39 (0x10c0bb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_blocking (0x10bfd8) Line : coremutexseize.c:65 (0x10c024) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110064) Line : coremutex.inl:152 (0x1100cb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110064) Line : coremutex.inl:206 (0x1100df) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110064) Line : coremutex.inl:203 (0x11011d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110064) Line : coremutex.inl:182 (0x110158) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110064) Line : coremutex.inl:170 (0x110165) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:189 (0x10c17e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:143 (0x10c198) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:143 (0x10c1a0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:125 (0x10c1a7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:180 (0x10c1b1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c0c8) Line : coremutexsurrender.c:199 (0x10c1c1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10c214) Line : coresemsurrender.c:68 (0x10c23d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10c214) Line : coresemsurrender.c:69 (0x10c252) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Get (0x10be50) Line : chain.inl:141 (0x10be72) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x10ffe0) Line : chain.c:51 (0x10fffa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x10ffe0) Line : chain.c:50 (0x10ffff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x10af24) Line : eventseize.c:73 (0x10af6b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x10af24) Line : watchdog.inl:131 (0x10b049) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : eventsurrender.c:95 (0x10b0e6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : eventsurrender.c:96 (0x10b0f0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : thread.inl:104 (0x10b173) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : eventsurrender.c:78 (0x10b181) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : eventsurrender.c:82 (0x10b198) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10b0a4) Line : eventsurrender.c:89 (0x10b1c0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x10b1c8) Line : eventtimeout.c:51 (0x10b1e2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x10b1c8) Line : eventtimeout.c:78 (0x10b233) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:103 (0x110270) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:200 (0x110279) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:120 (0x110301) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:120 (0x11030b) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:200 (0x110362) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:211 (0x110375) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:175 (0x1103b2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x11021c) Line : heapallocate.c:170 (0x1103c9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c538) Line : heap.c:351 (0x10c5cf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c538) Line : heap.c:297 (0x10c603) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c538) Line : heap.c:297 (0x10c60b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c538) Line : heap.c:336 (0x10c624) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10c454) Line : heap.inl:108 (0x10c50c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10c454) Line : heap.c:270 (0x10c535) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x113b1c) Line : heapextend.c:76 (0x113b60) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x113b1c) Line : heapextend.c:92 (0x113ba9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heap.inl:198 (0x110417) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heap.inl:198 (0x11041b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:51 (0x110426) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heap.inl:198 (0x11045f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heap.inl:198 (0x110463) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:71 (0x110469) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:83 (0x11049a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:107 (0x110513) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:57 (0x11051c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x1103d0) Line : heapfree.c:88 (0x11053b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_free_information (0x12e1bc) Line : heapgetfreeinfo.c:40 (0x12e1e1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13c758) Line : heapgetinfo.c:46 (0x13c798) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13c758) Line : heapgetinfo.c:52 (0x13c7a3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13c758) Line : heapgetinfo.c:51 (0x13c7cd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10c304) Line : heap.inl:108 (0x10c441) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10c304) Line : heap.inl:107 (0x10c44d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Resize_block (0x11db50) Line : heapresizeblock.c:78 (0x11dc36) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11dc5c) Line : heap.inl:198 (0x11dc7f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11dc5c) Line : heap.inl:198 (0x11dc92) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11dc5c) Line : heap.inl:198 (0x11dc96) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11dc5c) Line : heapsizeofuserarea.c:47 (0x11dc9c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:327 (0x10d0f2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heap.inl:198 (0x10d190) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:170 (0x10d1de) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:176 (0x10d1e8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:187 (0x10d1f4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:200 (0x10d1fe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:211 (0x10d206) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heap.inl:198 (0x10d210) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:82 (0x10d21c) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:95 (0x10d22d) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:106 (0x10d238) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:106 (0x10d243) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heap.inl:198 (0x10d253) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:335 (0x10d296) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heap.inl:198 (0x10d2ca) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:362 (0x10d2d6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:351 (0x10d2e8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:276 (0x10d38b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:133 (0x10d39b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:70 (0x10d3ba) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:301 (0x10d3c6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:260 (0x10d3d1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heap.inl:52 (0x10d3db) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:290 (0x10d3e6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:272 (0x10d3f3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:268 (0x10d3fd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:374 (0x10d40c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:386 (0x10d421) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:399 (0x10d432) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:233 (0x10d43d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:85 (0x10d448) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:107 (0x10d457) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d0a0) Line : heapwalk.c:96 (0x10d462) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk_print (0x10d468) Line : heapwalk.c:48 (0x10d4ad) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10bbac) Line : io.c:100 (0x10bbbb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10bbac) Line : io.c:101 (0x10bbc6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Manager_initialization (0x10bbdc) Line : io.c:81 (0x10bc44) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _ISR_Handler_initialization (0x10c668) Line : isr.c:52 (0x10c6b8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c6c0) Line : objectallocate.c:53 (0x10c6cd) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c6c0) Line : objectallocate.c:60 (0x10c6e3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c6c0) Line : objectallocate.c:69 (0x10c724) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c6c0) Line : objectallocate.c:70 (0x10c72c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c6c0) Line : objectallocate.c:73 (0x10c73a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Close (0x10c73c) Line : objectclose.c:27 (0x10c75d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:74 (0x10c799) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:75 (0x10c7a3) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:75 (0x10c7b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:89 (0x10c7da) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:147 (0x10c836) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:187 (0x10c860) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:187 (0x10c876) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:198 (0x10c89f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:247 (0x10c940) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:256 (0x10c964) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:247 (0x10c971) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:100 (0x10c9b9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:179 (0x10c9ed) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:69 (0x10ca06) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c764) Line : objectextendinformation.c:149 (0x10ca39) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10ca40) Line : objectfree.c:48 (0x10ca57) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10ca40) Line : objectfree.c:66 (0x10caaa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10cb70) Line : objectget.c:90 (0x10cbc5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10cb70) Line : objectget.c:92 (0x10cbd3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cad0) Line : objectgetinfo.c:36 (0x10caec) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cad0) Line : objectgetinfo.c:43 (0x10cb05) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cad0) Line : objectgetinfo.c:47 (0x10cb0c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cad0) Line : objectgetinfo.c:56 (0x10cb15) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information_id (0x10cab0) Line : objectgetinfoid.c:24 (0x10cac6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_isr_disable (0x10cb18) Line : objectgetisr.c:75 (0x10cb6c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:52 (0x117d3c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:56 (0x117d4f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:86 (0x117d86) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:86 (0x117d90) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:92 (0x117dba) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:93 (0x117dbf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x117d04) Line : objectgetnameasstring.c:86 (0x117dc6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x11a338) Line : objectgetnext.c:91 (0x11a376) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x11a338) Line : objectgetnext.c:102 (0x11a3a5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x11aae8) Line : objectgetnoprotection.c:67 (0x11ab0d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x1118d8) Line : objectidtoname.c:64 (0x111912) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x1118d8) Line : objectidtoname.c:72 (0x11191b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cbd8) Line : objectinitializeinformation.c:134 (0x10cc6c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cbd8) Line : objectinitializeinformation.c:151 (0x10cca6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cbd8) Line : objectinitializeinformation.c:105 (0x10ccb2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10ccc8) Line : objectnametoid.c:85 (0x10cd15) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10ccc8) Line : objectnametoid.c:75 (0x10cd23) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10eab8) Line : objectsetname.c:61 (0x10eb33) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10cd40) Line : objectshrinkinformation.c:65 (0x10cd60) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10cd40) Line : objectshrinkinformation.c:66 (0x10cd6a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10cd40) Line : objectshrinkinformation.c:97 (0x10cd6e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10cd40) Line : objectshrinkinformation.c:72 (0x10cd99) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_Tasks_Invoke_task_variable_dtor (0x10fefc) Line : taskvariable_invoke_dtor.c:34 (0x10ff3a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10b92c) Line : taskinitusers.c:72 (0x10b947) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10b92c) Line : taskinitusers.c:73 (0x10b961) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10b92c) Line : taskinitusers.c:84 (0x10b977) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10b92c) Line : taskinitusers.c:72 (0x10b989) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Manager_initialization (0x10fd20) Line : userext.h:253 (0x10fd4b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x10fd64) Line : tasks.c:188 (0x10fd78) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x10fd64) Line : tasks.c:203 (0x10fd8b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x10fcc0) Line : tasks.c:156 (0x10fce1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x10fcc0) Line : tasks.c:163 (0x10fd01) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x13c1f4) Line : ratemonperiod.c:73 (0x13c275) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x13c1f4) Line : ratemonperiod.c:77 (0x13c288) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13c52c) Line : ratemontimeout.c:55 (0x13c54b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13c52c) Line : ratemontimeout.c:69 (0x13c586) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13c52c) Line : watchdog.inl:131 (0x13c5a7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13c52c) Line : ratemontimeout.c:63 (0x13c5c3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13c28c) Line : ratemonperiod.c:176 (0x13c2af) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13c28c) Line : ratemonperiod.c:170 (0x13c367) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13c28c) Line : ratemonperiod.c:208 (0x13c378) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11e0c8) Line : region.inl:84 (0x11e0f6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11e0c8) Line : regionprocessqueue.c:83 (0x11e11b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11e0c8) Line : regionprocessqueue.c:68 (0x11e12e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x10d7fc) Line : watchdog.inl:166 (0x10d863) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Tickle_ticks (0x10c288) Line : coretodtickle.c:55 (0x10c2ed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_To_seconds (0x10c01c) Line : clocktodtoseconds.c:66 (0x10c0a6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10c0a8) Line : clocktodvalidate.c:59 (0x10c0b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10c0a8) Line : clocktodvalidate.c:59 (0x10c0de) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10c0a8) Line : clocktodvalidate.c:59 (0x10c0f4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10c0a8) Line : clocktodvalidate.c:50 (0x10c107) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10c0a8) Line : clocktodvalidate.c:73 (0x10c118) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : threadchangepriority.c:86 (0x10cee9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : threadchangepriority.c:93 (0x10cefb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : threadchangepriority.c:104 (0x10cf11) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : threadchangepriority.c:105 (0x10cf30) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : threadchangepriority.c:114 (0x10cf37) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10ced0) Line : chain.inl:445 (0x10d00a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10d010) Line : threadclearstate.c:90 (0x10d09e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10d010) Line : threadclearstate.c:90 (0x10d0a0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : threadclose.c:75 (0x10d0e0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : threadclose.c:81 (0x10d0ea) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : threadclose.c:83 (0x10d0f2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : threadclose.c:106 (0x10d130) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : threadclose.c:85 (0x10d17b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d0a4) Line : thread.inl:156 (0x10d18a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d18c) Line : thread.inl:301 (0x10d197) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d18c) Line : threadcreateidle.c:59 (0x10d1e5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d18c) Line : threadcreateidle.c:82 (0x10d214) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d220) Line : threaddelayended.c:54 (0x10d22d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d220) Line : threaddelayended.c:55 (0x10d23a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d220) Line : threaddelayended.c:62 (0x10d245) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:92 (0x10d27f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:109 (0x10d29f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:114 (0x10d2ae) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:124 (0x10d2ce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:129 (0x10d2e5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:102 (0x10d385) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d25c) Line : threaddispatch.c:177 (0x10d39f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Enable_dispatch (0x10d3b8) Line : threaddispatch.c:60 (0x10d3d5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x111d98) Line : threadevaluatemode.c:46 (0x111da5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x111d98) Line : threadevaluatemode.c:47 (0x111db3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10d3dc) Line : threadget.c:91 (0x10d41b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x111dc4) Line : threadhandler.c:144 (0x111e38) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x111dc4) Line : threadhandler.c:144 (0x111e65) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x111dc4) Line : threadhandler.c:145 (0x111e7c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10d694) Line : thread.c:85 (0x10d710) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10d694) Line : thread.c:100 (0x10d754) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:91 (0x10d497) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:92 (0x10d4a9) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:198 (0x10d55f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:221 (0x10d58e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:123 (0x10d63b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:161 (0x10d66f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:161 (0x10d688) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d454) Line : threadinitialize.c:123 (0x10d68f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset (0x1114b8) Line : threadreset.c:63 (0x111543) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset_timeslice (0x110880) Line : threadresettimeslice.c:69 (0x1108bd) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset_timeslice (0x110880) Line : threadresettimeslice.c:70 (0x1108d3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10e6ac) Line : threadrestart.c:51 (0x10e6c8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10e6ac) Line : threadrestart.c:59 (0x10e6ef) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10e6ac) Line : thread.inl:119 (0x10e731) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111508) Line : threadresume.c:78 (0x111518) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111508) Line : threadresume.c:92 (0x111592) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111508) Line : threadresume.c:92 (0x111594) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dc40) Line : threadsetstate.c:84 (0x10dc9b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dc40) Line : priority.inl:151 (0x10dcd9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dc40) Line : thread.inl:129 (0x10dd15) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_transient (0x10dd1c) Line : priority.inl:151 (0x10dd8d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10dd90) Line : threadstackallocate.c:76 (0x10dde7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10dd90) Line : threadstackallocate.c:76 (0x10ddef) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x10ddf4) Line : threadstackfree.c:61 (0x10de1e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x10de80) Line : threadstart.c:61 (0x10dec8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x10de80) Line : threadstart.c:63 (0x10ded0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10de24) Line : threadstartmultitasking.c:87 (0x10de58) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10de24) Line : threadstartmultitasking.c:90 (0x10de73) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x1108e0) Line : threadsuspend.c:85 (0x11093f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x1108e0) Line : priority.inl:151 (0x11097d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x1108e0) Line : thread.inl:129 (0x1109b9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10dee0) Line : threadtickletimeslice.c:84 (0x10df1c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10df20) Line : threadyieldprocessor.c:68 (0x10df5d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10df20) Line : threadyieldprocessor.c:69 (0x10df73) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10df20) Line : threadyieldprocessor.c:72 (0x10df7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10df20) Line : threadyieldprocessor.c:72 (0x10df80) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10ce84) Line : thread.inl:104 (0x10ceae) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10ce84) Line : threadblockingoperationcancel.c:72 (0x10cecc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue (0x10d770) Line : threadqdequeue.c:55 (0x10d7a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue (0x10d770) Line : threadqdequeue.c:67 (0x10d7b9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_fifo (0x1105ec) Line : threadqdequeuefifo.c:78 (0x110660) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d7bc) Line : thread.inl:104 (0x10d84b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d7bc) Line : thread.inl:104 (0x10d853) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d7bc) Line : threadqdequeuepriority.c:113 (0x10d868) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d7bc) Line : thread.inl:104 (0x10d87d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d7bc) Line : threadqdequeuepriority.c:104 (0x10d887) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:84 (0x10d973) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:98 (0x10d97e) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:132 (0x10d9d1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:147 (0x10da2a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:185 (0x10da7c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10d924) Line : threadqenqueuepriority.c:84 (0x10da8d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d88c) Line : threadqenqueue.c:70 (0x10d8a5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d88c) Line : watchdog.inl:131 (0x10d90d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d88c) Line : threadqenqueue.c:89 (0x10d920) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract (0x1106a8) Line : threadqextract.c:54 (0x1106cd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_fifo (0x111e80) Line : threadqextractfifo.c:68 (0x111ee4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x1106d8) Line : threadqextractpriority.c:97 (0x110775) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x1106d8) Line : threadqextractpriority.c:114 (0x110792) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10dac0) Line : threadqflush.c:54 (0x10dacb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10dac0) Line : threadqflush.c:54 (0x10dad7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Process_timeout (0x110794) Line : threadqprocesstimeout.c:54 (0x1107bc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10db3c) Line : threadqrequeue.c:53 (0x10db4d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10db3c) Line : threadqrequeue.c:60 (0x10db53) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10db3c) Line : threadqrequeue.c:66 (0x10db6a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10db3c) Line : threadqrequeue.c:69 (0x10db92) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10db3c) Line : threadqrequeue.c:69 (0x10db9a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10db9c) Line : threadqtimeout.c:48 (0x10dba9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10db9c) Line : threadqtimeout.c:49 (0x10dbb6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10db9c) Line : threadqtimeout.c:56 (0x10dbbc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:295 (0x118b4f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:297 (0x118b59) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:339 (0x118b99) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:278 (0x118bbc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:286 (0x118bd7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:373 (0x118bed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:391 (0x118c1d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:411 (0x118c3f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:412 (0x118c46) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:83 (0x118c69) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:227 (0x118c84) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:195 (0x118cf3) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:215 (0x118d21) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:215 (0x118d26) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:177 (0x118d79) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:177 (0x118d7e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:165 (0x118d86) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:205 (0x118d8f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x118c70) Line : timerserver.c:196 (0x118d99) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Add_to (0x10df84) Line : timespecaddto.c:44 (0x10dfb6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Divide (0x10f868) Line : timespecdivide.c:43 (0x10f8a2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Greater_than (0x13c90c) Line : timespecgreaterthan.c:34 (0x13c91b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Fatal (0x10e138) Line : userextthreadbegin.c:72 (0x10e156) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10dffc) Line : userext.c:44 (0x10e065) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10dffc) Line : userext.c:55 (0x10e07d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10dffc) Line : userext.h:263 (0x10e09d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_begin (0x10e0c0) Line : userextthreadbegin.c:34 (0x10e0d4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create (0x10e188) Line : userextthreadcreate.c:35 (0x10e19c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_delete (0x10e1d0) Line : userextthreaddelete.c:34 (0x10e1e4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_exitted (0x10e0fc) Line : userextthreadbegin.c:52 (0x10e110) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_restart (0x10ed74) Line : userextthreadrestart.c:34 (0x10ed88) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_start (0x10e210) Line : userextthreadstart.c:34 (0x10e224) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_switch (0x10e250) Line : userextthreadswitch.c:35 (0x10e26b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:63 (0x10fc6f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:64 (0x10fc76) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:63 (0x10fc7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:73 (0x10fc94) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:58 (0x10fcb1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:61 (0x10fcb6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fc48) Line : watchdogadjust.c:66 (0x10fcbd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x11c5d4) Line : watchdogadjusttochain.c:43 (0x11c662) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x11c5d4) Line : watchdogadjusttochain.c:57 (0x11c66a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e290) Line : watchdoginsert.c:83 (0x10e2dd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e290) Line : watchdoginsert.c:117 (0x10e34e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e290) Line : watchdoginsert.c:107 (0x10e362) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e3c8) Line : watchdogremove.c:41 (0x10e3ef) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e3c8) Line : chain.inl:343 (0x10e424) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e3c8) Line : watchdogremove.c:52 (0x10e42f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report (0x10f85c) Line : watchdogreport.c:30 (0x10f8b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f7ec) Line : watchdogreportchain.c:43 (0x10f81e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f7ec) Line : watchdogreportchain.c:37 (0x10f82a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f7ec) Line : watchdogreportchain.c:47 (0x10f859) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10e434) Line : watchdogtickle.c:89 (0x10e48e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10e434) Line : watchdogtickle.c:93 (0x10e49d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x10e500) Line : wkspace.c:41 (0x10e540) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x1117dc) Line : barriercreate.c:66 (0x111897) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x1117dc) Line : barriercreate.c:57 (0x1118c1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_wait (0x111990) Line : barrierwait.c:48 (0x1119b1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:72 (0x110b0e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:52 (0x110b1a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:55 (0x110b32) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:60 (0x110b38) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:61 (0x110b41) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:67 (0x110b44) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x110ad4) Line : clockget.c:68 (0x110b4d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x10be80) Line : clockgettod.c:35 (0x10bf39) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod_timeval (0x110c5c) Line : clockgettodtimeval.c:30 (0x110cc9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x10bf58) Line : clockset.c:50 (0x10bf6a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x10bf58) Line : clockset.c:51 (0x10bf84) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_receive (0x10aecc) Line : eventreceive.c:66 (0x10af09) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_send (0x10b050) Line : eventsend.c:58 (0x10b081) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_create (0x110764) Line : extensioncreate.c:50 (0x1107fe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_create (0x110764) Line : extensioncreate.c:38 (0x110805) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_delete (0x110808) Line : extension.inl:32 (0x11084d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:107 (0x10badd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:109 (0x10bae2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:120 (0x10bafb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:127 (0x10bb0f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:128 (0x10bb1b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:132 (0x10bb45) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:143 (0x10bb4f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:145 (0x10bb54) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10bac8) Line : exinit.c:147 (0x10bb59) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_device_drivers (0x10bab4) Line : exinit.c:196 (0x10baba) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_device_drivers (0x10bab4) Line : exinit.c:212 (0x10bac0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d38c) Line : ioregisterdriver.c:47 (0x10d3ec) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d38c) Line : ioregisterdriver.c:47 (0x10d3fa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d38c) Line : ioregisterdriver.c:114 (0x10d445) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d38c) Line : ioregisterdriver.c:96 (0x10d4ba) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d38c) Line : ioregisterdriver.c:107 (0x10d4c5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10dca0) Line : iterateoverthreads.c:32 (0x10dcae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10dca0) Line : iterateoverthreads.c:43 (0x10dcd1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10dca0) Line : iterateoverthreads.c:46 (0x10dce0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_broadcast (0x115f10) Line : msgqbroadcast.c:92 (0x115f76) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_create (0x113ab8) Line : msgqcreate.c:74 (0x113ad3) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_create (0x113ab8) Line : msgqcreate.c:164 (0x113ba3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_receive (0x113bdc) Line : msgqreceive.c:92 (0x113c3f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_send (0x10b25c) Line : msgqsend.c:93 (0x10b2bb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_urgent (0x1162f4) Line : msgqurgent.c:92 (0x116353) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_api_class_name (0x10cc7c) Line : rtemsobjectgetapiclassname.c:80 (0x10ccb9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_class_information (0x10cd2c) Line : rtemsobjectgetclassinfo.c:51 (0x10cd6b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_class_information (0x10cd2c) Line : rtemsobjectgetclassinfo.c:40 (0x10cdaa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_set_name (0x10ce08) Line : rtemsobjectsetname.c:42 (0x10ce5c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_set_name (0x10ce08) Line : rtemsobjectsetname.c:39 (0x10ce81) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x116370) Line : partcreate.c:66 (0x116392) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x116370) Line : partcreate.c:128 (0x11645a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x116370) Line : partcreate.c:88 (0x11646a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_get_buffer (0x1164dc) Line : partgetbuffer.c:68 (0x11655a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0x116580) Line : address.inl:135 (0x1165c3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0x116580) Line : part.inl:54 (0x1165dc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_create (0x1159a8) Line : dpmemcreate.c:72 (0x115a4e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_external_to_internal (0x115aa8) Line : dpmemexternal2internal.c:64 (0x115b06) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_internal_to_external (0x115b38) Line : dpmeminternal2external.c:65 (0x115b96) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_cancel (0x11660c) Line : ratemoncancel.c:58 (0x116675) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x13c0c0) Line : ratemongetstatus.c:86 (0x13c13e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x13c0c0) Line : ratemongetstatus.c:98 (0x13c162) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x13c0c0) Line : ratemongetstatus.c:91 (0x13c17a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:283 (0x13c3f2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:291 (0x13c3fd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:305 (0x13c444) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:352 (0x13c453) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:361 (0x13c487) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:265 (0x13c492) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:279 (0x13c4a1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:312 (0x13c4af) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:344 (0x13c500) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:265 (0x13c50f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13c37c) Line : ratemonperiod.c:341 (0x13c527) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics (0x12d2c4) Line : ratemonreportstatistics.c:206 (0x12d2d1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:52 (0x12d0f1) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:98 (0x12d139) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:177 (0x12d13e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:112 (0x12d176) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:98 (0x12d1b1) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12d0e0) Line : ratemonreportstatistics.c:178 (0x12d2be) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x12d2dc) Line : ratemonresetall.c:46 (0x12d2fa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x12d2dc) Line : ratemonresetall.c:49 (0x12d300) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x116db0) Line : regioncreate.c:74 (0x116ded) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x116db0) Line : regioncreate.c:119 (0x116e49) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x116db0) Line : regioncreate.c:78 (0x116e71) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x116db0) Line : regioncreate.c:114 (0x116ec6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_delete (0x116ecc) Line : regiondelete.c:60 (0x116f24) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_delete (0x116ecc) Line : region.inl:51 (0x116f4e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_extend (0x116f50) Line : regionextend.c:78 (0x116fcc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_extend (0x116f50) Line : regionextend.c:76 (0x116fe7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_extend (0x116f50) Line : regionextend.c:78 (0x116ff1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_free_information (0x116ff4) Line : regiongetfreeinfo.c:73 (0x117073) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_information (0x117084) Line : regiongetinfo.c:65 (0x1170ee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x1170fc) Line : regiongetsegment.c:113 (0x117191) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x1170fc) Line : regiongetsegment.c:89 (0x1171b0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x1170fc) Line : regiongetsegment.c:62 (0x1171b9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x1170fc) Line : regiongetsegment.c:91 (0x1171cb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x1170fc) Line : regiongetsegment.c:113 (0x117221) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x117228) Line : regiongetsegmentsize.c:67 (0x11727b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x117228) Line : regiongetsegmentsize.c:64 (0x1172a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x117228) Line : regiongetsegmentsize.c:64 (0x1172a8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_resize_segment (0x1172e4) Line : regionresizesegment.c:91 (0x1173aa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_return_segment (0x1173ac) Line : regionreturnsegment.c:91 (0x117417) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:117 (0x10b345) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:195 (0x10b3c6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:230 (0x10b3f5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:88 (0x10b401) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:161 (0x10b442) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:126 (0x10b44e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:184 (0x10b47e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:204 (0x10b49e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x10b2e8) Line : semcreate.c:187 (0x10b4b6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x10b4bc) Line : semdelete.c:92 (0x10b519) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x10b4bc) Line : semdelete.c:98 (0x10b55d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_flush (0x114a88) Line : semflush.c:76 (0x114ad9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_flush (0x114a88) Line : semflush.c:76 (0x114ae1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x10b560) Line : semobtain.c:83 (0x10b5b5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x10b560) Line : semobtain.c:90 (0x10b5c5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x10b560) Line : semobtain.c:102 (0x10b607) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x10b560) Line : coresem.inl:92 (0x10b620) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x10b560) Line : coresem.inl:109 (0x10b65a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10b65c) Line : semrelease.c:101 (0x10b6a9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10b65c) Line : semrelease.c:86 (0x10b6c0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10b65c) Line : semrelease.c:92 (0x10b6cf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x117908) Line : signalsend.c:69 (0x117973) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x117908) Line : signalsend.c:70 (0x11797c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x117908) Line : signalsend.c:78 (0x11799e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : taskcreate.c:139 (0x10b74f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : tasks.inl:38 (0x10b75b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : taskcreate.c:227 (0x10b7d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : taskcreate.c:196 (0x10b81a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : taskcreate.c:154 (0x10b839) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10b6fc) Line : taskcreate.c:80 (0x10b855) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x10b85c) Line : taskdelete.c:62 (0x10b869) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x10b85c) Line : taskdelete.c:93 (0x10b8b5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_get_note (0x10d2a8) Line : taskgetnote.c:96 (0x10d304) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_get_note (0x10d2a8) Line : taskgetnote.c:90 (0x10d341) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_get_note (0x10d2a8) Line : taskgetnote.c:67 (0x10d349) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x1119f4) Line : taskmode.c:125 (0x111ad2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x1119f4) Line : taskmode.c:77 (0x111ae6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x1119f4) Line : taskmode.c:103 (0x111af9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x1119f4) Line : taskmode.c:126 (0x111b00) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x1119f4) Line : taskmode.c:120 (0x111b22) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_note (0x10d420) Line : tasksetnote.c:91 (0x10d476) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x10fe6c) Line : tasks.inl:79 (0x10fe87) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x10fe6c) Line : tasksetpriority.c:67 (0x10fe8b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x10fe6c) Line : tasksetpriority.c:79 (0x10febc) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x12d850) Line : taskvariableadd.c:66 (0x12d902) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12d914) Line : taskvariabledelete.c:49 (0x12d957) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12d914) Line : taskvariabledelete.c:48 (0x12d967) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12d914) Line : taskvariabledelete.c:55 (0x12d981) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12d914) Line : taskvariabledelete.c:53 (0x12d99d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x12d9a0) Line : taskvariableget.c:53 (0x12d9d9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x12d9a0) Line : taskvariableget.c:53 (0x12d9e0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_when (0x10c800) Line : taskwakewhen.c:86 (0x10c8bb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x118258) Line : timercancel.c:53 (0x118284) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_create (0x1182a0) Line : timer.inl:38 (0x1182ce) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_after (0x1183bc) Line : timerfireafter.c:78 (0x118485) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_when (0x11849c) Line : timerfirewhen.c:59 (0x1184c8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_when (0x11849c) Line : timerfirewhen.c:81 (0x11856c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_when (0x11849c) Line : timerfirewhen.c:70 (0x118579) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_when (0x11849c) Line : timerfirewhen.c:62 (0x118585) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x11889c) Line : tasks.inl:79 (0x1188fa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x11889c) Line : timerserver.c:491 (0x118918) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x11889c) Line : timerserver.c:563 (0x118a14) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x11889c) Line : timerserver.c:582 (0x118a1c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_reset (0x118614) Line : timerreset.c:56 (0x11868a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_reset (0x118614) Line : timerreset.c:73 (0x1186aa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_after (0x1186ac) Line : timerserverfireafter.c:99 (0x118755) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_after (0x1186ac) Line : timerserverfireafter.c:58 (0x11876d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_after (0x1186ac) Line : timerserverfireafter.c:61 (0x118779) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_after (0x1186ac) Line : timerserverfireafter.c:83 (0x118789) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x118790) Line : timerserverfirewhen.c:61 (0x1187b4) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x118790) Line : timerserverfirewhen.c:86 (0x11885d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x118790) Line : timerserverfirewhen.c:58 (0x118889) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x118790) Line : timerserverfirewhen.c:75 (0x118895) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================