============================================ Symbol : _CORE_message_queue_Broadcast (0x400069b8) Line : coremsgimpl.h:641 (0x40006a20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x400069b8) Line : coremsgimpl.h:629 (0x40006a60) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x4000d8d0) Line : coremsgseize.c:72 (0x4000d954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Submit (0x4000da24) Line : coremsgimpl.h:641 (0x4000da90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40007250) Line : heapallocate.c:253 (0x400072ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x40007250) Line : heapallocate.c:253 (0x40007378) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000ff70) Line : heapfree.c:137 (0x4000ffc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000ff70) Line : heapfree.c:161 (0x4001007c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate_all_except_largest (0x40003d84) Line : heapgreedy.c:89 (0x40003da8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40007560) Line : heap.h:422 (0x400075dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Initialize (0x40007560) Line : heap.h:422 (0x400076bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x400078f8) Line : heapiterate.c:47 (0x40007944) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40005264) Line : heapsizeofuserarea.c:46 (0x400052a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000a5fc) Line : iobase64.c:69 (0x4000a7cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Base64 (0x4000a5fc) Line : iobase64.c:69 (0x4000a7f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:124 (0x40007a10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:130 (0x40007a7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:355 (0x40007df0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:167 (0x40007e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:156 (0x40007fdc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:188 (0x4000800c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:188 (0x40008010) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:293 (0x40008174) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:307 (0x400081dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:255 (0x40008234) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:247 (0x40008284) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:252 (0x400082b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _IO_Vprintf (0x400079cc) Line : iovprintf.c:315 (0x40008338) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400083c8) Line : objectextendinformation.c:101 (0x4000847c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Free_unlimited (0x40008664) Line : objectfree.c:33 (0x40008680) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008cc8) Line : objectgetinfo.c:47 (0x40008d04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_name_as_string (0x40008984) Line : objectgetnameasstring.c:108 (0x40008a30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x40008a5c) Line : objectidtoname.c:45 (0x40008a98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Name_to_string (0x400145cc) Line : objectgetnameasstring.c:43 (0x400145cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x400043c4) Line : objectsetname.c:40 (0x40004400) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Once (0x4001021c) Line : once.c:71 (0x4001029c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Processor_mask_Copy (0x4000d908) Line : processormaskcopy.c:47 (0x4000d928) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:26 (0x40010354) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:26 (0x400103b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x4001048c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x400104d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x40010538) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x4001060c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x40010638) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x400106ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x400106d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract (0x4001031c) Line : rbtreeextract.c:24 (0x40010704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40010748) Line : rbtreeinsert.c:24 (0x4001081c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40010748) Line : rbtreeinsert.c:24 (0x40010844) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_color (0x40010748) Line : rbtreeinsert.c:24 (0x400108a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Iterate (0x4000540c) Line : rbtreeiterate.c:39 (0x40005454) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Attach_thread (0x400057a4) Line : schedulercbsattachthread.c:58 (0x40005800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x40005878) Line : schedulercbs.c:46 (0x400058b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Cleanup (0x400058e8) Line : schedulercbscleanup.c:30 (0x40005904) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40005958) Line : schedulercbscreateserver.c:35 (0x4000595c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40005958) Line : schedulercbscreateserver.c:35 (0x40005964) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40005958) Line : schedulercbscreateserver.c:41 (0x40005970) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40005958) Line : schedulercbscreateserver.c:35 (0x400059f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x40005958) Line : schedulercbscreateserver.c:35 (0x40005a0c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Get_server_id (0x40005d94) Line : schedulercbsgetserverid.c:33 (0x40005d9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40005e3c) Line : schedulercbssetparameters.c:34 (0x40005e4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40005e3c) Line : schedulercbssetparameters.c:34 (0x40005e54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40005e3c) Line : schedulercbssetparameters.c:34 (0x40005ea0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Set_parameters (0x40005e3c) Line : schedulercbssetparameters.c:34 (0x40005ebc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x400054f0) Line : schedulerimpl.h:1242 (0x400055dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x400051d4) Line : rbtree.h:522 (0x40005238) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x400051d4) Line : rbtree.h:522 (0x40005258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x400051d4) Line : schedulerimpl.h:1242 (0x400052b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40005644) Line : scheduleredfimpl.h:155 (0x4000568c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x40005644) Line : rbtree.h:522 (0x400056c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x4000941c) Line : schedulerimpl.h:1242 (0x4000948c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Unblock (0x40009520) Line : schedulerpriorityunblock.c:72 (0x400095a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x400051a4) Line : chainimpl.h:858 (0x400051e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Unblock (0x400051a4) Line : schedulersimpleunblock.c:55 (0x40005228) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40004fa8) Line : schedulersimplechangepriority.c:31 (0x40004fac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40004fa8) Line : chainimpl.h:858 (0x40005010) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Update_priority (0x40004fa8) Line : schedulerimpl.h:1242 (0x40005044) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x400052b8) Line : chainimpl.h:858 (0x40005308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x400052b8) Line : schedulerimpl.h:1242 (0x4000534c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TLS_Get_allocation_size (0x40011448) Line : tls.h:120 (0x4001144c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Set (0x40004f7c) Line : watchdogimpl.h:422 (0x40004f94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x40009158) Line : threadallocateunlimited.c:54 (0x400091f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Allocate_unlimited (0x40009158) Line : threadallocateunlimited.c:64 (0x40009224) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000acd4) Line : threadrestart.c:390 (0x4000ad7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000acd4) Line : threadrestart.c:488 (0x4000adbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Cancel (0x4000acd4) Line : threadrestart.c:390 (0x4000add8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_life (0x40008cac) Line : threaddispatch.h:250 (0x40008d28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state_locked (0x40010de8) Line : threadclearstate.c:45 (0x40010e0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch_enable (0x4000992c) Line : cpu.h:183 (0x40009958) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Do_dispatch (0x400097b8) Line : threaddispatch.c:269 (0x400097e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000aee0) Line : threadrestart.c:263 (0x4000aefc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Exit (0x4000aee0) Line : threaddispatch.h:250 (0x4000af38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get_name (0x4001434c) Line : threadname.c:56 (0x40014358) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x400099d8) Line : cpu.h:188 (0x400099f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x40009f98) Line : threaditerate.c:51 (0x40009ff4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Iterate (0x40009f98) Line : threaditerate.c:61 (0x4000a020) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Kill_zombies (0x4000ab9c) Line : userextimpl.h:514 (0x4000ac38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_add (0x4000c670) Line : threadchangepriority.c:270 (0x4000c6b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Priority_remove (0x4000c708) Line : threadchangepriority.c:270 (0x4000c754) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40005808) Line : threadrestart.c:588 (0x4000585c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40005808) Line : threaddispatch.h:250 (0x400058e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart_other (0x40005808) Line : threadrestart.c:390 (0x40005904) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Set_life_protection (0x4000af64) Line : threaddispatch.h:250 (0x4000afd8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield (0x4000b28c) Line : threadyield.c:37 (0x4000b2a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Binuptime (0x400067f4) Line : cpustdatomic.h:159 (0x400068c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getbinuptime (0x40001e88) Line : kern_tc.c:583 (0x40001eb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrotime (0x40001fbc) Line : kern_tc.c:653 (0x40001fe8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getmicrouptime (0x40001f04) Line : kern_tc.c:611 (0x40001f34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanotime (0x400089b8) Line : kern_tc.c:639 (0x400089e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Getnanouptime (0x4000893c) Line : kern_tc.c:597 (0x4000896c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timecounter_Tick_simple (0x40005f10) Line : kern_tc.c:2182 (0x40005fe8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create_visitor (0x4000b350) Line : userextiterate.c:57 (0x4000b36c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Do_tickle (0x4000b680) Line : watchdogimpl.h:374 (0x4000b6d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x4000b610) Line : watchdogimpl.h:374 (0x4000b668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================