============================================ Symbol : _API_Mutex_Allocate (0x10a6c0) Line : apimutexallocate.c:32 (0x10a6dc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Allocate (0x10a6c0) Line : apimutexallocate.c:34 (0x10a6f0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Initialization (0x10a73c) Line : apimutex.c:23 (0x10a754) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Lock (0x10a718) Line : apimutexlock.c:27 (0x10a730) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_Mutex_Unlock (0x10a760) Line : apimutexunlock.c:24 (0x10a77f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Add (0x10a6a8) Line : apiext.c:41 (0x10a6b6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postdriver (0x10a65b) Line : apiext.c:77 (0x10a668) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _API_extensions_Run_postswitch (0x10a67b) Line : apiext.c:103 (0x10a688) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10c798) Line : corerwlockobtainread.c:57 (0x10c7c3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10c798) Line : corerwlockobtainread.c:61 (0x10c7d1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10c798) Line : corerwlockobtainread.c:68 (0x10c7ed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10c798) Line : corerwlockobtainread.c:72 (0x10c7fb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10c798) Line : corerwlockobtainread.c:86 (0x10c80a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_writing (0x10c850) Line : corerwlockobtainwrite.c:63 (0x10c885) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_writing (0x10c850) Line : corerwlockobtainwrite.c:76 (0x10c896) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10c8d4) Line : corerwlockrelease.c:55 (0x10c8f7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10c8d4) Line : corerwlockrelease.c:62 (0x10c909) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10c8d4) Line : corerwlockrelease.c:81 (0x10c938) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10c8d4) Line : corerwlockrelease.c:96 (0x10c958) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10c8d4) Line : corerwlockrelease.c:100 (0x10c969) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x10c974) Line : corerwlocktimeout.c:44 (0x10c98d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Release (0x110a44) Line : corebarrierrelease.c:61 (0x110a4e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_barrier_Wait (0x110a74) Line : corebarrierwait.c:67 (0x110ac8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x116dc0) Line : coremsgbroadcast.c:72 (0x116dd7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x116dc0) Line : coremsgbroadcast.c:86 (0x116def) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Close (0x1145fc) Line : coremsgclose.c:73 (0x11461f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Flush (0x116e6c) Line : coremsgflush.c:52 (0x116e83) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x112204) Line : coremsg.c:76 (0x112240) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x112204) Line : coremsg.c:86 (0x11224c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x112204) Line : coremsg.c:102 (0x112268) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x112204) Line : coremsg.c:119 (0x11229f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x10ebf8) Line : coremsginsert.c:85 (0x10ec29) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x10ebf8) Line : coremsginsert.c:91 (0x10ec4c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Insert_message (0x10ebf8) Line : coremsginsert.c:101 (0x10ec54) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x1122ac) Line : coremsgseize.c:76 (0x1122ff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x1122ac) Line : coremsg.inl:126 (0x11234b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10a7d8) Line : coremsgsubmit.c:97 (0x10a833) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10a7d8) Line : coremsg.inl:113 (0x10a847) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x10a7d8) Line : coremsgsubmit.c:128 (0x10a871) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Initialize (0x10a8dc) Line : coremutex.c:77 (0x10a93b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10a9c5) Line : coremutexseize.c:39 (0x10a9dd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10a9c5) Line : coremutexseize.c:39 (0x10aa21) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10a9c5) Line : coremutexseize.c:39 (0x10aa4d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_blocking (0x10a978) Line : coremutexseize.c:65 (0x10a99f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:156 (0x10ece3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:170 (0x10ecf0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:182 (0x10ed1c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:190 (0x10ed39) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:203 (0x10ed4c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:206 (0x10ed54) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x10ec90) Line : coremutex.inl:210 (0x10ed62) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10aa5c) Line : coremutexsurrender.c:143 (0x10aad5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10aa5c) Line : coremutexsurrender.c:170 (0x10ab0a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10aa5c) Line : coremutexsurrender.c:179 (0x10ab0f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10aa5c) Line : coremutexsurrender.c:189 (0x10ab21) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Surrender (0x10aa5c) Line : coremutexsurrender.c:189 (0x10ab2b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Seize (0x1127f0) Line : coresemseize.c:64 (0x112825) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Seize (0x1127f0) Line : coresemseize.c:74 (0x112836) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10ab88) Line : coresemsurrender.c:68 (0x10abae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Release (0x10b4f0) Line : corespinlockrelease.c:52 (0x10b508) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Release (0x10b4f0) Line : corespinlockrelease.c:60 (0x10b51f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Wait (0x10b540) Line : corespinlockwait.c:54 (0x10b56c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Wait (0x10b540) Line : corespinlockwait.c:62 (0x10b593) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Wait (0x10b540) Line : corespinlockwait.c:71 (0x10b5a7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_spinlock_Wait (0x10b540) Line : corespinlockwait.c:112 (0x10b5c4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Get (0x10a7b4) Line : chain.inl:141 (0x10a7c9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Chain_Initialize (0x10ebc0) Line : chain.c:51 (0x10ebda) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x1099b8) Line : eventseize.c:73 (0x1099fb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x1099b8) Line : eventseize.c:77 (0x109a0a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x1099b8) Line : eventseize.c:86 (0x109a21) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x1099b8) Line : eventseize.c:122 (0x109aa0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:71 (0x109b35) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:78 (0x109b55) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:78 (0x109b5e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:82 (0x109b68) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:89 (0x109b8b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:95 (0x109b91) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : eventsurrender.c:96 (0x109b9b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : thread.inl:104 (0x109bbf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x109b0c) Line : thread.inl:104 (0x109be6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x109bf4) Line : eventtimeout.c:51 (0x109c0d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Extension_Manager_initialization (0x10a4c4) Line : extension.c:38 (0x10a4df) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:103 (0x10ee89) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heap.inl:144 (0x10eeab) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:116 (0x10eef3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:200 (0x10ef43) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:175 (0x10ef54) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:211 (0x10ef64) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x10ee28) Line : heapallocate.c:228 (0x10ef79) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10ae78) Line : heap.c:297 (0x10aed2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10ae78) Line : heap.c:297 (0x10aed7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10ae78) Line : heap.c:336 (0x10af0a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x10ae78) Line : heap.c:351 (0x10af34) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10ada3) Line : heap.c:270 (0x10ae43) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_split (0x10ada3) Line : heap.c:284 (0x10ae6a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x1121d4) Line : heapextend.c:76 (0x11221a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x1121d4) Line : heapextend.c:92 (0x112248) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heap.inl:198 (0x10efd1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:46 (0x10efe3) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:51 (0x10eff2) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heap.inl:198 (0x10f028) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:64 (0x10f03a) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:71 (0x10f044) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:79 (0x10f068) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:88 (0x10f07e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:95 (0x10f0a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x10ef88) Line : heapfree.c:116 (0x10f0e9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_free_information (0x12887c) Line : heapgetfreeinfo.c:40 (0x12889d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Get_information (0x135618) Line : heapgetinfo.c:46 (0x135656) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10ac64) Line : heap.c:145 (0x10ac79) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x10ac64) Line : heap.c:225 (0x10ad8f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Resize_block (0x11cc78) Line : heapresizeblock.c:78 (0x11cd3a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Resize_block (0x11cc78) Line : heapresizeblock.c:85 (0x11cd59) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11cd68) Line : heap.inl:198 (0x11cda0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11cd68) Line : heapsizeofuserarea.c:47 (0x11cdac) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11cd68) Line : heapsizeofuserarea.c:47 (0x11cdb2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11cd68) Line : heapsizeofuserarea.c:56 (0x11cdc0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:170 (0x10b9da) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:176 (0x10b9ea) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:187 (0x10ba02) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:200 (0x10ba18) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:211 (0x10ba29) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:221 (0x10ba41) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:233 (0x10ba5c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heap.inl:47 (0x10ba6d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:72 (0x10ba88) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:85 (0x10ba9f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:96 (0x10bab7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:107 (0x10bace) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:70 (0x10bae0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:343 (0x10bafe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heap.inl:198 (0x10bb21) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:362 (0x10bb3e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:374 (0x10bb58) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:386 (0x10bb6e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:407 (0x10bb8e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:276 (0x10bc26) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:290 (0x10bc45) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heap.inl:47 (0x10bc4a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10b965) Line : heapwalk.c:301 (0x10bc60) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk_print (0x10bc77) Line : heapwalk.c:48 (0x10bc8e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10a500) Line : io.c:100 (0x10a509) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Initialize_all_drivers (0x10a500) Line : io.c:101 (0x10a511) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Manager_initialization (0x10a527) Line : io.c:81 (0x10a576) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Manager_initialization (0x10a527) Line : io.c:62 (0x10a586) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10afec) Line : objectallocate.c:53 (0x10affa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10afec) Line : objectallocate.c:60 (0x10b003) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10afec) Line : objectallocate.c:69 (0x10b01b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10afec) Line : objectallocate.c:70 (0x10b023) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Close (0x10b058) Line : objectclose.c:27 (0x10b079) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:69 (0x10b0a6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:74 (0x10b0c6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:89 (0x10b0ed) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:100 (0x10b116) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:149 (0x10b173) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:179 (0x10b1c0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:198 (0x10b1f7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:235 (0x10b278) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:256 (0x10b283) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:256 (0x10b2a2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b080) Line : objectextendinformation.c:247 (0x10b2ae) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10b2d8) Line : objectfree.c:48 (0x10b2ef) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free (0x10b2d8) Line : objectfree.c:66 (0x10b33a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10b400) Line : objectget.c:83 (0x10b43b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10b400) Line : objectget.c:90 (0x10b43d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x10b400) Line : objectget.c:92 (0x10b448) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10b368) Line : objectgetinfo.c:36 (0x10b37b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10b368) Line : objectgetinfo.c:43 (0x10b394) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10b368) Line : objectgetinfo.c:47 (0x10b39b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information_id (0x10b348) Line : objectgetinfoid.c:24 (0x10b35e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_isr_disable (0x10b3b0) Line : objectgetisr.c:71 (0x10b3e6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_isr_disable (0x10b3b0) Line : objectgetisr.c:75 (0x10b3f0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:44 (0x114ccd) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:47 (0x114cd5) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:52 (0x114cee) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:53 (0x114cfa) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:56 (0x114d0a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:57 (0x114d19) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:85 (0x114d2a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:86 (0x114d5c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:92 (0x114d86) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x114cbc) Line : objectgetnameasstring.c:93 (0x114d8b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x1173c8) Line : objectgetnext.c:101 (0x117403) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x1173c8) Line : objectgetnext.c:91 (0x11740c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_next (0x1173c8) Line : objectgetnext.c:98 (0x11741f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x118354) Line : objectgetnoprotection.c:67 (0x118379) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x118354) Line : objectgetnoprotection.c:69 (0x118381) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : object.inl:131 (0x10ea6d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:64 (0x10ea79) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:68 (0x10ea7f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:72 (0x10ea88) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:77 (0x10ea9c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:78 (0x10eaa3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10ea48) Line : objectidtoname.c:58 (0x10eab7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x10b458) Line : objectinitializeinformation.c:151 (0x10b537) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_string (0x114a2c) Line : objectnametoidstring.c:73 (0x114a5d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_string (0x114a2c) Line : objectnametoidstring.c:83 (0x114a94) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10b578) Line : objectnametoid.c:75 (0x10b5ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10b578) Line : objectnametoid.c:92 (0x10b5c6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_id_u32 (0x10b578) Line : objectnametoid.c:85 (0x10b5c9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10bbc8) Line : objectsetname.c:47 (0x10bc0b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10bbc8) Line : objectsetname.c:57 (0x10bc48) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10bbc8) Line : objectsetname.c:61 (0x10bc9d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10b5e4) Line : objectshrinkinformation.c:65 (0x10b607) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10b5e4) Line : objectshrinkinformation.c:86 (0x10b64d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x10b5e4) Line : objectshrinkinformation.c:97 (0x10b67b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_API_Initialize (0x10a5a8) Line : posixapi.c:77 (0x10a5bd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Get (0x10a9a8) Line : condget.c:44 (0x10a9c1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Get (0x10a9a8) Line : condget.c:47 (0x10a9d5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Signal_support (0x10aaa4) Line : condsignalsupp.c:44 (0x10aab9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:47 (0x10ab6e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:53 (0x10ab8d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:59 (0x10abb1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:63 (0x10abb7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:89 (0x10ac0e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:89 (0x10ac10) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10ab54) Line : condwaitsupp.c:101 (0x10ac20) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Run_destructors (0x110394) Line : keyrundestructors.c:57 (0x1103c8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x113764) Line : mqueuecreatesupp.c:80 (0x11379e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x113764) Line : mqueuecreatesupp.c:91 (0x1137bc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x113764) Line : mqueuecreatesupp.c:100 (0x1137fa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x113764) Line : mqueuecreatesupp.c:116 (0x11384d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Create_support (0x113764) Line : mqueuecreatesupp.c:140 (0x1138a4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Name_to_id (0x1138cc) Line : mqueuenametoid.c:63 (0x113923) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10def4) Line : mqueuerecvsupp.c:69 (0x10df38) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10def4) Line : mqueuerecvsupp.c:77 (0x10df58) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10def4) Line : mqueuerecvsupp.c:90 (0x10df61) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10def4) Line : mqueuerecvsupp.c:112 (0x10dfb4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10def4) Line : mqueuerecvsupp.c:114 (0x10dfd5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10e010) Line : mqueuesendsupp.c:69 (0x10e032) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10e010) Line : mqueuesendsupp.c:76 (0x10e066) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10e010) Line : mqueuesendsupp.c:119 (0x10e0c0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Send_support (0x10e010) Line : mqueuesendsupp.c:119 (0x10e0cd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get (0x10baa1) Line : mutexget.c:69 (0x10baba) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get (0x10baa1) Line : mutexget.c:69 (0x10bace) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get_interrupt_disable (0x10ba58) Line : mutexget.c:83 (0x10ba71) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Get_interrupt_disable (0x10ba58) Line : mutexget.c:83 (0x10ba85) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Lock_support (0x10bc60) Line : mutexlocksupp.c:47 (0x10bc75) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Mutex_Lock_support (0x10bc60) Line : mutexlocksupp.c:58 (0x10bcae) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x111e7c) Line : semaphorecreatesupp.c:54 (0x111e95) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x111e7c) Line : semaphorecreatesupp.c:58 (0x111ec0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x111e7c) Line : semaphorecreatesupp.c:67 (0x111ef6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x111e7c) Line : semaphorecreatesupp.c:75 (0x111f12) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Name_to_id (0x111fb0) Line : semaphorenametoid.c:59 (0x111fe7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Wait_support (0x112018) Line : semaphorewaitsupp.c:48 (0x11204c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Wait_support (0x112018) Line : semaphorewaitsupp.c:59 (0x112086) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x10e39c) Line : canceleval.c:30 (0x10e3b2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:30 (0x10f380) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:30 (0x10f38a) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:37 (0x10f3a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:42 (0x10f3b6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:48 (0x10f3c5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:64 (0x10f40a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x10f36c) Line : psxtransschedparam.c:68 (0x10f425) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Create_extension (0x10e3de) Line : pthread.c:166 (0x10e3f2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Create_extension (0x10e3de) Line : pthread.c:204 (0x10e4b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x10e367) Line : pthread.c:257 (0x10e390) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Exitted_extension (0x10e344) Line : pthread.c:282 (0x10e360) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:59 (0x10a29b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:59 (0x10a29f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:73 (0x10a2ad) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:74 (0x10a2b7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:75 (0x10a2c3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:77 (0x10a2d2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a284) Line : pthreadinitthreads.c:69 (0x10a2ef) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x10e54b) Line : pthread.c:91 (0x10e582) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x10e50b) Line : pthread.c:137 (0x10e535) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_cancel_run (0x110338) Line : cancelrun.c:43 (0x11035a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_Insert_helper (0x10f118) Line : timerinserthelper.c:46 (0x10f139) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10a03c) Line : timertsr.c:47 (0x10a053) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10a03c) Line : timertsr.c:55 (0x10a072) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10a03c) Line : timertsr.c:46 (0x10a087) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Alarm_TSR (0x11031c) Line : alarm.c:39 (0x110332) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x110450) Line : psignalchecksignal.c:50 (0x11046c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x110450) Line : psignalchecksignal.c:66 (0x110484) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x110450) Line : psignalchecksignal.c:80 (0x1104a8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x110450) Line : psignalchecksignal.c:96 (0x1104be) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x111234) Line : chain.inl:141 (0x111256) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x111234) Line : psignalclearprocesssignals.c:56 (0x11126d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1104cc) Line : chain.inl:141 (0x110537) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1104cc) Line : psignalclearsignals.c:88 (0x110582) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1104cc) Line : psignalclearsignals.c:88 (0x11058c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_signals (0x1104cc) Line : psignalclearsignals.c:93 (0x1105a8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10a8dc) Line : sigtimedwait.c:36 (0x10a8f7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10a8dc) Line : sigtimedwait.c:48 (0x10a915) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10e140) Line : psignal.c:185 (0x10e167) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10e140) Line : psignal.c:206 (0x10e1b9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Manager_Initialization (0x10e140) Line : psignal.c:206 (0x10e1c1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Post_switch_extension (0x10e239) Line : psignal.c:147 (0x10e2b4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Ualarm_TSR (0x10e726) Line : ualarm.c:42 (0x10e736) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:67 (0x111307) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:72 (0x111320) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:116 (0x111344) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:117 (0x11134a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : thread.inl:104 (0x11136d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:121 (0x111371) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1112a0) Line : psignalunblockthread.c:122 (0x111382) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Allocate_aligned_with_boundary (0x10b690) Line : pheapallocate.c:36 (0x10b69c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Allocate_aligned_with_boundary (0x10b690) Line : pheapallocate.c:37 (0x10b6ad) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Allocate_aligned_with_boundary (0x10b690) Line : pheapallocate.c:43 (0x10b6be) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Free (0x10b6c8) Line : pheapfree.c:34 (0x10b6d4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Free (0x10b6c8) Line : pheapfree.c:35 (0x10b6e1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Free (0x10b6c8) Line : pheapfree.c:36 (0x10b6f0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Protected_heap_Get_information (0x128a24) Line : pheapgetinfo.c:42 (0x128a5f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_Tasks_Invoke_task_variable_dtor (0x10eaf8) Line : taskvariable_invoke_dtor.c:34 (0x10eb18) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Create_extension (0x10ea1d) Line : tasks.c:63 (0x10ea37) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Delete_extension (0x10e9cd) Line : tasks.c:123 (0x10e9e5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10a2a0) Line : taskinitusers.c:73 (0x10a2c0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10a2a0) Line : taskinitusers.c:73 (0x10a2d3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10a2a0) Line : taskinitusers.c:84 (0x10a2e9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x10a2a0) Line : taskinitusers.c:90 (0x10a2fe) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Manager_initialization (0x10e929) Line : userext.h:253 (0x10e954) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x10e96a) Line : tasks.c:188 (0x10e97e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x10e8d4) Line : tasks.c:156 (0x10e8e0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x10e8d4) Line : tasks.c:163 (0x10e8fe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x135488) Line : ratemontimeout.c:55 (0x1354a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x135488) Line : ratemontimeout.c:63 (0x1354ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x135488) Line : ratemontimeout.c:69 (0x1354dd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x135488) Line : watchdog.inl:131 (0x1354fb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x13522e) Line : ratemonperiod.c:176 (0x13524f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11bc6c) Line : regionprocessqueue.c:68 (0x11bc9a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11bc6c) Line : regionprocessqueue.c:83 (0x11bcca) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Region_Process_queue (0x11bc6c) Line : regionprocessqueue.c:84 (0x11bcd6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x10bfcc) Line : watchdog.inl:166 (0x10bff2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Tickle_ticks (0x10abf4) Line : coretodtickle.c:54 (0x10ac37) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_To_seconds (0x10a978) Line : clocktodtoseconds.c:66 (0x10a998) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10a9e0) Line : clocktodvalidate.c:59 (0x10a9ef) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10a9e0) Line : clocktodvalidate.c:59 (0x10aa16) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10a9e0) Line : clocktodvalidate.c:59 (0x10aa2c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10a9e0) Line : clocktodvalidate.c:71 (0x10aa3a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10a9e0) Line : clocktodvalidate.c:50 (0x10aa48) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : threadchangepriority.c:86 (0x10b76d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : threadchangepriority.c:93 (0x10b77e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : threadchangepriority.c:104 (0x10b794) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : threadchangepriority.c:108 (0x10b7bb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : threadchangepriority.c:114 (0x10b7c3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10b754) Line : chain.inl:421 (0x10b806) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10b874) Line : threadclearstate.c:90 (0x10b8f0) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10b900) Line : threadclose.c:75 (0x10b93c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10b900) Line : threadclose.c:81 (0x10b946) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10b900) Line : threadclose.c:83 (0x10b94e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x10b900) Line : threadclose.c:106 (0x10b9a5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10b9e0) Line : thread.inl:301 (0x10b9eb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10b9e0) Line : threadcreateidle.c:59 (0x10ba39) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x10b9e0) Line : threadcreateidle.c:82 (0x10ba68) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10ba74) Line : threaddelayended.c:54 (0x10ba81) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10ba74) Line : threaddelayended.c:55 (0x10ba8d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10ba74) Line : threaddelayended.c:62 (0x10ba97) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10baac) Line : threaddispatch.c:92 (0x10bac1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10baac) Line : threaddispatch.c:109 (0x10bb0d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10baac) Line : threaddispatch.c:114 (0x10bb1c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10baac) Line : threaddispatch.c:124 (0x10bb3c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10baac) Line : threaddispatch.c:129 (0x10bb52) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Enable_dispatch (0x10bbf1) Line : threaddispatch.c:60 (0x10bc0c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x110b0c) Line : threadevaluatemode.c:46 (0x110b18) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x110b0c) Line : threadevaluatemode.c:47 (0x110b26) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x110b0c) Line : threadevaluatemode.c:49 (0x110b31) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10bc14) Line : threadget.c:64 (0x10bc3d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10bc14) Line : object.inl:131 (0x10bc4f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10bc14) Line : threadget.c:88 (0x10bc6b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10bc14) Line : threadget.c:91 (0x10bc71) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x10bc14) Line : threadget.c:74 (0x10bc86) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x110b38) Line : threadhandler.c:103 (0x110b50) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x110b38) Line : threadhandler.c:146 (0x110bbe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x110b38) Line : threadhandler.c:151 (0x110bc1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10beb0) Line : thread.c:66 (0x10bee1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10beb0) Line : thread.c:85 (0x10bf2f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x10beb0) Line : thread.c:100 (0x10bf71) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:98 (0x10bcd6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:99 (0x10bce7) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:99 (0x10bceb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:103 (0x10bcfd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:122 (0x10bd1f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:161 (0x10bd95) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:198 (0x10be00) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:221 (0x10be2f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10bc88) Line : threadinitialize.c:241 (0x10be9e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Reset_timeslice (0x10f418) Line : threadresettimeslice.c:62 (0x10f434) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10cd74) Line : threadrestart.c:51 (0x10cd8a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0x10cd74) Line : threadrestart.c:59 (0x10cdb1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x10f5f4) Line : threadresume.c:78 (0x10f604) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x10f5f4) Line : threadresume.c:92 (0x10f66d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10c3dc) Line : threadsetstate.c:65 (0x10c3fe) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x10c3dc) Line : priority.inl:151 (0x10c446) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_transient (0x10c4ac) Line : priority.inl:151 (0x10c50c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10c520) Line : threadstackallocate.c:61 (0x10c544) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Allocate (0x10c520) Line : threadstackallocate.c:76 (0x10c54d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x10c570) Line : threadstackfree.c:61 (0x10c59c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x10c5fc) Line : threadstart.c:61 (0x10c63e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x10c5fc) Line : threadstart.c:63 (0x10c646) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10c5a4) Line : threadstartmultitasking.c:87 (0x10c5d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_multitasking (0x10c5a4) Line : threadstartmultitasking.c:90 (0x10c5f1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x10f470) Line : threadsuspend.c:66 (0x10f490) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Suspend (0x10f470) Line : priority.inl:151 (0x10f4dc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10c658) Line : threadtickletimeslice.c:74 (0x10c681) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10c658) Line : threadtickletimeslice.c:74 (0x10c683) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10c658) Line : threadtickletimeslice.c:84 (0x10c69d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10c6bc) Line : threadyieldprocessor.c:68 (0x10c6f9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10c6bc) Line : threadyieldprocessor.c:69 (0x10c702) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10c6bc) Line : threadyieldprocessor.c:72 (0x10c70a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10b708) Line : threadblockingoperationcancel.c:72 (0x10b73a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_blocking_operation_Cancel (0x10b708) Line : thread.inl:104 (0x10b74c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_fifo (0x10f1a0) Line : thread.inl:104 (0x10f1ce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_fifo (0x10f1a0) Line : thread.inl:104 (0x10f1f5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10bfc8) Line : chain.inl:141 (0x10c000) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10bfc8) Line : threadqdequeuepriority.c:74 (0x10c011) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10bfc8) Line : threadqdequeuepriority.c:100 (0x10c03b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10bfc8) Line : thread.inl:104 (0x10c04e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Dequeue_priority (0x10bfc8) Line : thread.inl:104 (0x10c06f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_fifo (0x10f204) Line : threadqenqueuefifo.c:66 (0x10f236) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:84 (0x10c15f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:98 (0x10c173) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:124 (0x10c1b6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:132 (0x10c1ce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:147 (0x10c1eb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:172 (0x10c222) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c110) Line : threadqenqueuepriority.c:184 (0x10c239) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10c084) Line : threadqenqueue.c:70 (0x10c09d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_with_handler (0x10c084) Line : watchdog.inl:131 (0x10c0d1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract (0x10f244) Line : threadqextract.c:54 (0x10f25b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_fifo (0x110bf0) Line : threadqextractfifo.c:64 (0x110c26) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x10f274) Line : threadqextractpriority.c:65 (0x10f298) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x10f274) Line : threadqextractpriority.c:93 (0x10f2d4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x10f274) Line : threadqextractpriority.c:105 (0x10f2e5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract_priority_helper (0x10f274) Line : threadqextractpriority.c:110 (0x10f2f1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_First_priority (0x10df40) Line : threadqfirstpriority.c:52 (0x10df58) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10c274) Line : threadqflush.c:54 (0x10c27f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush (0x10c274) Line : threadqflush.c:54 (0x10c288) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Initialize (0x10c29c) Line : threadq.c:58 (0x10c2d7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Process_timeout (0x10f32c) Line : threadqprocesstimeout.c:50 (0x10f359) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Process_timeout (0x10f32c) Line : threadqprocesstimeout.c:54 (0x10f367) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10c2ec) Line : threadqrequeue.c:53 (0x10c2fd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10c2ec) Line : threadqrequeue.c:60 (0x10c303) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10c2ec) Line : threadqrequeue.c:66 (0x10c30f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10c2ec) Line : threadqrequeue.c:69 (0x10c32b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10c340) Line : threadqtimeout.c:48 (0x10c34d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10c340) Line : threadqtimeout.c:49 (0x10c359) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10c340) Line : threadqtimeout.c:56 (0x10c35f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:278 (0x116602) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:295 (0x116623) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:118 (0x116640) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:119 (0x116645) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:120 (0x116656) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:339 (0x116661) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:373 (0x116674) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:387 (0x116692) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:402 (0x1166ab) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:391 (0x1166af) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:411 (0x1166d0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:412 (0x1166d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x116570) Line : timerserver.c:83 (0x1166fa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Reset_interval_system_watchdog (0x1164e4) Line : watchdog.inl:131 (0x11651f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Reset_tod_system_watchdog (0x11652a) Line : watchdog.inl:150 (0x116565) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:177 (0x116781) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:177 (0x116786) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:179 (0x11678b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:195 (0x1167bb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:196 (0x1167c2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:215 (0x1167ee) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1166ff) Line : timerserver.c:237 (0x11680f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Add_to (0x10c71c) Line : timespecaddto.c:44 (0x10c732) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Divide (0x10de3c) Line : timespecdivide.c:46 (0x10de8a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Greater_than (0x1357a4) Line : timespecgreaterthan.c:34 (0x1357ba) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Is_valid (0x124f68) Line : timespecisvalid.c:26 (0x124f86) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0x1357c8) Line : timespeclessthan.c:34 (0x1357de) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Subtract (0x10c74c) Line : timespecsubtract.c:35 (0x10c76e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Fatal (0x10c893) Line : userextthreadbegin.c:72 (0x10c8a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10c780) Line : userext.c:44 (0x10c7e1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10c780) Line : userext.c:49 (0x10c7f5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x10c780) Line : userext.h:263 (0x10c80d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_begin (0x10c830) Line : userextthreadbegin.c:34 (0x10c83e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create (0x10c8d0) Line : userextthreadcreate.c:35 (0x10c8de) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_delete (0x10c90c) Line : userextthreaddelete.c:34 (0x10c91a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_exitted (0x10c861) Line : userextthreadbegin.c:52 (0x10c86f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_restart (0x10d3c8) Line : userextthreadrestart.c:34 (0x10d3d6) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_start (0x10c944) Line : userextthreadstart.c:34 (0x10c952) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_switch (0x10c97c) Line : userextthreadswitch.c:35 (0x10c991) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e1a8) Line : watchdogadjust.c:58 (0x10e1cb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e1a8) Line : watchdogadjust.c:61 (0x10e1d0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e1a8) Line : watchdogadjust.c:66 (0x10e1e0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e1a8) Line : watchdogadjust.c:73 (0x10e1f2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e1a8) Line : watchdogadjust.c:63 (0x10e208) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x119ca8) Line : chain.inl:141 (0x119ccf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x119ca8) Line : watchdogadjusttochain.c:57 (0x119cea) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust_to_chain (0x119ca8) Line : watchdogadjusttochain.c:76 (0x119d21) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10c9b0) Line : watchdoginsert.c:53 (0x10c9cd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10c9b0) Line : watchdoginsert.c:85 (0x10ca06) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10c9b0) Line : watchdoginsert.c:107 (0x10ca21) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x10c9b0) Line : watchdoginsert.c:109 (0x10ca28) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10cac8) Line : watchdogremove.c:41 (0x10cae0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10cac8) Line : watchdogremove.c:41 (0x10cae2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10cac8) Line : watchdogremove.c:52 (0x10caeb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10dd2c) Line : watchdogreportchain.c:43 (0x10dd5d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10dd2c) Line : watchdogreportchain.c:37 (0x10dd69) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10dd2c) Line : watchdogreportchain.c:45 (0x10dd73) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10cb30) Line : watchdogtickle.c:89 (0x10cb5e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x10cb30) Line : watchdogtickle.c:125 (0x10cb89) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x109e4c) Line : adjtime.c:57 (0x109e75) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x109e4c) Line : adjtime.c:84 (0x109ec8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x109e4c) Line : adjtime.c:84 (0x109ed9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x109e4c) Line : adjtime.c:100 (0x109f06) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : alarm (0x110278) Line : watchdog.inl:47 (0x1102b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_getres (0x10a218) Line : clockgetres.c:56 (0x10a24b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x109d58) Line : clockgettime.c:40 (0x109d76) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x109d58) Line : clockgettime.c:44 (0x109d7b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x109d58) Line : clockgettime.c:53 (0x109d90) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x109d58) Line : clockgettime.c:59 (0x109da2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x126c2c) Line : clocksettime.c:36 (0x126c3a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x126c2c) Line : clocksettime.c:58 (0x126c67) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x126c2c) Line : clocksettime.c:53 (0x126c7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getitimer (0x109b78) Line : getitimer.c:27 (0x109b8f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getitimer (0x109b78) Line : getitimer.c:33 (0x109ba2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:77 (0x111017) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:78 (0x11102c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:84 (0x111040) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:92 (0x111059) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:101 (0x11107f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:112 (0x1110a0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:140 (0x1110d3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:207 (0x111138) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:268 (0x11116e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:281 (0x11118b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:323 (0x1111b9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111008) Line : killinfo.c:334 (0x1111c9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_close (0x10db78) Line : mqueueclose.c:66 (0x10dba5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_close (0x10db78) Line : mqueueclose.c:77 (0x10dbce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_getattr (0x10dc2c) Line : mqueuegetattr.c:58 (0x10dc45) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_getattr (0x10dc2c) Line : mqueuegetattr.c:78 (0x10dc83) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_notify (0x10dc98) Line : mqueuenotify.c:87 (0x10dcda) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_notify (0x10dc98) Line : coremsg.inl:252 (0x10dd00) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_notify (0x10dc98) Line : mqueuenotify.c:106 (0x10dd1a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:64 (0x10dd92) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:74 (0x10ddc3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:94 (0x10de0a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:104 (0x10de3d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:121 (0x10de7d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_open (0x10dd68) Line : mqueueopen.c:141 (0x10dea8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_receive (0x10ded4) Line : mqueuereceive.c:56 (0x10deea) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_send (0x10dff0) Line : mqueuesend.c:56 (0x10e006) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_setattr (0x10e0e8) Line : mqueuesetattr.c:58 (0x10e105) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_setattr (0x10e0e8) Line : mqueuesetattr.c:80 (0x10e14c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedreceive (0x10e164) Line : mqueuetimedreceive.c:76 (0x10e171) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedsend (0x10e198) Line : mqueuetimedsend.c:76 (0x10e1a5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_timedsend (0x10e198) Line : mqueuetimedsend.c:80 (0x10e1c5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_unlink (0x10e1dc) Line : mqueueunlink.c:61 (0x10e212) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mq_unlink (0x10e1dc) Line : mqueueunlink.c:71 (0x10e234) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:39 (0x124e6f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:48 (0x124e7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:48 (0x124e84) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:49 (0x124e91) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:65 (0x124ed2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x124e60) Line : nanosleep.c:103 (0x124f5d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_destroy (0x10e170) Line : pthreadattrdestroy.c:31 (0x10e187) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getcputime (0x10e6bc) Line : pthreadgetcputime.c:30 (0x10e6d9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getdetachstate (0x10e190) Line : pthreadattrgetdetachstate.c:30 (0x10e1ad) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getinheritsched (0x10e1b8) Line : pthreadattrgetinheritsched.c:30 (0x10e1d5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getschedparam (0x10e1e0) Line : pthreadattrgetschedparam.c:30 (0x10e206) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getschedpolicy (0x10e214) Line : pthreadattrgetschedpolicy.c:30 (0x10e231) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getscope (0x10e23c) Line : pthreadattrgetscope.c:30 (0x10e259) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getstackaddr (0x10e264) Line : pthreadattrgetstackaddr.c:30 (0x10e281) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_getstacksize (0x10e28c) Line : pthreadattrgetstacksize.c:30 (0x10e2a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setcputime (0x10eb54) Line : pthreadsetcputime.c:33 (0x10eb70) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setdetachstate (0x10e2dc) Line : pthreadattrsetdetachstate.c:33 (0x10e2f8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setinheritsched (0x10f45c) Line : pthreadattrsetinheritsched.c:36 (0x10f481) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedparam (0x10e334) Line : pthreadattrsetschedparam.c:30 (0x10e358) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x10e364) Line : pthreadattrsetschedpolicy.c:38 (0x10e385) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setscope (0x10e390) Line : pthreadattrsetscope.c:32 (0x10e3ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setscope (0x10e390) Line : pthreadattrsetscope.c:35 (0x10e3b9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setstackaddr (0x10e3c4) Line : pthreadattrsetstackaddr.c:30 (0x10e3db) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setstacksize (0x10f48c) Line : pthreadattrsetstacksize.c:33 (0x10f4ad) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setstacksize (0x10f48c) Line : pthreadattrsetstacksize.c:35 (0x10f4b4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_destroy (0x10a234) Line : pbarrierdestroy.c:55 (0x10a26e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_destroy (0x10a234) Line : pbarrierdestroy.c:63 (0x10a294) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10a2a0) Line : pbarrierinit.c:66 (0x10a2cd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10a2a0) Line : pbarrierinit.c:76 (0x10a2de) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10a2a0) Line : pbarrierinit.c:99 (0x10a315) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10a2a0) Line : pbarrierinit.c:115 (0x10a348) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_wait (0x10a358) Line : pbarrierwait.c:60 (0x10a3af) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrierattr_destroy (0x10a1a8) Line : barrierattrdestroy.c:40 (0x10a1bf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrierattr_getpshared (0x10a1c8) Line : barrierattrgetpshared.c:36 (0x10a1e1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrierattr_setpshared (0x10a20c) Line : barrierattrsetpshared.c:39 (0x10a228) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_pop (0x1098f8) Line : cleanuppop.c:60 (0x109932) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x109c60) Line : cleanuppush.c:53 (0x109c89) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_broadcast (0x10a928) Line : condbroadcast.c:36 (0x10a933) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_destroy (0x10a93c) Line : conddestroy.c:40 (0x10a94a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_destroy (0x10a93c) Line : conddestroy.c:47 (0x10a97c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10a9f0) Line : condinit.c:48 (0x10aa07) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10a9f0) Line : condinit.c:60 (0x10aa39) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10a9f0) Line : condinit.c:85 (0x10aa7f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_signal (0x10aa90) Line : condsignal.c:36 (0x10aa9b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_timedwait (0x10ab00) Line : condtimedwait.c:54 (0x10ab0d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_timedwait (0x10ab00) Line : condtimedwait.c:67 (0x10ab32) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_wait (0x10ab3c) Line : condwait.c:37 (0x10ab4c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x10a8a4) Line : condattrdestroy.c:37 (0x10a8b1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x10a8a4) Line : condattrdestroy.c:41 (0x10a8bb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_setpshared (0x10a908) Line : condattrsetpshared.c:45 (0x10a91f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:90 (0x10a023) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:94 (0x10a03c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:116 (0x10a068) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:116 (0x10a072) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:124 (0x10a091) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:130 (0x10a09e) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:155 (0x10a0ca) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:179 (0x10a131) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x109fcc) Line : pthreadcreate.c:239 (0x10a1dc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_exit (0x11061c) Line : pthreadexit.c:66 (0x11062b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_getschedparam (0x10c120) Line : pthreadgetschedparam.c:36 (0x10c13c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_join (0x10e7d0) Line : pthreadjoin.c:43 (0x10e812) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_join (0x10e7d0) Line : pthreadjoin.c:48 (0x10e828) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x109e4c) Line : keycreate.c:48 (0x109e7d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x109e4c) Line : keycreate.c:80 (0x109ec3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x109e4c) Line : keycreate.c:87 (0x109ef4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_key_create (0x109e4c) Line : keycreate.c:91 (0x109f00) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x111398) Line : pthreadkill.c:41 (0x1113bb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x111398) Line : pthreadkill.c:72 (0x11142b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_destroy (0x10b9e8) Line : mutexdestroy.c:38 (0x10b9f6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_destroy (0x10b9e8) Line : mutexdestroy.c:49 (0x10ba1b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_getprioceiling (0x10bae8) Line : mutexgetprioceiling.c:45 (0x10baff) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_getprioceiling (0x10bae8) Line : mutexgetprioceiling.c:53 (0x10bb20) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10bb2c) Line : mutexinit.c:111 (0x10bb82) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10bb2c) Line : mutexinit.c:111 (0x10bb8c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10bb2c) Line : mutexinit.c:128 (0x10bb99) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10bb2c) Line : mutexinit.c:157 (0x10bbde) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x10bb2c) Line : mutexinit.c:187 (0x10bc3b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_lock (0x10bc4c) Line : mutexlock.c:40 (0x10bc59) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10bcbc) Line : mutexsetprioceiling.c:44 (0x10bcd6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10bcbc) Line : mutexsetprioceiling.c:53 (0x10bcee) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10bcbc) Line : mutexsetprioceiling.c:63 (0x10bcfa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_setprioceiling (0x10bcbc) Line : mutexsetprioceiling.c:81 (0x10bd36) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x10bd48) Line : mutextimedlock.c:63 (0x10bd55) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x10bd48) Line : mutextimedlock.c:67 (0x10bd6d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_trylock (0x10bd84) Line : mutextrylock.c:40 (0x10bd91) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_unlock (0x10bd98) Line : mutexunlock.c:44 (0x10bda6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_unlock (0x10bd98) Line : mutexunlock.c:54 (0x10bdd4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_destroy (0x10b8a0) Line : mutexattrdestroy.c:39 (0x10b8b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_getprioceiling (0x10b8c0) Line : mutexattrgetprioceiling.c:40 (0x10b8dd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_getprotocol (0x10b8e8) Line : mutexattrgetprotocol.c:40 (0x10b905) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_getpshared (0x10b910) Line : mutexattrgetpshared.c:40 (0x10b92d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x109b28) Line : mutexattrgettype.c:38 (0x109b3c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x109b28) Line : mutexattrgettype.c:42 (0x109b45) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setprioceiling (0x10b960) Line : mutexattrsetprioceiling.c:39 (0x10b978) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setprioceiling (0x10b960) Line : mutexattrsetprioceiling.c:43 (0x10b989) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setprotocol (0x10b998) Line : mutexattrsetprotocol.c:44 (0x10b9b4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x10b9c0) Line : mutexattrsetpshared.c:39 (0x10b9d5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x10b9c0) Line : mutexattrsetpshared.c:43 (0x10b9dc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x109b78) Line : mutexattrsettype.c:32 (0x109b88) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x109b78) Line : mutexattrsettype.c:41 (0x109b94) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x10a5dc) Line : pthreadonce.c:30 (0x10a5f7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x10a5dc) Line : pthreadonce.c:36 (0x10a61c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_destroy (0x10ab64) Line : prwlockdestroy.c:58 (0x10abab) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_destroy (0x10ab64) Line : prwlockdestroy.c:70 (0x10abd1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10abe0) Line : prwlockinit.c:68 (0x10ac0c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10abe0) Line : prwlockinit.c:71 (0x10ac12) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10abe0) Line : prwlockinit.c:93 (0x10ac3f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10abe0) Line : prwlockinit.c:107 (0x10ac72) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_rdlock (0x10ac80) Line : prwlockrdlock.c:61 (0x10accf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_rdlock (0x10ac80) Line : prwlockrdlock.c:61 (0x10acd7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10ace4) Line : prwlocktimedrdlock.c:85 (0x10ad5f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10ace4) Line : prwlocktimedrdlock.c:85 (0x10ad69) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10ace4) Line : prwlocktimedrdlock.c:97 (0x10ad76) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10ace4) Line : prwlocktimedrdlock.c:97 (0x10ad7e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10ad8c) Line : prwlocktimedwrlock.c:85 (0x10ae07) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10ad8c) Line : prwlocktimedwrlock.c:85 (0x10ae11) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10ad8c) Line : prwlocktimedwrlock.c:96 (0x10ae1e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10ad8c) Line : prwlocktimedwrlock.c:96 (0x10ae26) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_tryrdlock (0x10ae44) Line : prwlocktryrdlock.c:62 (0x10ae93) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_tryrdlock (0x10ae44) Line : prwlocktryrdlock.c:62 (0x10ae9b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_trywrlock (0x10aea8) Line : prwlocktrywrlock.c:61 (0x10aef7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_trywrlock (0x10aea8) Line : prwlocktrywrlock.c:61 (0x10aeff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_unlock (0x10af0c) Line : prwlockunlock.c:54 (0x10af4a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_unlock (0x10af0c) Line : prwlockunlock.c:54 (0x10af52) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_wrlock (0x10af60) Line : prwlockwrlock.c:61 (0x10afaf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_wrlock (0x10af60) Line : prwlockwrlock.c:61 (0x10afb7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_destroy (0x10b4c8) Line : rwlockattrdestroy.c:40 (0x10b4df) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_getpshared (0x10b4e8) Line : rwlockattrgetpshared.c:36 (0x10b501) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x10b52c) Line : rwlockattrsetpshared.c:35 (0x10b541) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x10b52c) Line : rwlockattrsetpshared.c:39 (0x10b548) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setcancelstate (0x109b38) Line : setcancelstate.c:65 (0x109b96) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setcanceltype (0x109ba4) Line : setcanceltype.c:64 (0x109c02) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10c4fc) Line : pthreadsetschedparam.c:60 (0x10c55a) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10c4fc) Line : pthreadsetschedparam.c:73 (0x10c5a9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10c4fc) Line : pthreadsetschedparam.c:73 (0x10c5b5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10c4fc) Line : pthreadsetschedparam.c:73 (0x10c5b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10c4fc) Line : pthreadsetschedparam.c:82 (0x10c5db) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x10f630) Line : pthreadsigmask.c:48 (0x10f67e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x10f630) Line : pthreadsigmask.c:51 (0x10f688) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x10f630) Line : pthreadsigmask.c:54 (0x10f694) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x10f630) Line : pthreadsigmask.c:57 (0x10f69e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_sigmask (0x10f630) Line : pthreadsigmask.c:59 (0x10f6ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_destroy (0x10a038) Line : pspindestroy.c:55 (0x10a073) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_destroy (0x10a038) Line : pspindestroy.c:63 (0x10a099) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_init (0x10a0a8) Line : pspininit.c:65 (0x10a0e8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_init (0x10a0a8) Line : pspininit.c:75 (0x10a11b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_lock (0x10a12c) Line : pspinlock.c:54 (0x10a16c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_lock (0x10a12c) Line : pspinlock.c:54 (0x10a174) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_trylock (0x10a190) Line : pspintrylock.c:54 (0x10a1d0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_trylock (0x10a190) Line : pspintrylock.c:54 (0x10a1d8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_unlock (0x10a1e4) Line : pspinunlock.c:54 (0x10a222) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_spin_unlock (0x10a1e4) Line : pspinunlock.c:54 (0x10a22a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10a3ac) Line : testcancel.c:44 (0x10a3ba) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10a3ac) Line : testcancel.c:50 (0x10a3dd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x110638) Line : barriercreate.c:62 (0x110679) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_barrier_create (0x110638) Line : barriercreate.c:75 (0x1106ae) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:52 (0x10eb84) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:55 (0x10eb94) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:60 (0x10eb9e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:60 (0x10eba3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:67 (0x10ebaa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:68 (0x10ebb3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get (0x10eb64) Line : clockget.c:72 (0x10ebc5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x10a8cc) Line : clockset.c:50 (0x10a8e3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x10a8cc) Line : clockset.c:51 (0x10a8fa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_receive (0x109960) Line : eventreceive.c:62 (0x10998a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_receive (0x109960) Line : eventreceive.c:66 (0x10999f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_send (0x109ac0) Line : eventsend.c:58 (0x109af7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_extension_create (0x10d9c4) Line : extensioncreate.c:50 (0x10da0e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fatal_error_occurred (0x10a4ec) Line : fatal.c:37 (0x10a4f9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:107 (0x10a42d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:109 (0x10a432) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:120 (0x10a44b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:127 (0x10a45f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:128 (0x10a46b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:132 (0x10a493) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:143 (0x10a49d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:145 (0x10a4a2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:147 (0x10a4a7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_data_structures (0x10a418) Line : exinit.c:150 (0x10a4ac) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_device_drivers (0x10a407) Line : exinit.c:196 (0x10a40d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_initialize_device_drivers (0x10a407) Line : exinit.c:212 (0x10a413) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:35 (0x10ba70) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:42 (0x10ba8f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:35 (0x10baa4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:57 (0x10bab0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:104 (0x10badc) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:114 (0x10bb0d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:86 (0x10bb2c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:47 (0x10bb32) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_register_driver (0x10ba20) Line : ioregisterdriver.c:96 (0x10bb41) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10c420) Line : iterateoverthreads.c:32 (0x10c42d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10c420) Line : iterateoverthreads.c:40 (0x10c44b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10c420) Line : iterateoverthreads.c:46 (0x10c455) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_broadcast (0x113e58) Line : msgqbroadcast.c:77 (0x113ea0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_broadcast (0x113e58) Line : msgqbroadcast.c:92 (0x113eb3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_broadcast (0x113e58) Line : msgqbroadcast.c:91 (0x113ebb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_create (0x111228) Line : msgqcreate.c:108 (0x11128d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_create (0x111228) Line : msgqcreate.c:128 (0x1112aa) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_create (0x111228) Line : msgqcreate.c:142 (0x1112d0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_delete (0x1140fc) Line : msgqdelete.c:66 (0x11413c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_flush (0x114000) Line : msgqflush.c:70 (0x11403c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_receive (0x11131c) Line : msgqreceive.c:83 (0x11136c) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_receive (0x11131c) Line : msgqreceive.c:92 (0x111384) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_receive (0x11131c) Line : msgqreceive.c:92 (0x11138c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_send (0x109c80) Line : coremsg.inl:46 (0x109ccb) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_send (0x109c80) Line : msgqsend.c:93 (0x109cde) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_message_queue_urgent (0x1141c0) Line : msgqurgent.c:92 (0x11421e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_get_class_information (0x10b684) Line : rtemsobjectgetclassinfo.c:51 (0x10b6d1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_object_set_name (0x10a20c) Line : rtemsobjectsetname.c:54 (0x10a26a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x114230) Line : partcreate.c:66 (0x11425d) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x114230) Line : partcreate.c:88 (0x1142c4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x114230) Line : partcreate.c:128 (0x114312) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x114230) Line : partcreate.c:128 (0x114319) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_delete (0x114328) Line : partdelete.c:76 (0x11437a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_get_buffer (0x11438c) Line : partgetbuffer.c:65 (0x1143e4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0x11441c) Line : partreturnbuffer.c:63 (0x114499) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_create (0x11399c) Line : dpmemcreate.c:72 (0x1139ed) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_create (0x11399c) Line : dpmemcreate.c:87 (0x113a1a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_external_to_internal (0x113a80) Line : dpmemexternal2internal.c:64 (0x113ac5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_port_internal_to_external (0x113b00) Line : dpmeminternal2external.c:65 (0x113b45) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_cancel (0x11449c) Line : ratemoncancel.c:53 (0x1144d9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_create (0x10aaa4) Line : ratemoncreate.c:62 (0x10aaf4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x135084) Line : ratemongetstatus.c:74 (0x1350eb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x135084) Line : ratemongetstatus.c:86 (0x1350f7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_status (0x135084) Line : ratemongetstatus.c:91 (0x13510d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:261 (0x13534b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:265 (0x13535a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:279 (0x135368) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:283 (0x135385) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:291 (0x135393) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:304 (0x1353d4) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:312 (0x1353dd) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:344 (0x13543b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:352 (0x135441) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x135309) Line : ratemonperiod.c:361 (0x135474) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12794c) Line : ratemonreportstatistics.c:52 (0x12795d) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12794c) Line : ratemonreportstatistics.c:102 (0x1279b4) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12794c) Line : ratemonreportstatistics.c:98 (0x127a88) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x127ab0) Line : ratemonresetall.c:46 (0x127ac8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_reset_all_statistics (0x127ab0) Line : ratemonresetall.c:49 (0x127ace) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x114b8c) Line : regioncreate.c:74 (0x114bd1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x114b8c) Line : region.inl:51 (0x114c1a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x114b8c) Line : regioncreate.c:119 (0x114c76) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_create (0x114b8c) Line : regioncreate.c:120 (0x114c81) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_delete (0x114c90) Line : regiondelete.c:53 (0x114c9e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_delete (0x114c90) Line : regiondelete.c:80 (0x114cf7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_extend (0x114d08) Line : regionextend.c:76 (0x114d72) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x114e94) Line : regiongetsegment.c:70 (0x114ec8) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x114e94) Line : regiongetsegment.c:89 (0x114f21) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x114e94) Line : regiongetsegment.c:100 (0x114f42) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x114e94) Line : regiongetsegment.c:113 (0x114f7f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment (0x114e94) Line : regiongetsegment.c:129 (0x114f8d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x114fa0) Line : regiongetsegmentsize.c:55 (0x114fb0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x114fa0) Line : regiongetsegmentsize.c:58 (0x114fb4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x114fa0) Line : regiongetsegmentsize.c:61 (0x114fbf) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x114fa0) Line : regiongetsegmentsize.c:81 (0x11500d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_get_segment_size (0x114fa0) Line : regiongetsegmentsize.c:82 (0x115015) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_resize_segment (0x11504c) Line : regionresizesegment.c:84 (0x1150c0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_resize_segment (0x11504c) Line : regionresizesegment.c:91 (0x1150db) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_resize_segment (0x11504c) Line : regionresizesegment.c:108 (0x1150f3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_return_segment (0x115104) Line : regionreturnsegment.c:65 (0x115112) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_region_return_segment (0x115104) Line : regionreturnsegment.c:89 (0x115163) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:126 (0x109d9b) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:161 (0x109dd1) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:161 (0x109dd9) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:183 (0x109e11) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:187 (0x109e22) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:195 (0x109e41) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:204 (0x109e68) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_create (0x109d00) Line : semcreate.c:230 (0x109e8b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x109e9c) Line : semdelete.c:90 (0x109ee1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x109e9c) Line : semdelete.c:92 (0x109eec) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x109e9c) Line : semdelete.c:92 (0x109ef1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_delete (0x109e9c) Line : semdelete.c:98 (0x109efc) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_flush (0x112d8c) Line : semflush.c:76 (0x112dc2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_flush (0x112d8c) Line : semflush.c:76 (0x112dc7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : semobtain.c:83 (0x109f7e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : semobtain.c:90 (0x109f8e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : semobtain.c:90 (0x109f93) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : coresem.inl:92 (0x109fb0) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : coresem.inl:98 (0x109fc2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_obtain (0x109f2c) Line : semobtain.c:102 (0x10a005) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10a018) Line : semrelease.c:86 (0x10a04f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10a018) Line : semrelease.c:92 (0x10a05e) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10a018) Line : semrelease.c:92 (0x10a063) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_semaphore_release (0x10a018) Line : semrelease.c:101 (0x10a079) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_catch (0x10ae7c) Line : signalcatch.c:63 (0x10aeaa) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x1155d8) Line : signalsend.c:69 (0x115636) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x1155d8) Line : signalsend.c:70 (0x11563f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x1155d8) Line : signalsend.c:75 (0x115650) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : taskcreate.c:139 (0x10a107) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : tasks.inl:38 (0x10a113) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : taskcreate.c:154 (0x10a137) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : taskcreate.c:196 (0x10a195) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : taskcreate.c:196 (0x10a19f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x10a0a8) Line : taskcreate.c:227 (0x10a1c6) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x10a1d8) Line : taskdelete.c:62 (0x10a1e5) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x10a1d8) Line : taskdelete.c:93 (0x10a230) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x10a1d8) Line : taskdelete.c:94 (0x10a23c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_get_note (0x10ba00) Line : taskgetnote.c:85 (0x10ba4b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_ident (0x10a25c) Line : taskident.c:66 (0x10a281) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_is_suspended (0x115954) Line : taskissuspended.c:64 (0x115983) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x110808) Line : taskmode.c:94 (0x1108a1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x110808) Line : modes.inl:105 (0x1108b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x110808) Line : taskmode.c:120 (0x1108f4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x110808) Line : taskmode.c:125 (0x1108ff) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x110808) Line : taskmode.c:126 (0x110901) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_restart (0x10ac24) Line : taskrestart.c:67 (0x10ac60) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_resume (0x10d3ac) Line : taskresume.c:64 (0x10d3e8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_note (0x10bb54) Line : tasksetnote.c:80 (0x10bb97) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x10dfe8) Line : tasksetpriority.c:79 (0x10e044) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_start (0x10a314) Line : taskstart.c:72 (0x10a364) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_suspend (0x10eaac) Line : tasksuspend.c:65 (0x10eae7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x127fc8) Line : taskvariableadd.c:50 (0x128004) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x127fc8) Line : taskvariableadd.c:52 (0x12800e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x127fc8) Line : taskvariableadd.c:66 (0x128031) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12805c) Line : taskvariabledelete.c:48 (0x128095) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12805c) Line : taskvariabledelete.c:51 (0x1280a4) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12805c) Line : taskvariabledelete.c:55 (0x1280b0) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_delete (0x12805c) Line : taskvariabledelete.c:57 (0x1280bf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x1280d8) Line : taskvariableget.c:53 (0x128112) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_get (0x1280d8) Line : taskvariableget.c:61 (0x128125) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_after (0x10a378) Line : taskwakeafter.c:55 (0x10a396) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_when (0x10b04c) Line : taskwakewhen.c:65 (0x10b07d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_when (0x10b04c) Line : taskwakewhen.c:68 (0x10b08d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_when (0x10b04c) Line : taskwakewhen.c:86 (0x10b0fd) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x115e20) Line : timercancel.c:53 (0x115e4b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_create (0x10a65c) Line : timer.inl:38 (0x10a68d) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_create (0x10a65c) Line : timercreate.c:63 (0x10a6a3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_after (0x10a6ec) Line : timerfireafter.c:78 (0x10a750) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_fire_when (0x116000) Line : timerfirewhen.c:81 (0x1160c5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x116364) Line : timerserver.c:491 (0x1163df) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x116364) Line : timerserver.c:503 (0x1163f2) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_initiate_server (0x116364) Line : timerserver.c:563 (0x1164d7) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_reset (0x116150) Line : timerreset.c:56 (0x11619c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_after (0x1161d4) Line : timerserverfireafter.c:83 (0x116248) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116288) Line : timerserverfirewhen.c:61 (0x1162b0) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116288) Line : timerserverfirewhen.c:86 (0x116354) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_workspace_allocate (0x10ab1d) Line : workspace.c:63 (0x10ab4c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x10a65c) Line : sched_getprioritymax.c:37 (0x10a676) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10a6a8) Line : sched_rr_get_interval.c:36 (0x10a6b5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10a6a8) Line : sched_rr_get_interval.c:37 (0x10a6cb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10a6a8) Line : sched_rr_get_interval.c:40 (0x10a6df) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_close (0x10cb40) Line : semclose.c:54 (0x10cb78) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_destroy (0x10cb8c) Line : semdestroy.c:51 (0x10cbb9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_destroy (0x10cb8c) Line : semdestroy.c:57 (0x10cbce) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_getvalue (0x10cbe0) Line : semgetvalue.c:49 (0x10cc11) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_init (0x10cc24) Line : seminit.c:45 (0x10cc40) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10cc68) Line : semopen.c:62 (0x10cc8e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10cc68) Line : semopen.c:85 (0x10ccab) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10cc68) Line : semopen.c:87 (0x10ccbf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10cc68) Line : semopen.c:97 (0x10cce3) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10cc68) Line : semopen.c:104 (0x10cd0a) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_post (0x10cd38) Line : sempost.c:56 (0x10cd73) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_unlink (0x10cdc8) Line : semunlink.c:53 (0x10cdfe) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : setitimer (0x109c2c) Line : setitimer.c:31 (0x109c49) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : setitimer (0x109c2c) Line : setitimer.c:37 (0x109c5c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10a558) Line : sigaction.c:59 (0x10a59f) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10a558) Line : sigaction.c:66 (0x10a5a5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10a558) Line : sigaction.c:75 (0x10a5c8) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaddset (0x10a5fc) Line : sigaddset.c:36 (0x10a624) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigdelset (0x10bffc) Line : sigdelset.c:40 (0x10c026) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigemptyset (0x10e61c) Line : sigemptyset.c:29 (0x10e637) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigfillset (0x10c060) Line : sigfillset.c:29 (0x10c07b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigismember (0x10c088) Line : sigismember.c:36 (0x10c0b2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : signal (0x10a424) Line : signal_2.c:32 (0x10a438) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : signal (0x10a424) Line : signal_2.c:50 (0x10a44f) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigpending (0x10a65c) Line : sigpending.c:33 (0x10a677) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10c128) Line : sigsuspend.c:37 (0x10c139) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10c128) Line : sigsuspend.c:39 (0x10c144) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10c128) Line : sigsuspend.c:41 (0x10c151) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10c128) Line : sigsuspend.c:43 (0x10c160) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10c128) Line : sigsuspend.c:49 (0x10c169) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:95 (0x10a950) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:96 (0x10a960) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:118 (0x10a996) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:130 (0x10a9c2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:136 (0x10a9d3) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10a91b) Line : sigtimedwait.c:143 (0x10aa02) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10c340) Line : sigwait.c:35 (0x10c351) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10c340) Line : sigwait.c:38 (0x10c364) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10c340) Line : sigwait.c:39 (0x10c368) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwaitinfo (0x10c328) Line : sigwaitinfo.c:32 (0x10c336) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x109aec) Line : sysconf.c:37 (0x109b07) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x109aec) Line : sysconf.c:41 (0x109b13) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x109dcc) Line : timercreate.c:50 (0x109deb) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x109dcc) Line : timercreate.c:56 (0x109df2) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x109dcc) Line : timercreate.c:59 (0x109df8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x109dcc) Line : timercreate.c:60 (0x109e05) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x109dcc) Line : timercreate.c:71 (0x109e39) Size in Bytes : 5 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_delete (0x10a298) Line : timerdelete.c:53 (0x10a2ee) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_getoverrun (0x10af48) Line : timergetoverrun.c:48 (0x10af78) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x109ec8) Line : timersettime.c:42 (0x109ed8) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x109ec8) Line : timersettime.c:48 (0x109ef5) Size in Bytes : 6 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x109ec8) Line : timersettime.c:89 (0x109fa9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x109ec8) Line : timersettime.c:109 (0x109fe7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x109ec8) Line : timersettime.c:124 (0x10a023) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x10e644) Line : watchdog.inl:47 (0x10e683) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x10e644) Line : ualarm.c:72 (0x10e69d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================