============================================ Symbol : _CORE_RWLock_Release (0x4000a5a0) Line : corerwlockrelease.c:86 (discriminator 1) (0x4000a668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x4000a690) Line : corerwlocktimeout.c:34 (0x4000a6a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x40007ff0) Line : coresemsurrender.c:46 (0x40008020) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x40006d34) Line : eventsurrender.c:74 (0x40006db4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x40006e24) Line : eventtimeout.c:37 (0x40006e3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x40006e24) Line : eventtimeout.c:68 (0x40006e84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x40008fcc) Line : freechain.c:36 (0x40009008) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000cd3c) Line : heapextend.c:164 (0x4000cda4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000cbb4) Line : heapimpl.h:513 (0x4000cc14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000cbb4) Line : heapfree.c:149 (0x4000cc40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000cbb4) Line : heapimpl.h:513 (0x4000cc88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000cbb4) Line : heapfree.c:166 (0x4000cc9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000cbb4) Line : heapfree.c:173 (0x4000ccac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x4000b38c) Line : heapiterate.c:39 (discriminator 1) (0x4000b3ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40014724) Line : heapimpl.h:513 (0x40014778) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40014724) Line : heapsizeofuserarea.c:44 (0x40014794) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40014724) Line : heapsizeofuserarea.c:46 (0x400147a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4000915c) Line : heapimpl.h:513 (0x40009404) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x40008610) Line : objectallocate.c:42 (0x4000861c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400086e0) Line : objectextendinformation.c:98 (0x400087b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x400086e0) Line : objectextendinformation.c:158 (0x40008810) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008a6c) Line : objectgetinfo.c:45 (0x40008ab0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008a6c) Line : objectgetinfo.c:49 (0x40008ac0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x4000c678) Line : objectgetnoprotection.c:39 (0x4000c6a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x4000d074) Line : objectidtoname.c:51 (0x4000d0d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x4000d074) Line : objectidtoname.c:55 (0x4000d0e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Free_memory (0x40007080) Line : keyfreememory.c:45 (discriminator 2) (0x400070e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Key_value_lookup_tree_compare_function (0x4000bcc4) Line : key.c:68 (0x4000bce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000bd0c) Line : key.c:77 (0x4000bd1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000bd0c) Line : key.c:93 (0x4000bd30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000bd0c) Line : key.c:99 (0x4000bd50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x4000c588) Line : mqueuerecvsupp.c:104 (0x4000c644) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Once_Manager_initialization (0x4000bedc) Line : once.c:41 (0x4000bf14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x4000ee54) Line : semaphorecreatesupp.c:73 (0x4000eed4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x4000bc40) Line : canceleval.c:35 (0x4000bc4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x4000d1c8) Line : psxtransschedparam.c:36 (0x4000d1d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x4000c178) Line : pthread.c:278 (discriminator 1) (0x4000c1a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x4000759c) Line : pthreadinitthreads.c:50 (0x400075b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x4000759c) Line : pthreadinitthreads.c:50 (0x400075bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x4000759c) Line : pthreadinitthreads.c:60 (0x40007614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x4000c0e0) Line : pthread.c:107 (0x4000c10c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x40007858) Line : pthread.c:153 (0x4000787c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x40007858) Line : pthread.c:159 (0x4000788c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40006ef4) Line : timertsr.c:48 (discriminator 1) (0x40006f1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40006ef4) Line : timertsr.c:57 (0x40006f44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x4001649c) Line : psignalchecksignal.c:67 (0x400164e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x40017220) Line : psignalclearprocesssignals.c:37 (0x40017268) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x40007d2c) Line : sigtimedwait.c:39 (0x40007d40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x40007d2c) Line : sigtimedwait.c:51 (0x40007d7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Post_switch_hook (0x40012e94) Line : psignal.c:137 (0x40012ea8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x400290d0) Line : psignalunblockthread.c:108 (0x400291ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x400290d0) Line : psignalunblockthread.c:113 (0x400291d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x400290d0) Line : threadimpl.h:635 (0x400291fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Initialize (0x4000ab0c) Line : rbtree.c:38 (0x4000ab14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert (0x4000a1c4) Line : rbtreeimpl.h:121 (0x4000a2c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert (0x4000a1c4) Line : rbtreeimpl.h:122 (0x4000a2d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Iterate (0x4000a250) Line : rbtreeiterate.c:40 (discriminator 1) (0x4000a27c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x4000e910) Line : rbtreeimpl.h:193 (0x4000e914) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x4000e910) Line : rbtreeimpl.h:194 (0x4000e930) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x4000e8c8) Line : rbtreeimpl.h:136 (0x4000e8cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x4000e8c8) Line : rbtreeimpl.h:137 (0x4000e8dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x40007cc0) Line : ratemonperiod.c:74 (0x40007d24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x4000838c) Line : ratemontimeout.c:39 (0x400083ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:188 (0x40007dc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:191 (0x40007de8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:191 (0x40007df4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:209 (0x40007e34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:212 (0x40007e58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40007d60) Line : ratemonperiod.c:212 (0x40007e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Allocate (0x40009c68) Line : schedulercbsallocate.c:36 (0x40009c78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Attach_thread (0x4000a928) Line : schedulercbsattachthread.c:51 (0x4000a990) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000ae3c) Line : schedulercbs.c:37 (0x4000ae4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000ae3c) Line : schedulercbs.c:39 (0x4000ae5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000ae3c) Line : schedulercbs.c:44 (0x4000ae7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Create_server (0x4000aa4c) Line : schedulercbscreateserver.c:51 (0x4000aad8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Initialize (0x4000aea8) Line : schedulercbs.c:58 (0x4000aec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Release_job (0x40009c98) Line : schedulercbsreleasejob.c:52 (0x40009ce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x40009d08) Line : schedulercbsunblock.c:79 (discriminator 1) (0x40009dd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Allocate (0x40009d34) Line : scheduleredfallocate.c:36 (0x40009d44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x40009efc) Line : schedulerimpl.h:266 (0x40009f28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule (0x4000a048) Line : schedulerimpl.h:252 (0x4000a074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule_body (0x40009eb0) Line : schedulerimpl.h:252 (0x40009ecc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule_body (0x40009eb0) Line : schedulerimpl.h:252 (0x40009ed8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x40009f6c) Line : scheduleredfunblock.c:48 (discriminator 1) (0x40009fc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x4000a0bc) Line : schedulerimpl.h:252 (0x4000a11c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x4000a0bc) Line : schedulerimpl.h:252 (0x4000a12c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_default_Tick (0x40008eb0) Line : schedulerdefaulttick.c:50 (0x40008ef4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule_body (0x40009010) Line : schedulerimpl.h:252 (0x400090b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule_body (0x40009010) Line : schedulerimpl.h:252 (0x400090c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x40009b50) Line : schedulerimpl.h:266 (0x40009b7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule (0x40009c8c) Line : schedulerimpl.h:252 (0x40009cb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule_body (0x40009b04) Line : schedulerimpl.h:252 (0x40009b20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule_body (0x40009b04) Line : schedulerimpl.h:252 (0x40009b2c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x40009d28) Line : schedulerimpl.h:252 (0x40009d90) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40007f68) Line : clocktodvalidate.c:45 (0x40007f84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40007f68) Line : clocktodvalidate.c:52 (0x40007ff8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40009578) Line : threadchangepriority.c:63 (0x400095cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40009578) Line : threadchangepriority.c:82 (0x40009614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x4000980c) Line : threaddelayended.c:32 (0x40009824) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x4000ed5c) Line : threadhandler.c:193 (0x4000edd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x40009c20) Line : thread.c:40 (0x40009c3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009a50) Line : threadinitialize.c:90 (0x40009a90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x4000a2a4) Line : threadstackfree.c:35 (0x4000a2b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x4000a10c) Line : threadqrequeue.c:33 (0x4000a114) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x4000a10c) Line : threadqrequeue.c:46 (0x4000a148) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x4000a180) Line : threadqtimeout.c:33 (0x4000a198) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40008880) Line : timerserver.c:111 (0x40008958) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40008880) Line : timerserver.c:331 (0x4000897c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x40008730) Line : timerserver.c:187 (0x40008820) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timestamp64_Divide (0x4000bcd0) Line : ts64divide.c:34 (0x4000bcdc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x4000a52c) Line : userext.c:56 (0x4000a53c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000c008) Line : watchdogadjust.c:45 (0x4000c030) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000c008) Line : watchdogadjust.c:50 (discriminator 1) (0x4000c07c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x4000a6c4) Line : watchdogremove.c:35 (0x4000a6e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x4000ba7c) Line : watchdogreportchain.c:37 (0x4000badc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x4000a768) Line : watchdogtickle.c:71 (0x4000a794) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000a808) Line : wkspace.c:61 (0x4000a890) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000a808) Line : wkspace.c:63 (0x4000a8a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000a808) Line : wkspace.c:79 (0x4000a8dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x40007240) Line : aio_cancel.c:49 (0x400072bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x40007240) Line : aio_cancel.c:90 (0x40007390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_fsync (0x40007424) Line : aio_fsync.c:60 (0x40007464) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_read (0x40007be0) Line : aio_read.c:64 (0x40007c30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_write (0x40007c74) Line : aio_write.c:64 (0x40007ccc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x40006aec) Line : clockgettime.c:44 (0x40006b64) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x40006f00) Line : clocksettime.c:37 (0x40006f08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40028dcc) Line : killinfo.c:196 (0x40028f3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40028dcc) Line : killinfo.c:275 (0x40028fa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40028dcc) Line : killinfo.c:275 (discriminator 1) (0x40028fb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x4000c0c4) Line : pthreadattrsetschedpolicy.c:46 (0x4000c0f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x40007628) Line : pbarrierinit.c:81 (0x40007670) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x40007e5c) Line : condinit.c:48 (0x40007e7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x40007cc8) Line : condattrdestroy.c:39 (discriminator 1) (0x40007ce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x4000722c) Line : pthreadcreate.c:122 (0x400072e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x40029214) Line : pthreadkill.c:49 (0x40029254) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x400094d0) Line : mutextimedlock.c:71 (0x4000951c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x400094d0) Line : mutextimedlock.c:73 (0x4000952c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x40006978) Line : mutexattrgettype.c:43 (0x40006998) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x40009090) Line : mutexattrsetpshared.c:43 (0x400090b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x4000e3e0) Line : mutexattrsettype.c:37 (discriminator 1) (0x4000e3f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x400078f4) Line : pthreadonce.c:44 (0x40007918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x400078f4) Line : pthreadonce.c:49 (0x40007940) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x400078f4) Line : pthreadonce.c:60 (0x40007958) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x4000809c) Line : prwlockinit.c:73 (0x400080c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x4000809c) Line : prwlockinit.c:76 (0x400080d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40008654) Line : prwlocktimedrdlock.c:91 (0x400086e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40008654) Line : prwlocktimedrdlock.c:93 (0x400086f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40008718) Line : prwlocktimedwrlock.c:93 (0x400087a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40008718) Line : prwlocktimedwrlock.c:95 (0x400087b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x40008fb4) Line : rwlockattrsetpshared.c:39 (0x40008fd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x40009dd4) Line : pthreadsetschedparam.c:79 (0x40009e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x40009dd4) Line : pthreadsetschedparam.c:79 (0x40009e78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setspecific (0x400071d4) Line : keysetspecific.c:48 (0x40007208) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setspecific (0x400071d4) Line : keysetspecific.c:57 (0x4000724c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x40007480) Line : testcancel.c:49 (0x40007494) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x40007480) Line : testcancel.c:56 (0x400074b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x400079b8) Line : aio_misc.c:309 (0x400079d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x400079b8) Line : aio_misc.c:324 (0x40007a38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x400079b8) Line : aio_misc.c:340 (0x40007abc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x400079b8) Line : aio_misc.c:385 (0x40007bbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:427 (0x40007524) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:452 (0x40007590) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:452 (0x40007598) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:475 (0x400075f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:502 (0x40007638) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:513 (0x40007670) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:537 (0x400076ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400074fc) Line : aio_misc.c:156 (0x40007744) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x4000777c) Line : aio_misc.c:45 (0x40007790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x4000777c) Line : aio_misc.c:51 (0x400077a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x4000777c) Line : aio_misc.c:56 (0x400077c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x4000777c) Line : aio_misc.c:61 (0x400077ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x400074a0) Line : aio_misc.c:190 (0x400074ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x400074a0) Line : aio_misc.c:197 (discriminator 1) (0x400074c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_remove_req (0x40007940) Line : aio_misc.c:264 (discriminator 2) (0x40007960) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_remove_req (0x40007940) Line : aio_misc.c:269 (0x40007980) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x400080c8) Line : chaingetwait.c:39 (0x400080f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x4000ca48) Line : iterateoverthreads.c:31 (0x4000ca54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x4000ca48) Line : iterateoverthreads.c:47 (0x4000ca8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x40009050) Line : partcreate.c:64 (0x40009070) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0x40007b90) Line : partimpl.h:127 (0x40007bd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40007ef4) Line : ratemonperiod.c:331 (0x40008068) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x400080d4) Line : ratemonreportstatistics.c:44 (0x400080dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rbheap_allocate (0x4000845c) Line : rbheap.c:164 (0x4000848c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x40012560) Line : threadimpl.h:635 (0x400125ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_status_code_to_errno (0x4000c5bc) Line : status.c:71 (0x4000c5d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4001069c) Line : taskmode.c:45 (0x400107d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000b87c) Line : tasksetpriority.c:51 (discriminator 1) (0x4000b8f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x4000b09c) Line : timercancel.c:48 (0x4000b0cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x4000b104) Line : timerserverfirewhen.c:58 (0x4000b128) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x400079a4) Line : sched_getprioritymax.c:45 (0x400079bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x400079e8) Line : sched_getprioritymin.c:46 (0x40007a00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x40007a20) Line : sched_rr_get_interval.c:41 (0x40007a28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x400087f0) Line : semopen.c:135 (0x40008900) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_timedwait (0x4000a69c) Line : semtimedwait.c:75 (0x4000a6cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x40007800) Line : sigaction.c:73 (0x40007874) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x40007d8c) Line : sigtimedwait.c:101 (0x40007dc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x40009a14) Line : sigwait.c:35 (0x40009a34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x40006a9c) Line : sysconf.c:53 (0x40006af0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x40006a9c) Line : sysconf.c:57 (0x40006afc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40008918) Line : timercreate.c:56 (0x40008954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40008918) Line : timercreate.c:62 (0x40008968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40006cc4) Line : timersettime.c:46 (0x40006ccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40006cc4) Line : timersettime.c:56 (0x40006cf4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================