============================================ Symbol : _API_Mutex_Allocate (0x10bda8) Line : apimutexallocate.c:32 (0x10bdc4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Allocate (0x10bda8) Line : apimutexallocate.c:34 (0x10bdd8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Initialization (0x10be24) Line : apimutex.c:23 (0x10be3c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Lock (0x10be00) Line : apimutexlock.c:27 (0x10be18) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Unlock (0x10be48) Line : apimutexunlock.c:24 (0x10be67) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Add (0x10bd90) Line : apiext.c:41 (0x10bd9e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postdriver (0x10bd2c) Line : apiext.c:77 (0x10bd3f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postswitch (0x10bd58) Line : apiext.c:103 (0x10bd6b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10dfc4) Line : corerwlockobtainread.c:57 (0x10dfe9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10dfc4) Line : corerwlockobtainread.c:68 (0x10e076) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10dfc4) Line : corerwlockobtainread.c:72 (0x10e086) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10e118) Line : corerwlockrelease.c:88 (0x10e165) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10e118) Line : corerwlockrelease.c:96 (0x10e16c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10e118) Line : corerwlockrelease.c:81 (0x10e1c3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x10e1c8) Line : corerwlocktimeout.c:44 (0x10e1e2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Release (0x112c34) Line : corebarrierrelease.c:61 (0x112c3e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Wait (0x112c64) Line : corebarrierwait.c:67 (0x112ce3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x11943c) Line : coremsgbroadcast.c:72 (0x11944e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x11943c) Line : coremsgbroadcast.c:96 (0x11945e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Close (0x118030) Line : coremsgclose.c:73 (0x118054) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Flush (0x1194fc) Line : coremsgflush.c:52 (0x119514) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114c40) Line : coremsg.c:86 (0x114c7d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114c40) Line : coremsg.c:76 (0x114c94) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114c40) Line : coremsg.c:86 (0x114ca0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x114c40) Line : coremsg.c:102 (0x114cbe) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x1109e8) Line : coremsginsert.c:108 (0x110a4f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x1109e8) Line : coremsginsert.c:128 (0x110a71) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x1109e8) Line : coremsginsert.c:91 (0x110a91) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x114d00) Line : coremsg.inl:126 (0x114e24) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10bec0) Line : coremsg.inl:113 (0x10bfa7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10bec0) Line : coremsgsubmit.c:133 (0x10bfd4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10bec0) Line : coremsgsubmit.c:84 (0x10bfef) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Initialize (0x10c000) Line : coremutex.c:77 (0x10c05a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c0f8) Line : coremutexseize.c:39 (0x10c110) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c0f8) Line : coremutexseize.c:39 (0x10c158) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10c0f8) Line : coremutexseize.c:39 (0x10c18b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_blocking (0x10c0a8) Line : coremutexseize.c:65 (0x10c0f4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110a94) Line : coremutex.inl:152 (0x110afb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110a94) Line : coremutex.inl:206 (0x110b0f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110a94) Line : coremutex.inl:210 (0x110b5b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110a94) Line : coremutex.inl:182 (0x110b88) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x110a94) Line : coremutex.inl:170 (0x110b95) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:189 (0x10c244) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:189 (0x10c24e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:143 (0x10c268) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:143 (0x10c270) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:125 (0x10c277) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:180 (0x10c281) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10c198) Line : coremutexsurrender.c:199 (0x10c291) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10c2e4) Line : coresemsurrender.c:68 (0x10c30d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10c2e4) Line : coresemsurrender.c:69 (0x10c322) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Release (0x10cc84) Line : corespinlockrelease.c:71 (0x10ccd1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Wait (0x10ccd4) Line : corespinlockwait.c:54 (0x10cd5d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Get (0x10be9c) Line : chain.inl:141 (0x10bebe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x1109a8) Line : chain.c:51 (0x1109c2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x1109a8) Line : chain.c:50 (0x1109c7) 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 (0x110c4c) Line : heapallocate.c:103 (0x110ca0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:200 (0x110ca9) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:120 (0x110d31) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:120 (0x110d3b) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:200 (0x110d92) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:211 (0x110da5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:175 (0x110de2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x110c4c) Line : heapallocate.c:170 (0x110df9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c608) Line : heap.c:351 (0x10c69f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c608) Line : heap.c:297 (0x10c6d3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c608) Line : heap.c:297 (0x10c6db) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10c608) Line : heap.c:336 (0x10c6f4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10c524) Line : heap.inl:108 (0x10c5dc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10c524) Line : heap.c:270 (0x10c605) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x11454c) Line : heapextend.c:76 (0x114590) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x11454c) Line : heapextend.c:92 (0x1145d9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heap.inl:198 (0x110e47) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heap.inl:198 (0x110e4b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:51 (0x110e56) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heap.inl:198 (0x110e8f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heap.inl:198 (0x110e93) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:71 (0x110e99) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:83 (0x110eca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:107 (0x110f43) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:57 (0x110f4c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110e00) Line : heapfree.c:88 (0x110f6b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_free_information (0x12ed18) Line : heapgetfreeinfo.c:40 (0x12ed3d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13db48) Line : heapgetinfo.c:46 (0x13db88) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13db48) Line : heapgetinfo.c:52 (0x13db93) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x13db48) Line : heapgetinfo.c:51 (0x13dbbd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10c3d4) Line : heap.inl:108 (0x10c511) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10c3d4) Line : heap.inl:107 (0x10c51d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Resize_block (0x11efc0) Line : heapresizeblock.c:78 (0x11f0a6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11f0cc) Line : heap.inl:198 (0x11f0ef) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11f0cc) Line : heap.inl:198 (0x11f102) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11f0cc) Line : heap.inl:198 (0x11f106) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11f0cc) Line : heapsizeofuserarea.c:47 (0x11f10c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:327 (0x10d1c2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heap.inl:198 (0x10d260) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:170 (0x10d2ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:176 (0x10d2b8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:187 (0x10d2c4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:200 (0x10d2ce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:211 (0x10d2d6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heap.inl:198 (0x10d2e0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:82 (0x10d2ec) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:95 (0x10d2fd) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:106 (0x10d308) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:106 (0x10d313) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heap.inl:198 (0x10d323) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:335 (0x10d366) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heap.inl:198 (0x10d39a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:362 (0x10d3a6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:351 (0x10d3b8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:276 (0x10d45b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:133 (0x10d46b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:70 (0x10d48a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:301 (0x10d496) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:260 (0x10d4a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heap.inl:52 (0x10d4ab) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:290 (0x10d4b6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:272 (0x10d4c3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:268 (0x10d4cd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:374 (0x10d4dc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:386 (0x10d4f1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:399 (0x10d502) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:233 (0x10d50d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:85 (0x10d518) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:107 (0x10d527) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10d170) Line : heapwalk.c:96 (0x10d532) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk_print (0x10d538) Line : heapwalk.c:48 (0x10d57d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10bbb0) Line : io.c:100 (0x10bbbf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10bbb0) Line : io.c:101 (0x10bbca) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Manager_initialization (0x10bbe0) Line : io.c:81 (0x10bc48) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _ISR_Handler_initialization (0x10c738) Line : isr.c:52 (0x10c788) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c790) Line : objectallocate.c:53 (0x10c79d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c790) Line : objectallocate.c:60 (0x10c7b3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c790) Line : objectallocate.c:69 (0x10c7f4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c790) Line : objectallocate.c:70 (0x10c7fc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10c790) Line : objectallocate.c:73 (0x10c80a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Close (0x10c80c) Line : objectclose.c:27 (0x10c82d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:74 (0x10c869) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:75 (0x10c873) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:75 (0x10c887) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:89 (0x10c8aa) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:187 (0x10c930) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:187 (0x10c946) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:198 (0x10c96f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:235 (0x10c9ff) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:247 (0x10ca10) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:256 (0x10ca34) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:247 (0x10ca41) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:100 (0x10ca89) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:179 (0x10cabd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:69 (0x10cad6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10c834) Line : objectextendinformation.c:149 (0x10cb09) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10cb10) Line : objectfree.c:48 (0x10cb27) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10cb10) Line : objectfree.c:66 (0x10cb7a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10cc40) Line : objectget.c:90 (0x10cc95) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10cc40) Line : objectget.c:92 (0x10cca3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cba0) Line : objectgetinfo.c:36 (0x10cbbc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cba0) Line : objectgetinfo.c:43 (0x10cbd5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cba0) Line : objectgetinfo.c:47 (0x10cbdc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10cba0) Line : objectgetinfo.c:56 (0x10cbe5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information_id (0x10cb80) Line : objectgetinfoid.c:24 (0x10cb96) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_isr_disable (0x10cbe8) Line : objectgetisr.c:75 (0x10cc3c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:52 (0x1187bf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:56 (0x1187d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:86 (0x1187f7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:86 (0x118806) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:92 (0x118830) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:93 (0x118835) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:80 (0x11885f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x118784) Line : objectgetnameasstring.c:86 (0x118863) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x11b314) Line : objectgetnext.c:91 (0x11b352) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x11b314) Line : objectgetnext.c:102 (0x11b381) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x11ac1c) Line : objectgetnoprotection.c:67 (0x11ac41) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x1119a8) Line : objectidtoname.c:64 (0x1119e2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x1119a8) Line : objectidtoname.c:68 (0x1119e8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x1119a8) Line : objectidtoname.c:72 (0x1119fb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cca8) Line : objectinitializeinformation.c:135 (0x10cd72) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cca8) Line : objectinitializeinformation.c:151 (0x10cd7e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10cca8) Line : objectinitializeinformation.c:105 (0x10cd8a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10cdc4) Line : objectnametoid.c:85 (0x10ce11) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10cdc4) Line : objectnametoid.c:75 (0x10ce1f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10d484) Line : objectsetname.c:61 (0x10d4f9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10d484) Line : objectsetname.c:47 (0x10d50f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10ce3c) Line : objectshrinkinformation.c:65 (0x10ce5c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10ce3c) Line : objectshrinkinformation.c:66 (0x10ce66) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10ce3c) Line : objectshrinkinformation.c:97 (0x10ce6a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10ce3c) Line : objectshrinkinformation.c:72 (0x10ce95) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Get (0x10bf80) Line : condget.c:44 (0x10bfb6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Get (0x10bf80) Line : condget.c:45 (0x10bfc4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Get (0x10bf80) Line : condget.c:47 (0x10bfd0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Signal_support (0x10c09c) Line : condsignalsupp.c:44 (0x10c0af) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Signal_support (0x10c09c) Line : condsignalsupp.c:49 (0x10c0d3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10c164) Line : condwaitsupp.c:47 (0x10c17e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10c164) Line : condwaitsupp.c:63 (0x10c1e0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10c164) Line : condwaitsupp.c:101 (0x10c1fc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10c164) Line : condwaitsupp.c:89 (0x10c25d) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10c164) Line : condwaitsupp.c:89 (0x10c263) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x115be0) Line : mqueuecreatesupp.c:80 (0x115ce2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x115be0) Line : mqueuecreatesupp.c:140 (0x115d16) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x115be0) Line : mqueuecreatesupp.c:91 (0x115d2d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x115be0) Line : mqueuecreatesupp.c:116 (0x115d55) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x115be0) Line : mqueuecreatesupp.c:100 (0x115d6f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:90 (0x10fa82) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:90 (0x10fad7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:108 (0x10fade) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:77 (0x10faf5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:114 (0x10fb0e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:114 (0x10fb1d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10fa20) Line : mqueuerecvsupp.c:70 (0x10fb37) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:85 (0x10fbef) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:114 (0x10fbfc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:132 (0x10fc10) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:69 (0x10fc24) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:77 (0x10fc3d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:119 (0x10fc4b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10fb5c) Line : mqueuesendsupp.c:119 (0x10fc5a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get (0x10d078) Line : mutexget.c:69 (0x10d0ae) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get (0x10d078) Line : mutexget.c:69 (0x10d0bc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get (0x10d078) Line : mutexget.c:69 (0x10d0c8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get_interrupt_disable (0x10d024) Line : mutexget.c:83 (0x10d05a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get_interrupt_disable (0x10d024) Line : mutexget.c:83 (0x10d068) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get_interrupt_disable (0x10d024) Line : mutexget.c:83 (0x10d074) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Lock_support (0x10d274) Line : mutexlocksupp.c:47 (0x10d289) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Lock_support (0x10d274) Line : mutexlocksupp.c:58 (0x10d2bc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x113dec) Line : semaphorecreatesupp.c:79 (0x113eb3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x113dec) Line : semaphorecreatesupp.c:54 (0x113ec8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x113dec) Line : semaphorecreatesupp.c:58 (0x113edc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x113dec) Line : semaphorecreatesupp.c:67 (0x113ef3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Wait_support (0x113fb4) Line : semaphorewaitsupp.c:48 (0x113ffe) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x110164) Line : canceleval.c:30 (0x11017b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x110164) Line : canceleval.c:34 (0x1101a7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:30 (0x111204) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:30 (0x11120e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:64 (0x11129a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:69 (0x1112b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:43 (0x1112c4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1111f0) Line : psxtransschedparam.c:48 (0x1112d4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Create_extension (0x110124) Line : pthread.c:204 (0x11024f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x1100a0) Line : pthread.c:257 (0x1100cf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x1100a0) Line : pthread.c:261 (0x110121) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Exitted_extension (0x11007c) Line : pthread.c:282 (0x11009b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:59 (0x10b8a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:59 (0x10b8a5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:73 (0x10b8b0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:74 (0x10b8ba) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:75 (0x10b8c6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:77 (0x10b8d5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10b888) Line : pthreadinitthreads.c:69 (0x10b8e5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x1102a4) Line : pthread.c:91 (0x1102dc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x1102a4) Line : pthread.c:96 (0x110325) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x110260) Line : pthread.c:137 (0x11028b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_cancel_run (0x1123fc) Line : cancelrun.c:39 (0x112454) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10b694) Line : timertsr.c:47 (0x10b6ad) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10b694) Line : timertsr.c:55 (0x10b6ed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10b694) Line : timertsr.c:46 (0x10b702) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Alarm_TSR (0x1123e0) Line : alarm.c:39 (0x1123f6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x112518) Line : psignalchecksignal.c:50 (0x112534) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x112518) Line : psignalchecksignal.c:66 (0x112550) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x112518) Line : psignalchecksignal.c:80 (0x112594) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x11352c) Line : psignalclearprocesssignals.c:56 (0x11355a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x11352c) Line : chain.inl:141 (0x113574) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x11352c) Line : chain.inl:141 (0x113576) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:88 (0x1125f1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:88 (0x1125fb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:60 (0x11260b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:93 (0x11263e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:73 (0x112665) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : chain.inl:445 (0x112693) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1125a4) Line : psignalclearsignals.c:73 (0x1126a4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10bf44) Line : sigtimedwait.c:36 (0x10bf5f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10bf44) Line : sigtimedwait.c:49 (0x10bf6e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10bf44) Line : sigtimedwait.c:48 (0x10bf74) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10fe68) Line : psignal.c:185 (0x10fe8f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10fe68) Line : psignal.c:206 (0x10ff5b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10fe68) Line : psignal.c:206 (0x10ff63) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Post_switch_extension (0x10ff68) Line : psignal.c:147 (0x10ffdb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Ualarm_TSR (0x1104d8) Line : ualarm.c:42 (0x1104e9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:116 (0x1135f0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:117 (0x1135f6) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:121 (0x11361a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:122 (0x11362b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:59 (0x113680) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:67 (0x113694) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:123 (0x1136a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x11359c) Line : psignalunblockthread.c:118 (0x1136b3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_Tasks_Invoke_task_variable_dtor (0x1108c4) Line : taskvariable_invoke_dtor.c:34 (0x110902) 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 (0x1106e8) Line : userext.h:253 (0x110713) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x11072c) Line : tasks.c:188 (0x110740) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x110688) Line : tasks.c:156 (0x1106a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x110688) Line : tasks.c:163 (0x1106c9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x13d5e4) Line : ratemonperiod.c:73 (0x13d665) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x13d5e4) Line : ratemonperiod.c:77 (0x13d678) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13d91c) Line : ratemontimeout.c:55 (0x13d93b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13d91c) Line : ratemontimeout.c:69 (0x13d976) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13d91c) Line : watchdog.inl:131 (0x13d997) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13d91c) Line : ratemontimeout.c:63 (0x13d9b3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13d67c) Line : ratemonperiod.c:176 (0x13d69f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13d67c) Line : ratemonperiod.c:170 (0x13d757) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13d67c) Line : ratemonperiod.c:208 (0x13d768) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11eb00) Line : region.inl:84 (0x11eb2e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11eb00) Line : regionprocessqueue.c:83 (0x11eb53) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11eb00) Line : regionprocessqueue.c:68 (0x11eb66) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x10d8cc) Line : watchdog.inl:166 (0x10d933) 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 (0x10cfcc) Line : threadchangepriority.c:86 (0x10cfe5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10cfcc) Line : threadchangepriority.c:93 (0x10cff7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10cfcc) Line : threadchangepriority.c:104 (0x10d00d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10cfcc) Line : threadchangepriority.c:105 (0x10d02c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10cfcc) Line : threadchangepriority.c:114 (0x10d033) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10cfcc) Line : chain.inl:445 (0x10d106) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10d10c) Line : threadclearstate.c:90 (0x10d19a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10d10c) Line : threadclearstate.c:90 (0x10d19c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : threadclose.c:75 (0x10d1dc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : threadclose.c:81 (0x10d1e6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : threadclose.c:83 (0x10d1ee) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : threadclose.c:106 (0x10d22c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : threadclose.c:85 (0x10d277) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10d1a0) Line : thread.inl:156 (0x10d286) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d288) Line : thread.inl:301 (0x10d293) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d288) Line : threadcreateidle.c:59 (0x10d2e1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10d288) Line : threadcreateidle.c:82 (0x10d310) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d31c) Line : threaddelayended.c:54 (0x10d329) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d31c) Line : threaddelayended.c:55 (0x10d336) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10d31c) Line : threaddelayended.c:62 (0x10d341) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d358) Line : threaddispatch.c:92 (0x10d37b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d358) Line : threaddispatch.c:109 (0x10d39b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d358) Line : threaddispatch.c:114 (0x10d3aa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d358) Line : threaddispatch.c:124 (0x10d3ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10d358) Line : threaddispatch.c:102 (0x10d481) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Enable_dispatch (0x10d4b4) Line : threaddispatch.c:60 (0x10d4d1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x112cfc) Line : threadevaluatemode.c:46 (0x112d09) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x112cfc) Line : threadevaluatemode.c:47 (0x112d17) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10d4d8) Line : threadget.c:91 (0x10d517) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x112d28) Line : threadhandler.c:151 (0x112d9f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x112d28) Line : threadhandler.c:145 (0x112de0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x112d28) Line : threadhandler.c:152 (0x112df9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10d7cc) Line : thread.c:85 (0x10d848) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10d7cc) Line : thread.c:100 (0x10d88c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:198 (0x10d65f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:221 (0x10d68e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:122 (0x10d721) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:123 (0x10d737) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:161 (0x10d76c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:161 (0x10d784) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:98 (0x10d791) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:99 (0x10d7a2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:103 (0x10d7b1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:242 (0x10d7b8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10d550) Line : threadinitialize.c:123 (0x10d7c4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset (0x111ee8) Line : threadreset.c:63 (0x111f73) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset_timeslice (0x1112b0) Line : threadresettimeslice.c:70 (0x111303) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10e7e4) Line : threadrestart.c:51 (0x10e800) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10e7e4) Line : threadrestart.c:59 (0x10e827) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111640) Line : threadresume.c:78 (0x111650) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111640) Line : threadresume.c:92 (0x1116ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x111640) Line : threadresume.c:92 (0x1116cc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dd78) Line : threadsetstate.c:84 (0x10ddd3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dd78) Line : priority.inl:151 (0x10de11) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10dd78) Line : thread.inl:129 (0x10de4d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_transient (0x10de54) Line : priority.inl:151 (0x10dec5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10dec8) Line : threadstackallocate.c:76 (0x10df1f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10dec8) Line : threadstackallocate.c:76 (0x10df27) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x10df2c) Line : threadstackfree.c:61 (0x10df62) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x10dfc4) Line : threadstart.c:63 (0x10e014) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10df68) Line : threadstartmultitasking.c:87 (0x10df9c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10df68) Line : threadstartmultitasking.c:90 (0x10dfb7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x111310) Line : threadsuspend.c:85 (0x11136f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x111310) Line : priority.inl:151 (0x1113ad) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x111310) Line : thread.inl:129 (0x1113e9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10e024) Line : threadtickletimeslice.c:74 (0x10e04e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10e024) Line : threadtickletimeslice.c:91 (0x10e070) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10e024) Line : threadtickletimeslice.c:84 (0x10e08c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10e090) Line : threadyieldprocessor.c:68 (0x10e0cd) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10e090) Line : threadyieldprocessor.c:69 (0x10e0e3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10e090) Line : threadyieldprocessor.c:72 (0x10e0ee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10e090) Line : threadyieldprocessor.c:72 (0x10e0f0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10cf80) Line : thread.inl:104 (0x10cfaa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10cf80) Line : threadblockingoperationcancel.c:72 (0x10cfc8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue (0x10d8a8) Line : threadqdequeue.c:55 (0x10d8d9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue (0x10d8a8) Line : threadqdequeue.c:67 (0x10d8f1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_fifo (0x11101c) Line : threadqdequeuefifo.c:78 (0x111090) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d8f4) Line : thread.inl:104 (0x10d983) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d8f4) Line : thread.inl:104 (0x10d98b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d8f4) Line : threadqdequeuepriority.c:113 (0x10d9a0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d8f4) Line : thread.inl:104 (0x10d9b5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10d8f4) Line : threadqdequeuepriority.c:104 (0x10d9bf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:84 (0x10daab) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:98 (0x10dab6) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:132 (0x10db09) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:147 (0x10db62) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:185 (0x10dbb4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10da5c) Line : threadqenqueuepriority.c:84 (0x10dbc5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d9c4) Line : threadqenqueue.c:70 (0x10d9dd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d9c4) Line : watchdog.inl:131 (0x10da45) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10d9c4) Line : threadqenqueue.c:89 (0x10da58) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract (0x1110d8) Line : threadqextract.c:54 (0x1110fd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_fifo (0x112dfc) Line : threadqextractfifo.c:68 (0x112e60) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x111108) Line : threadqextractpriority.c:97 (0x1111a5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x111108) Line : threadqextractpriority.c:114 (0x1111c2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10dbf8) Line : threadqflush.c:54 (0x10dc03) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10dbf8) Line : threadqflush.c:54 (0x10dc0f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Process_timeout (0x1111c4) Line : threadqprocesstimeout.c:54 (0x1111ec) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10dc74) Line : threadqrequeue.c:53 (0x10dc85) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10dc74) Line : threadqrequeue.c:60 (0x10dc8b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10dc74) Line : threadqrequeue.c:66 (0x10dca2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10dc74) Line : threadqrequeue.c:69 (0x10dcca) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10dc74) Line : threadqrequeue.c:69 (0x10dcd2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10dcd4) Line : threadqtimeout.c:48 (0x10dce1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10dcd4) Line : threadqtimeout.c:49 (0x10dcee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10dcd4) Line : threadqtimeout.c:56 (0x10dcf4) 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:119 (0x118b66) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:120 (0x118b7a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:118 (0x118b8c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x118ac4) Line : timerserver.c:345 (0x118b9d) Size in Bytes : 5 Reason : ALWAYS 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: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 : _User_extensions_Fatal (0x10e2a8) Line : userextthreadbegin.c:72 (0x10e2c6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10e16c) Line : userext.c:44 (0x10e1d5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10e16c) Line : userext.c:55 (0x10e1ed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10e16c) Line : userext.h:263 (0x10e20d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_begin (0x10e230) Line : userextthreadbegin.c:34 (0x10e244) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create (0x10e2f8) Line : userextthreadcreate.c:35 (0x10e30c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_delete (0x10e340) Line : userextthreaddelete.c:34 (0x10e354) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_exitted (0x10e26c) Line : userextthreadbegin.c:52 (0x10e280) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_restart (0x10eee4) Line : userextthreadrestart.c:34 (0x10eef8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_start (0x10e380) Line : userextthreadstart.c:34 (0x10e394) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_switch (0x10e3c0) Line : userextthreadswitch.c:35 (0x10e3db) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:63 (0x10fdff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:64 (0x10fe06) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:63 (0x10fe0e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:73 (0x10fe24) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:58 (0x10fe41) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:61 (0x10fe46) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10fdd8) Line : watchdogadjust.c:66 (0x10fe4d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x11c7b0) Line : watchdogadjusttochain.c:43 (0x11c83e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x11c7b0) Line : watchdogadjusttochain.c:57 (0x11c846) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e400) Line : watchdoginsert.c:83 (0x10e44d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e400) Line : watchdoginsert.c:117 (0x10e4be) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10e400) Line : watchdoginsert.c:107 (0x10e4d2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e538) Line : watchdogremove.c:41 (0x10e55f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e538) Line : chain.inl:343 (0x10e594) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10e538) Line : watchdogremove.c:52 (0x10e59f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report (0x10f9cc) Line : watchdogreport.c:30 (0x10fa27) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f95c) Line : watchdogreportchain.c:43 (0x10f98e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f95c) Line : watchdogreportchain.c:37 (0x10f99a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10f95c) Line : watchdogreportchain.c:47 (0x10f9c9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10e5a4) Line : watchdogtickle.c:89 (0x10e5fe) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10e5a4) Line : watchdogtickle.c:93 (0x10e60d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x10e670) Line : wkspace.c:41 (0x10e6b0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x10b3f8) Line : adjtime.c:84 (0x10b4ab) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x10b3f8) Line : adjtime.c:90 (0x10b4b8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x10b3f8) Line : adjtime.c:100 (0x10b4e6) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x10b3f8) Line : adjtime.c:57 (0x10b510) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : alarm (0x112338) Line : watchdog.inl:47 (0x1123ba) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : alarm (0x112338) Line : alarm.c:69 (0x1123dd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_getres (0x10b780) Line : clockgetres.c:61 (0x10b7d0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x10b310) Line : clockgettime.c:44 (0x10b328) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x12cd78) Line : clocksettime.c:36 (0x12cd86) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getitimer (0x10b0f0) Line : getitimer.c:27 (0x10b137) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:140 (0x113346) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:140 (0x11335f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:323 (0x113379) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:334 (0x11338d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:268 (0x113446) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:292 (0x11348e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:347 (0x1134c8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:325 (0x1134d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:112 (0x1134e3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:78 (0x1134f8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:87 (0x11350d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x11329c) Line : killinfo.c:342 (0x113525) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_close (0x10f634) Line : mqueueclose.c:66 (0x10f662) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_close (0x10f634) Line : mqueueclose.c:84 (0x10f6a0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_getattr (0x10f6f4) Line : mqueuegetattr.c:87 (0x10f754) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_getattr (0x10f6f4) Line : mqueuegetattr.c:58 (0x10f766) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_notify (0x10f768) Line : coremsg.inl:252 (0x10f7f9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_notify (0x10f768) Line : mqueuenotify.c:87 (0x10f811) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10f84c) Line : mqueueopen.c:67 (0x10f942) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10f84c) Line : mqueueopen.c:154 (0x10f9db) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10f84c) Line : mqueueopen.c:142 (0x10f9fb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_receive (0x10fa00) Line : mqueuereceive.c:56 (0x10fa16) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_send (0x10fb3c) Line : mqueuesend.c:56 (0x10fb52) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_setattr (0x10fc60) Line : mqueuesetattr.c:89 (0x10fcd0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_setattr (0x10fc60) Line : mqueuesetattr.c:58 (0x10fce2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedreceive (0x10fce4) Line : mqueuetimedreceive.c:76 (0x10fcf1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedreceive (0x10fce4) Line : mqueuetimedreceive.c:80 (0x10fd11) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedsend (0x10fd18) Line : mqueuetimedsend.c:76 (0x10fd25) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedsend (0x10fd18) Line : mqueuetimedsend.c:80 (0x10fd45) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_unlink (0x10fd5c) Line : mqueueunlink.c:71 (0x10fda4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_unlink (0x10fd5c) Line : mqueueunlink.c:61 (0x10fdc9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x129000) Line : nanosleep.c:39 (0x12900f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x129000) Line : nanosleep.c:48 (0x129023) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x129000) Line : nanosleep.c:48 (0x12902e) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x129000) Line : nanosleep.c:49 (0x129110) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x129000) Line : nanosleep.c:103 (0x129125) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10b814) Line : pbarrierinit.c:76 (0x10b845) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10b814) Line : pbarrierinit.c:99 (0x10b8ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10b814) Line : pbarrierinit.c:66 (0x10b8d3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10b814) Line : pbarrierinit.c:66 (0x10b8db) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x10b1fc) Line : cleanuppush.c:53 (0x10b225) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_destroy (0x10bf08) Line : conddestroy.c:40 (0x10bf16) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_destroy (0x10bf08) Line : conddestroy.c:57 (0x10bf7d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10bfd4) Line : condinit.c:48 (0x10bfea) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10bfd4) Line : condinit.c:41 (0x10c071) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10bfd4) Line : condinit.c:60 (0x10c082) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_signal (0x10c088) Line : condsignal.c:36 (0x10c093) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_timedwait (0x10c10c) Line : condtimedwait.c:54 (0x10c119) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_timedwait (0x10c10c) Line : condtimedwait.c:67 (0x10c13f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_wait (0x10c14c) Line : condwait.c:37 (0x10c15c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x10be6c) Line : condattrdestroy.c:37 (0x10be7a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:110 (0x10b5f2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:62 (0x10b609) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:116 (0x10b63d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:116 (0x10b647) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:124 (0x10b665) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:180 (0x10b70f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:59 (0x10b719) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:239 (0x10b79e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : pthreadcreate.c:156 (0x10b7b9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10b584) Line : watchdog.inl:131 (0x10b7f2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_exit (0x112710) Line : pthreadexit.c:66 (0x11271f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_join (0x110260) Line : pthreadjoin.c:48 (0x1102fa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x10b400) Line : keycreate.c:93 (0x10b4a8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x10b400) Line : keycreate.c:87 (0x10b4fa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1136b8) Line : pthreadkill.c:69 (0x113753) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1136b8) Line : pthreadkill.c:41 (0x113768) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1136b8) Line : pthreadkill.c:81 (0x11377c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_destroy (0x10cfac) Line : mutexdestroy.c:38 (0x10cfb9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_getprioceiling (0x10d0cc) Line : mutexgetprioceiling.c:45 (0x10d0e4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:128 (0x10d17f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:187 (0x10d219) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:120 (0x10d233) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:44 (0x10d23d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:102 (0x10d246) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:111 (0x10d24f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10d118) Line : mutexinit.c:157 (0x10d25e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_lock (0x10d260) Line : mutexlock.c:40 (0x10d26d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10d2d8) Line : mutexsetprioceiling.c:44 (0x10d2f2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10d2d8) Line : mutexsetprioceiling.c:53 (0x10d318) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10d2d8) Line : mutexsetprioceiling.c:63 (0x10d324) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x10d36c) Line : mutextimedlock.c:63 (0x10d37d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x10d36c) Line : mutextimedlock.c:67 (0x10d391) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x10d36c) Line : mutextimedlock.c:67 (0x10d3a7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_trylock (0x10d3c4) Line : mutextrylock.c:40 (0x10d3d1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_unlock (0x10d3d8) Line : mutexunlock.c:44 (0x10d3e6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_unlock (0x10d3d8) Line : mutexunlock.c:54 (0x10d40e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x10b0a0) Line : mutexattrgettype.c:38 (0x10b0b5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x10cf84) Line : mutexattrsetpshared.c:39 (0x10cf9a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x10b0f0) Line : mutexattrsettype.c:32 (0x10b101) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x10bc04) Line : pthreadonce.c:36 (0x10bc48) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x10bc04) Line : pthreadonce.c:39 (0x10bc87) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_destroy (0x10c0dc) Line : prwlockdestroy.c:70 (0x10c15d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10c160) Line : prwlockinit.c:68 (0x10c17e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10c160) Line : prwlockinit.c:71 (0x10c185) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10c160) Line : prwlockinit.c:93 (0x10c1fe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10c160) Line : prwlockinit.c:61 (0x10c207) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10c160) Line : prwlockinit.c:61 (0x10c20f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_rdlock (0x10c214) Line : prwlockrdlock.c:61 (0x10c26f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10c27c) Line : prwlocktimedrdlock.c:97 (0x10c2f9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10c27c) Line : prwlocktimedrdlock.c:85 (0x10c316) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10c27c) Line : prwlocktimedrdlock.c:85 (0x10c31b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10c27c) Line : prwlocktimedrdlock.c:85 (0x10c31f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10c27c) Line : prwlocktimedrdlock.c:85 (0x10c32c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10c330) Line : prwlocktimedwrlock.c:96 (0x10c3ad) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10c330) Line : prwlocktimedwrlock.c:85 (0x10c3ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10c330) Line : prwlocktimedwrlock.c:85 (0x10c3cf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10c330) Line : prwlocktimedwrlock.c:85 (0x10c3d3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10c330) Line : prwlocktimedwrlock.c:85 (0x10c3e0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_tryrdlock (0x10c3f4) Line : prwlocktryrdlock.c:62 (0x10c44f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_trywrlock (0x10c45c) Line : prwlocktrywrlock.c:61 (0x10c4b7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_unlock (0x10c4c4) Line : prwlockunlock.c:54 (0x10c50e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_wrlock (0x10c51c) Line : prwlockwrlock.c:61 (0x10c577) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x10cb64) Line : rwlockattrsetpshared.c:35 (0x10cb7a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10dbd0) Line : pthreadsetschedparam.c:73 (0x10dc66) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10dbd0) Line : pthreadsetschedparam.c:73 (0x10dcc8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10dbd0) Line : pthreadsetschedparam.c:92 (0x10dcfc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10dbd0) Line : pthreadsetschedparam.c:66 (0x10dd17) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x111548) Line : pthreadsigmask.c:54 (0x1115d6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x111548) Line : pthreadsigmask.c:51 (0x1115f8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x111548) Line : pthreadsigmask.c:40 (0x11160c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_init (0x10b624) Line : pspininit.c:65 (0x10b6ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_lock (0x10b6b0) Line : pspinlock.c:54 (0x10b6fc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_trylock (0x10b71c) Line : pspintrylock.c:54 (0x10b768) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_unlock (0x10b778) Line : pspinunlock.c:54 (0x10b7c2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10b9d8) Line : testcancel.c:44 (0x10b9e5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10b9d8) Line : testcancel.c:50 (0x10ba07) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x11272c) Line : barriercreate.c:66 (0x1127e7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x11272c) Line : barriercreate.c:57 (0x112811) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_wait (0x1128e0) Line : barrierwait.c:48 (0x112901) 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 (0x110768) Line : extensioncreate.c:50 (0x110802) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_create (0x110768) Line : extensioncreate.c:38 (0x110809) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_delete (0x11080c) Line : extension.inl:32 (0x110851) 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_data_structures (0x10bac8) Line : exinit.c:150 (0x10bb5e) 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 (0x10d390) Line : ioregisterdriver.c:47 (0x10d3f0) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d390) Line : ioregisterdriver.c:47 (0x10d3fe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d390) Line : ioregisterdriver.c:114 (0x10d449) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d390) Line : ioregisterdriver.c:96 (0x10d4be) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10d390) Line : ioregisterdriver.c:107 (0x10d4c9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10dd70) Line : iterateoverthreads.c:32 (0x10dd7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10dd70) Line : iterateoverthreads.c:46 (0x10ddb0) 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 (0x10b7bc) Line : rtemsobjectgetapiclassname.c:82 (0x10b7fd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_api_class_name (0x10b7bc) Line : rtemsobjectgetapiclassname.c:80 (0x10b805) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_class_information (0x10cd38) Line : rtemsobjectgetclassinfo.c:51 (0x10cd77) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_class_information (0x10cd38) Line : rtemsobjectgetclassinfo.c:40 (0x10cdb6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_set_name (0x10b844) Line : rtemsobjectsetname.c:42 (0x10b898) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_set_name (0x10b844) Line : rtemsobjectsetname.c:39 (0x10b8bd) 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 (0x13d4b0) Line : ratemongetstatus.c:86 (0x13d52e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x13d4b0) Line : ratemongetstatus.c:98 (0x13d552) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x13d4b0) Line : ratemongetstatus.c:91 (0x13d56a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:283 (0x13d7e2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:291 (0x13d7ed) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:305 (0x13d834) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:352 (0x13d843) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:361 (0x13d877) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:265 (0x13d882) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:279 (0x13d891) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:312 (0x13d89f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:344 (0x13d8f0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:265 (0x13d8ff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13d76c) Line : ratemonperiod.c:341 (0x13d917) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics (0x12ddb8) Line : ratemonreportstatistics.c:206 (0x12ddc5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:52 (0x12dbe5) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:98 (0x12dc2d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:177 (0x12dc32) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:112 (0x12dc6a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:98 (0x12dca5) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12dbd4) Line : ratemonreportstatistics.c:178 (0x12ddb2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x12ddd0) Line : ratemonresetall.c:46 (0x12ddee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x12ddd0) Line : ratemonresetall.c:49 (0x12ddf4) 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 (0x115500) Line : semflush.c:76 (0x115551) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_flush (0x115500) Line : semflush.c:76 (0x115559) 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 : 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 (0x112944) Line : taskmode.c:125 (0x112a22) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x112944) Line : taskmode.c:77 (0x112a36) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x112944) Line : taskmode.c:103 (0x112a49) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x112944) Line : taskmode.c:126 (0x112a50) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x112944) Line : taskmode.c:120 (0x112a72) 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 (0x12e344) Line : taskvariableadd.c:66 (0x12e3f6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12e408) Line : taskvariabledelete.c:49 (0x12e44b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12e408) Line : taskvariabledelete.c:48 (0x12e45b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12e408) Line : taskvariabledelete.c:55 (0x12e475) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12e408) Line : taskvariabledelete.c:53 (0x12e491) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x12e494) Line : taskvariableget.c:53 (0x12e4cd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x12e494) Line : taskvariableget.c:53 (0x12e4d4) 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 (0x10bd4c) Line : timer.inl:38 (0x10bd7a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_after (0x10be00) Line : timerfireafter.c:78 (0x10bec9) 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 ============================================ ============================================ Symbol : sched_rr_get_interval (0x10bcf0) Line : sched_rr_get_interval.c:36 (0x10bcfd) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10bcf0) Line : sched_rr_get_interval.c:37 (0x10bd39) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10bcf0) Line : sched_rr_get_interval.c:40 (0x10bd4b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_init (0x10e2dc) Line : seminit.c:45 (0x10e320) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10e324) Line : semopen.c:85 (0x10e36a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10e324) Line : semopen.c:65 (0x10e3d6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10e324) Line : semopen.c:125 (0x10e3fd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10e324) Line : semopen.c:97 (0x10e415) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_timedwait (0x10e46c) Line : semtimedwait.c:61 (0x10e488) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_unlink (0x10e4c8) Line : semunlink.c:53 (0x10e535) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : setitimer (0x10b1b0) Line : setitimer.c:31 (0x10b1fb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10bbdc) Line : sigaction.c:66 (0x10bc18) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10bbdc) Line : sigaction.c:75 (0x10bc75) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10bbdc) Line : sigaction.c:59 (0x10bc88) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : signal (0x10b9f4) Line : signal_2.c:32 (0x10ba08) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : signal (0x10b9f4) Line : signal_2.c:50 (0x10ba1f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigprocmask (0x10bd30) Line : sigprocmask.c:34 (0x10bd37) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:37 (0x10d75d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:39 (0x10d768) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:41 (0x10d775) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:43 (0x10d784) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:49 (0x10d78d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10d74c) Line : sigsuspend.c:50 (0x10d7a7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:95 (0x10bfcc) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:103 (0x10bfd4) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:136 (0x10c08c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:103 (0x10c0d5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:118 (0x10c0e0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10bf88) Line : sigtimedwait.c:96 (0x10c12c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10d9b4) Line : sigwait.c:35 (0x10d9c5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10d9b4) Line : sigwait.c:38 (0x10d9d4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwaitinfo (0x10d99c) Line : sigwaitinfo.c:32 (0x10d9aa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10b3a0) Line : timercreate.c:50 (0x10b3c7) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10b3a0) Line : timercreate.c:56 (0x10b3d2) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10b3a0) Line : timercreate.c:59 (0x10b3dc) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10b3a0) Line : timercreate.c:71 (0x10b4bc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_gettime (0x10c7c8) Line : timergettime.c:76 (0x10c84c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10b4c0) Line : timersettime.c:42 (0x10b4d1) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10b4c0) Line : timersettime.c:48 (0x10b4eb) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10b4c0) Line : timersettime.c:67 (0x10b60b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10b4c0) Line : timersettime.c:134 (0x10b687) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10b4c0) Line : timersettime.c:134 (0x10b68f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x1103a4) Line : ualarm.c:72 (0x1103d4) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x1103a4) Line : watchdog.inl:47 (0x110476) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x1103a4) Line : ualarm.c:85 (0x1104d3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================