============================================ Symbol : _Event_Seize (0x4000d8d8) Line : eventseize.c:49 (0x4000d8f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x4000d8d8) Line : eventseize.c:50 (0x4000d8f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x4000d8d8) Line : threadimpl.h:1764 (0x4000d964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x4000d8d8) Line : eventseize.c:94 (0x4000d980) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x4000d254) Line : eventsurrender.c:65 (0x4000d298) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x4000d254) Line : eventsurrender.c:65 (0x4000d2ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x4000d254) Line : threadimpl.h:1764 (0x4000d2d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x4000d254) Line : threaddispatch.h:216 (0x4000d32c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x4000682c) Line : freechain.c:58 (0x40006848) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x4000682c) Line : chainimpl.h:632 (0x40006854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Put (0x400068a4) Line : freechain.c:77 (0x400068a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:205 (0x40006ce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:210 (0x40006cf4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:224 (0x40006d04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:251 (0x40006d24) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:224 (0x40006d34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40006cdc) Line : heapallocate.c:235 (0x40006d50) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x40006b90) Line : heap.c:445 (0x40006bb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Block_allocate (0x40006b90) Line : heap.c:458 (0x40006bf8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d5f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d618) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d624) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapfree.c:136 (0x4000d634) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapfree.c:147 (0x4000d640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d6e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapimpl.h:536 (0x4000d6f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d5b8) Line : heapfree.c:160 (0x4000d704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.c:219 (0x40006a14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.h:460 (0x40006a20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.c:224 (0x40006a34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.h:460 (0x40006a5c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.c:189 (0x40006ac0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40006a04) Line : heap.c:189 (0x40006acc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:113 (0x400070e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:119 (0x40007124) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:119 (0x4000715c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:128 (0x400071c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:156 (0x40007204) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:269 (0x40007238) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:315 (0x40007318) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:323 (0x4000733c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:48 (0x40007360) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:330 (0x400073b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:333 (0x400073e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:340 (0x40007418) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:343 (0x40007430) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:346 (0x40007460) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:308 (0x400074e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:176 (0x4000750c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:176 (0x40007520) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:176 (0x4000752c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:165 (0x40007618) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:168 (0x40007654) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:230 (0x4000779c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:232 (0x400077a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:240 (0x400077dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:240 (0x400077e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:245 (0x40007870) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:48 (0x40007978) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:327 (0x40007998) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:281 (0x400079b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:301 (0x40007a04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:335 (0x40007a2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:180 (0x40007a78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:283 (0x40007ad4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:243 (0x40007b04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400070dc) Line : iovprintf.c:303 (0x40007b9c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _ISR_Handler_initialization (0x40007c20) Line : isr.c:51 (0x40007c3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Mutex_Acquire (0x400110b0) Line : mutex.c:160 (0x400110c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Mutex_Release (0x40011120) Line : mutex.c:131 (0x40011138) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_API_maximum_class (0x4000e2c8) Line : objectapimaximumclass.c:26 (0x4000e2d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate_unprotected (0x40008440) Line : objectallocate.c:56 (0x4000844c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate_unprotected (0x40008440) Line : chainimpl.h:632 (0x400084f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Do_initialize_information (0x4000d8a0) Line : objectinitializeinformation.c:76 (0x4000d8fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:78 (0x40008560) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:79 (0x40008570) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:95 (0x400085bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:106 (0x400085e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:213 (0x4000864c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:213 (0x4000866c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:224 (0x4000867c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:260 (0x40008714) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x4000852c) Line : objectextendinformation.c:166 (0x400087cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x4000d840) Line : objectgetlocal.c:38 (0x4000d854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get (0x4000d840) Line : objectgetlocal.c:44 (0x4000d874) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:31 (0x4000d7d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:39 (0x4000d7e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:42 (0x4000d7f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:45 (0x4000d808) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:49 (0x4000d818) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x4000d7cc) Line : objectgetinfo.c:58 (0x4000d828) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Namespace_remove (0x4000d978) Line : objectnamespaceremove.c:34 (0x4000d984) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x400089dc) Line : objectshrinkinformation.c:45 (0x40008a18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x400089dc) Line : objectshrinkinformation.c:51 (0x40008a64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Shrink_information (0x400089dc) Line : objectshrinkinformation.c:60 (0x40008a8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Once (0x4001198c) Line : once.c:39 (0x400119b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008b1c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008b44) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008b84) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008b98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008ba8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008bb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008be8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008c14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008c20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008c3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:15 (0x40008cdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:15 (0x40008cf0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:15 (0x40008d0c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:15 (0x40008d18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:15 (0x40008d60) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : rbtreeextract.c:17 (0x40008e74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : unknown:-1 (0x40008fd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : unknown:-1 (0x40008fec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : unknown:-1 (0x40009000) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : unknown:-1 (0x40009014) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x40008b08) Line : unknown:-1 (0x4000903c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : rbtreeinsert.c:15 (0x400090dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : rbtreeinsert.c:15 (0x40009108) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : rbtreeinsert.c:15 (0x4000911c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : rbtreeinsert.c:15 (0x4000914c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x40009168) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x4000919c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x400091c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x400091e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x40009278) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x4000928c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x400092a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40009090) Line : unknown:-1 (0x400092dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Minimum (0x4000d9a0) Line : rbtreenext.c:30 (0x4000d9a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Minimum (0x4000d9a0) Line : rbtreenext.c:30 (0x4000d9bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:61 (0x400063c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:67 (0x400063d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:76 (0x400063fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:81 (0x4000640c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:93 (0x40006428) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Initialize_user_tasks_body (0x400063ac) Line : taskinitusers.c:67 (0x4000643c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_default_Tick (0x40009384) Line : schedulerdefaulttick.c:42 (0x400093a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_default_Tick (0x40009384) Line : schedulerdefaulttick.c:49 (0x400093b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x400094f4) Line : schedulerimpl.h:677 (0x4000952c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x400094f4) Line : schedulerimpl.h:1051 (0x4000958c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x400094f4) Line : prioritybitmapimpl.h:159 (0x400095f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x400097f4) Line : schedulerimpl.h:1051 (0x40009840) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerpriorityunblock.c:41 (0x400098ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerpriorityunblock.c:70 (0x40009954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerpriorityunblock.c:70 (0x4000995c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerimpl.h:1051 (0x4000997c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerimpl.h:1051 (0x40009984) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009898) Line : schedulerimpl.h:1051 (0x40009994) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Update_priority (0x4000960c) Line : schedulerprioritychangepriority.c:35 (0x40009618) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Update_priority (0x4000960c) Line : schedulerprioritychangepriority.c:45 (0x40009630) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Update_priority (0x4000960c) Line : schedulerimpl.h:1051 (0x40009740) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Update_priority (0x4000960c) Line : prioritybitmapimpl.h:159 (0x400097b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x40044504) Line : coretodset.c:56 (0x4004456c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_To_seconds (0x40043c3c) Line : clocktodtoseconds.c:73 (0x40043cd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:45 (0x40043cf8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:45 (0x40043d28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:46 (0x40043d38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:47 (0x40043d48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:48 (0x40043d58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:50 (0x40043d6c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:51 (0x40043d84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:52 (0x40043d94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:56 (0x40043dbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40043cf0) Line : clocktodvalidate.c:56 (0x40043dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_life (0x4000b57c) Line : threadrestart.c:264 (0x4000b5a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_life (0x4000b57c) Line : threadrestart.c:618 (0x4000b600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x4000ddd8) Line : threadclearstate.c:37 (0x4000dde8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x4000ddd8) Line : threadclearstate.c:43 (0x4000ddf8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state_locked (0x4000dda8) Line : threadclearstate.c:37 (0x4000ddb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state_locked (0x4000dda8) Line : threadclearstate.c:43 (0x4000ddc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Continue (0x4001536c) Line : threadtimeout.c:37 (0x40015384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Continue (0x4001536c) Line : threadimpl.h:1764 (0x400153d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Create_idle (0x40009b60) Line : threadimpl.h:831 (0x40009b94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch_direct (0x40009d90) Line : threaddispatch.c:249 (0x40009d9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Do_dispatch (0x40009c70) Line : userextimpl.h:275 (0x40009cf0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Do_dispatch (0x40009c70) Line : threaddispatch.c:228 (0x40009d14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000b53c) Line : threadrestart.c:271 (0x4000b554) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x40009dec) Line : objectimpl.h:750 (0x40009e04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x40009dec) Line : threadget.c:37 (0x40009e20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x40009af8) Line : thread.c:85 (0x40009b0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x40009af8) Line : thread.c:85 (0x40009b1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x40009af8) Line : thread.c:89 (0x40009b24) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:79 (0x40009f30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:96 (0x40009f68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:119 (0x40009f80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:153 (0x40009fc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:170 (0x4000a010) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:289 (0x4000a0d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:137 (0x4000a17c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:98 (0x4000a1c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ee0) Line : threadinitialize.c:98 (0x4000a1c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Kill_zombies (0x4000b228) Line : userextimpl.h:352 (0x4000b294) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Kill_zombies (0x4000b228) Line : threadrestart.c:208 (0x4000b300) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_perform_actions (0x4000dc6c) Line : threadchangepriority.c:217 (0x4000dca0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_update (0x4000dd24) Line : threadchangepriority.c:350 (0x4000dd74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_state (0x4000b67c) Line : threadsetstate.c:43 (0x4000b694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x4000b708) Line : threadstackfree.c:35 (0x4000b718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start (0x4000b730) Line : threadstart.c:36 (0x4000b73c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x4000a2fc) Line : threadqenqueue.c:348 (0x4000a30c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x4000a2fc) Line : threadqenqueue.c:353 (0x4000a31c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x4000a2fc) Line : threadimpl.h:1764 (0x4000a3a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue (0x4000a2fc) Line : threadqenqueue.c:446 (0x4000a458) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Extract (0x4000a4d4) Line : threadqenqueue.c:597 (0x4000a4ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Flush_critical (0x4000de3c) Line : threadqflush.c:85 (0x4000de64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x4000a570) Line : threadimpl.h:1764 (0x4000a59c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x4000a570) Line : threadqenqueue.c:699 (0x4000a5e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x4000a570) Line : threaddispatch.h:216 (0x4000a654) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Surrender (0x4000a570) Line : threaddispatch.h:221 (0x4000a668) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x40007ff0) Line : kern_tc.c:517 (0x40008058) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x40007ff0) Line : time.h:75 (0x40008064) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x40007ff0) Line : kern_tc.c:531 (0x40008080) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Bintime (0x40007ff0) Line : kern_tc.c:531 (0x40008090) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x40010be4) Line : kern_tc.c:477 (0x40010c4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x40010be4) Line : time.h:75 (0x40010c58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x40010be4) Line : kern_tc.c:479 (0x40010c74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x40010be4) Line : kern_tc.c:479 (0x40010c84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbintime (0x40008130) Line : kern_tc.c:605 (0x40008154) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbintime (0x40008130) Line : kern_tc.c:591 (0x40008164) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x400080dc) Line : kern_tc.c:577 (0x40008110) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x400080dc) Line : kern_tc.c:564 (0x40008120) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Sbinuptime (0x40007f5c) Line : kern_tc.c:495 (0x40007f9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Sbinuptime (0x40007f5c) Line : kern_tc.c:477 (0x40007fac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Set_clock (0x4001ba90) Line : time.h:205 (0x4001babc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Set_clock (0x4001ba90) Line : time.h:98 (0x4001bacc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x40008234) Line : kern_tc.c:2159 (0x400082e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Subtract (0x4002ceb4) Line : timespecsubtract.c:31 (0x4002ced4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Add_set (0x4000b8fc) Line : userextaddset.c:43 (0x4000b930) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x4000b878) Line : userext.c:41 (0x4000b8a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Iterate (0x4000bab4) Line : userextiterate.c:174 (0x4000bae8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_begin_visitor (0x4000ba1c) Line : userextiterate.c:103 (0x4000ba28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create_visitor (0x4000b974) Line : userextiterate.c:52 (0x4000b990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_delete_visitor (0x4000b9b0) Line : userextiterate.c:64 (0x4000b9bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_exitted_visitor (0x4000ba40) Line : userextiterate.c:116 (0x4000ba4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000bca4) Line : watchdogtick.c:35 (0x4000bcb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000bca4) Line : watchdogtick.c:35 (0x4000bcbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000bca4) Line : watchdogimpl.h:285 (0x4000bce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x40015920) Line : watchdoginsert.c:54 (0x40015950) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Insert (0x40015920) Line : watchdoginsert.c:54 (0x40015958) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x4000bc2c) Line : watchdogimpl.h:282 (0x4000bc74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tick (0x4000bd54) Line : watchdogtick.c:103 (0x4000bde8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tick (0x4000bd54) Line : schedulerimpl.h:577 (0x4000be3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Allocate_or_fatal_error (0x4000c070) Line : wkspace.c:202 (0x4000c090) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:63 (0x4000be70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:79 (0x4000bea0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:94 (0x4000bf10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:101 (0x4000bf48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:108 (0x4000bf60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:110 (0x4000bf70) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:126 (0x4000bfa0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:94 (0x4000bfb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000be5c) Line : wkspace.c:136 (0x4000bfc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:94 (0x400438e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:97 (0x400438f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:117 (0x400439b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:39 (0x400439c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:39 (0x400439d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:39 (0x40043a04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:39 (0x40043a28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_tod (0x400438dc) Line : clockgettod.c:72 (0x40043a4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_get_uptime (0x40043b88) Line : clockgetuptime.c:42 (0x40043b94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x40043bc0) Line : clockset.c:29 (0x40043bcc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_set (0x40043bc0) Line : clockset.c:32 (0x40043be4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_receive (0x4000d858) Line : eventreceive.c:35 (0x4000d860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_receive (0x4000d858) Line : eventreceive.c:45 (0x4000d878) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_send (0x4000da58) Line : eventsend.c:36 (0x4000da70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_system_receive (0x400193d4) Line : systemeventreceive.c:41 (0x400193dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_system_receive (0x400193d4) Line : systemeventreceive.c:51 (0x400193f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_event_system_send (0x400060e0) Line : systemeventsend.c:42 (0x400060f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_interrupt_catch (0x40006070) Line : intrcatch.c:58 (0x40006078) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_interrupt_catch (0x40006070) Line : intrcatch.c:64 (0x40006084) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_interrupt_catch (0x40006070) Line : intrcatch.c:64 (0x4000608c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:54 (0x40006128) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:57 (0x40006130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:88 (0x40006144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:96 (0x40006170) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:161 (0x40006200) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_create (0x40006120) Line : taskcreate.c:96 (0x40006234) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x40006284) Line : taskdelete.c:35 (0x40006298) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x40006284) Line : taskdelete.c:47 (0x400062a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x40006284) Line : threaddispatch.h:216 (0x400062f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_delete (0x40006284) Line : threaddispatch.h:221 (0x40006314) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_ident (0x4000634c) Line : taskident.c:38 (0x40006354) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_ident (0x4000634c) Line : taskident.c:41 (0x4000635c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:43 (0x4000ea74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:77 (0x4000ea98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:91 (0x4000eac4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:98 (0x4000eaec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:110 (0x4000eb14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:118 (0x4000eb30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000ea6c) Line : taskmode.c:139 (0x4000ebb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : tasksetpriority.c:73 (0x4000ecd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : tasksetpriority.c:81 (0x4000ecf0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : tasksetpriority.c:42 (0x4000ed64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : tasksetpriority.c:42 (0x4000ed70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : threaddispatch.h:216 (0x4000edbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000eccc) Line : threaddispatch.h:221 (0x4000ee00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_start (0x400064a8) Line : taskstart.c:45 (0x400064d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_wake_after (0x4000ee84) Line : taskwakeafter.c:39 (0x4000ee9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================