============================================ Symbol : _CORE_RWLock_Release (0x4000aa38) Line : corerwlockrelease.c:86 (discriminator 1) (0x4000ab00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x4000ab28) Line : corerwlocktimeout.c:34 (0x4000ab40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x4000846c) Line : coresemsurrender.c:46 (0x4000849c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400071cc) Line : eventsurrender.c:74 (0x40007248) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x400072b8) Line : eventtimeout.c:37 (0x400072d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x400072b8) Line : eventtimeout.c:68 (0x40007310) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Freechain_Get (0x4000712c) Line : freechain.c:36 (0x40007168) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000d8c8) Line : heapextend.c:164 (0x4000d930) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d61c) Line : heapimpl.h:536 (0x4000d67c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d61c) Line : heapfree.c:136 (0x4000d6a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d61c) Line : heapimpl.h:536 (0x4000d6f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d61c) Line : heapfree.c:153 (0x4000d704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000d61c) Line : heapfree.c:160 (0x4000d714) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Greedy_allocate_all_except_largest (0x400084d4) Line : heapgreedy.c:87 (0x400084ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Iterate (0x4000b840) Line : heapiterate.c:39 (discriminator 1) (0x4000b860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40015260) Line : heapimpl.h:536 (0x400152b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40015260) Line : heapsizeofuserarea.c:44 (0x400152d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x40015260) Line : heapsizeofuserarea.c:46 (0x400152e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x4000962c) Line : heapimpl.h:536 (0x400098d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate_unprotected (0x40008ab4) Line : objectallocate.c:56 (0x40008ac0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40008bbc) Line : objectextendinformation.c:106 (0x40008c94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x40008bbc) Line : objectextendinformation.c:166 (0x40008cf8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008f60) Line : objectgetinfo.c:45 (0x40008fa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008f60) Line : objectgetinfo.c:49 (0x40008fb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x4000cc1c) Line : objectgetnoprotection.c:39 (0x4000cc44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x4000d3b0) Line : objectidtoname.c:51 (0x4000d40c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x4000d3b0) Line : objectidtoname.c:55 (0x4000d41c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Free_memory (0x4000792c) Line : keyfreememory.c:45 (discriminator 2) (0x40007990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Key_value_lookup_tree_compare_function (0x4000c774) Line : key.c:69 (0x4000c798) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000c7bc) Line : key.c:78 (0x4000c7cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000c7bc) Line : key.c:94 (0x4000c7e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Keypool_extend (0x4000c7bc) Line : key.c:100 (0x4000c800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x4000c9c8) Line : mqueuerecvsupp.c:104 (0x4000ca80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Semaphore_Create_support (0x4000f6fc) Line : semaphorecreatesupp.c:70 (0x4000f760) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x4000c7b8) Line : canceleval.c:35 (0x4000c7c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x4000d958) Line : psxtransschedparam.c:36 (0x4000d968) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40007840) Line : pthreadinitthreads.c:50 (0x40007854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40007840) Line : pthreadinitthreads.c:50 (0x40007860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40007840) Line : pthreadinitthreads.c:60 (0x400078b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x4000cc10) Line : pthread.c:118 (0x4000cc3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x40007ad0) Line : pthread.c:164 (0x40007af4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x40007ad0) Line : pthread.c:170 (0x40007b04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Terminate_extension (0x4000cc8c) Line : pthread.c:286 (discriminator 1) (0x4000ccbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40007348) Line : timertsr.c:48 (discriminator 1) (0x40007370) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40007348) Line : timertsr.c:57 (0x40007398) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Action_handler (0x4000ca1c) Line : psignal.c:138 (0x4000ca30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x4000ec90) Line : psignalchecksignal.c:67 (0x4000ecdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x4000f920) Line : psignalclearprocesssignals.c:37 (0x4000f968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x4000818c) Line : sigtimedwait.c:39 (0x400081a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x4000818c) Line : sigtimedwait.c:51 (0x400081dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x4002985c) Line : psignalunblockthread.c:110 (0x40029968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x4002985c) Line : psignalunblockthread.c:115 (0x40029990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x4002985c) Line : threadimpl.h:613 (0x400299b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Initialize (0x4000b010) Line : rbtree.c:38 (0x4000b018) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert (0x40007e74) Line : rbtreeimpl.h:121 (0x40007f74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert (0x40007e74) Line : rbtreeimpl.h:122 (0x40007f84) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Iterate (0x4000a70c) Line : rbtreeiterate.c:40 (discriminator 1) (0x4000a738) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x4000f3dc) Line : rbtreeimpl.h:193 (0x4000f3e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x4000f3dc) Line : rbtreeimpl.h:194 (0x4000f3fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x4000f394) Line : rbtreeimpl.h:136 (0x4000f398) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x4000f394) Line : rbtreeimpl.h:137 (0x4000f3a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x4000d188) Line : tasks.c:155 (discriminator 1) (0x4000d190) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Switch_extension (0x4000d188) Line : tasks.c:162 (discriminator 1) (0x4000d1b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Terminate_extension (0x4000d20c) Line : tasks.c:120 (discriminator 1) (0x4000d21c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0x40008148) Line : ratemonperiod.c:74 (0x400081a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x400087fc) Line : ratemontimeout.c:39 (0x4000881c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:192 (0x40008244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:195 (0x40008268) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:195 (0x40008274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:213 (0x400082b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:216 (0x400082d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x400081e0) Line : ratemonperiod.c:216 (0x400082e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Attach_thread (0x4000b24c) Line : schedulercbsattachthread.c:49 (0x4000b2c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000b784) Line : schedulercbs.c:35 (0x4000b794) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000b784) Line : schedulercbs.c:37 (0x4000b7a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Budget_callout (0x4000b784) Line : schedulercbs.c:42 (0x4000b7c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Release_job (0x4000a58c) Line : schedulercbsreleasejob.c:51 (0x4000a5d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_CBS_Unblock (0x4000a5fc) Line : schedulercbsunblock.c:83 (discriminator 1) (0x4000a6c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Block (0x4000a7f8) Line : schedulerimpl.h:502 (0x4000a820) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule (0x4000a8f0) Line : schedulerimpl.h:482 (0x4000a914) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule_body (0x4000a79c) Line : schedulerimpl.h:482 (0x4000a7b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Schedule_body (0x4000a79c) Line : schedulerimpl.h:482 (0x4000a7bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Unblock (0x4000a814) Line : scheduleredfunblock.c:50 (discriminator 1) (0x4000a870) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Update_priority (0x4000a928) Line : scheduleredfupdate.c:34 (0x4000a934) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x4000a95c) Line : schedulerimpl.h:482 (0x4000a998) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_EDF_Yield (0x4000a95c) Line : schedulerimpl.h:482 (0x4000a9a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_default_Tick (0x40009418) Line : schedulerdefaulttick.c:56 (0x40009454) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule_body (0x400094d8) Line : schedulerimpl.h:482 (0x40009578) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Block (0x4000a1b0) Line : schedulerimpl.h:502 (0x4000a1d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule (0x4000a2c4) Line : schedulerimpl.h:482 (0x4000a2e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule_body (0x4000a170) Line : schedulerimpl.h:482 (0x4000a180) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Schedule_body (0x4000a170) Line : schedulerimpl.h:482 (0x4000a18c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x4000a390) Line : chainimpl.h:954 (0x4000a3b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_simple_Yield (0x4000a390) Line : schedulerimpl.h:482 (0x4000a40c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Signal_Action_handler (0x4000ef50) Line : signalcatch.c:45 (0x4000ef64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Signal_Action_handler (0x4000ef50) Line : signalcatch.c:55 (0x4000ef88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40008598) Line : clocktodvalidate.c:45 (0x400085b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40008598) Line : clocktodvalidate.c:52 (0x40008628) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40009a64) Line : threadchangepriority.c:60 (0x40009b30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Close (0x4000aa78) Line : threadrestart.c:295 (0x4000aab8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x40009c68) Line : threaddelayended.c:32 (0x40009c80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x40009ca4) Line : chainimpl.h:710 (0x40009df0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x4000f828) Line : threadhandler.c:197 (0x4000f89c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler_initialization (0x4000a11c) Line : thread.c:33 (0x4000a130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ed4) Line : threadinitialize.c:92 (0x40009f5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ed4) Line : tls.h:103 (0x40009fc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40009ed4) Line : threadinitialize.c:118 (0x40009fe4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Life_action_handler (0x4000a9d0) Line : threadrestart.c:196 (0x4000aa54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Request_life_change (0x4000a7b0) Line : schedulerimpl.h:558 (0x4000a7f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Request_life_change (0x4000a7b0) Line : chainimpl.h:782 (0x4000a874) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Request_life_change (0x4000a7b0) Line : threadrestart.c:264 (0x4000a8b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Request_life_change (0x4000a7b0) Line : schedulerimpl.h:543 (0x4000a8c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Request_life_change (0x4000a7b0) Line : schedulerimpl.h:576 (0x4000a8e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x4000abfc) Line : threadstackfree.c:35 (0x4000ac0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Start_life_change_for_executing (0x4000a770) Line : chainimpl.h:782 (0x4000a788) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield (0x4000acc0) Line : threadyield.c:36 (0x4000acd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x4000a694) Line : threadqtimeout.c:33 (0x4000a6ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40008d4c) Line : timerserver.c:111 (0x40008e24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40008d4c) Line : timerserver.c:331 (0x40008e48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x40008f18) Line : timerserver.c:187 (0x40008ffc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timestamp64_Divide (0x4000c834) Line : ts64divide.c:34 (0x4000c840) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x4000af04) Line : userext.c:56 (0x4000af14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Thread_create_visitor (0x4000acf8) Line : userextiterate.c:43 (0x4000ad14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000cbb8) Line : watchdogadjust.c:45 (0x4000cbe0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000cbb8) Line : watchdogadjust.c:50 (discriminator 1) (0x4000cc2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x4000b098) Line : watchdogremove.c:35 (0x4000b0bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Tickle (0x4000b138) Line : watchdogtickle.c:71 (0x4000b164) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000b1d8) Line : tls.h:103 (0x4000b234) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000b1d8) Line : wkspace.c:106 (0x4000b2e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000b1d8) Line : wkspace.c:108 (0x4000b2f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Workspace_Handler_initialization (0x4000b1d8) Line : wkspace.c:124 (0x4000b330) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x400076dc) Line : aio_cancel.c:49 (0x40007758) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x400076dc) Line : aio_cancel.c:90 (0x4000782c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_fsync (0x400078c0) Line : aio_fsync.c:60 (0x40007900) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_read (0x4000807c) Line : aio_read.c:64 (0x400080cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_write (0x40008110) Line : aio_write.c:64 (0x40008168) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x40006e6c) Line : clockgettime.c:44 (0x40006ee4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x400072e4) Line : clocksettime.c:37 (0x400072ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40029570) Line : killinfo.c:194 (0x400296c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40029570) Line : killinfo.c:273 (0x4002972c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40029570) Line : killinfo.c:273 (discriminator 1) (0x4002973c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x4000c908) Line : pthreadattrsetschedpolicy.c:46 (0x4000c93c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x40007ae4) Line : pbarrierinit.c:81 (0x40007b2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x40010838) Line : condinit.c:48 (0x40010858) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x40008224) Line : condattrdestroy.c:39 (discriminator 1) (0x4000823c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x40007510) Line : pthreadcreate.c:129 (0x400075c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x400299c8) Line : pthreadkill.c:49 (0x40029a08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_init (0x40010e74) Line : mutexinit.c:163 (0x40010f50) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x40009ddc) Line : mutextimedlock.c:71 (0x40009e28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x40009ddc) Line : mutextimedlock.c:73 (0x40009e38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x40006e60) Line : mutexattrgettype.c:43 (0x40006e80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x4000997c) Line : mutexattrsetpshared.c:43 (0x4000999c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x40006ecc) Line : mutexattrsettype.c:37 (discriminator 1) (0x40006ee4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x400115f0) Line : pthreadonce.c:36 (0x4001160c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x40008448) Line : prwlockinit.c:73 (0x40008474) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x40008448) Line : prwlockinit.c:76 (0x40008484) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40008b14) Line : prwlocktimedrdlock.c:91 (0x40008ba0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40008b14) Line : prwlocktimedrdlock.c:93 (0x40008bb0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40008bd4) Line : prwlocktimedwrlock.c:93 (0x40008c60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40008bd4) Line : prwlocktimedwrlock.c:95 (0x40008c70) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x4000943c) Line : rwlockattrsetpshared.c:39 (0x4000945c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x4000a674) Line : pthreadsetschedparam.c:83 (0x4000a718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x4000a674) Line : pthreadsetschedparam.c:83 (0x4000a72c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setspecific (0x40006134) Line : keysetspecific.c:61 (0x40006198) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x400078fc) Line : testcancel.c:49 (0x40007908) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x400078fc) Line : testcancel.c:56 (0x4000792c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40007e54) Line : aio_misc.c:305 (0x40007e6c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40007e54) Line : aio_misc.c:320 (0x40007ed4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40007e54) Line : aio_misc.c:336 (0x40007f58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40007e54) Line : aio_misc.c:381 (0x40008058) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:423 (0x400079c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:448 (0x40007a2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:448 (0x40007a34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:471 (0x40007a8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:498 (0x40007ad4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:509 (0x40007b0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:532 (0x40007b88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x40007998) Line : aio_misc.c:154 (0x40007be0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x40007c18) Line : aio_misc.c:45 (0x40007c2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x40007c18) Line : aio_misc.c:51 (0x40007c40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x40007c18) Line : aio_misc.c:56 (0x40007c64) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x40007c18) Line : aio_misc.c:61 (0x40007c88) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x4000793c) Line : aio_misc.c:186 (0x40007948) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x4000793c) Line : aio_misc.c:193 (discriminator 1) (0x40007964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_remove_req (0x40007ddc) Line : aio_misc.c:260 (discriminator 2) (0x40007dfc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_remove_req (0x40007ddc) Line : aio_misc.c:265 (0x40007e1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x400085e4) Line : chaingetwait.c:39 (0x40008610) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_clock_tick (0x40006f90) Line : schedulerimpl.h:287 (0x40006fb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x4000cd3c) Line : iterateoverthreads.c:31 (0x4000cd48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x4000cd3c) Line : iterateoverthreads.c:47 (0x4000cd80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x40009398) Line : partcreate.c:64 (0x400093b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0x4000806c) Line : partimpl.h:127 (0x400080b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:32 (0x40007310) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:35 (0x40007324) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:38 (0x40007338) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:41 (0x4000734c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:44 (0x40007360) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:47 (0x40007374) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:50 (0x4000738c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:58 (0x400073a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:63 (0x400073b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:67 (0x400073c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : pthreadattrcompare.c:71 (0x400073dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : cpuset.h:278 (0x400073f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_pthread_attribute_compare (0x40007300) Line : cpuset.h:278 (0x4000742c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40008370) Line : ratemonperiod.c:335 (0x400084dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x4000854c) Line : ratemonreportstatistics.c:44 (0x40008554) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rbheap_allocate (0x40008874) Line : rbheap.c:164 (0x400088a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_scheduler_ident (0x40007f0c) Line : schedulerident.c:35 (discriminator 1) (0x40007f3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x4000888c) Line : threadimpl.h:613 (0x40008948) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_status_code_to_errno (0x4000d0c4) Line : status.c:71 (0x4000d0d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000efdc) Line : chainimpl.h:782 (0x4000f0fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000efdc) Line : taskmode.c:32 (0x4000f130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000efdc) Line : taskmode.c:45 (0x4000f150) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000c290) Line : tasksetpriority.c:51 (discriminator 1) (0x4000c304) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x40009d90) Line : taskvariableadd.c:43 (0x40009d98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x40009d90) Line : taskvariableadd.c:47 (0x40009db4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x40009d90) Line : taskvariableadd.c:55 (0x40009dd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_variable_add (0x40009d90) Line : taskvariableadd.c:68 (0x40009df0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x4000b7c0) Line : timercancel.c:48 (0x4000b7f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x4000b830) Line : timerserverfirewhen.c:58 (0x4000b854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x40007b7c) Line : sched_getprioritymax.c:45 (0x40007b94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x40007bc0) Line : sched_getprioritymin.c:46 (0x40007bd8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x40007bf8) Line : sched_rr_get_interval.c:40 (0x40007c00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x40008b74) Line : semopen.c:134 (0x40008c7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_timedwait (0x4000aee0) Line : semtimedwait.c:75 (0x4000af10) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x40007c64) Line : sigaction.c:73 (0x40007cd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x400081ec) Line : sigtimedwait.c:101 (0x40008224) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x4000a1c8) Line : sigwait.c:35 (0x4000a1e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x40006f10) Line : sysconf.c:53 (0x40006f64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x40006f10) Line : sysconf.c:57 (0x40006f70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40008c94) Line : timercreate.c:56 (0x40008cd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40008c94) Line : timercreate.c:62 (0x40008ce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40007118) Line : timersettime.c:46 (0x40007120) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40007118) Line : timersettime.c:56 (0x40007148) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================