============================================
Symbol        : _API_extensions_Run_postdriver (0x2007184)
Line          : apiext.c:77 (0x200719c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _API_extensions_Run_postswitch (0x20071c8)
Line          : apiext.c:103 (0x20071e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Obtain_for_reading (0x20099f8)
Line          : corerwlockobtainread.c:68 (0x2009aa4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Release (0x2009b50)
Line          : corerwlockrelease.c:96 (0x2009bc8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Timeout (0x2009c44)
Line          : corerwlocktimeout.c:44 (0x2009c5c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Broadcast (0x2017b64)
Line          : coremsgbroadcast.c:72 (0x2017b74)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x2011224)
Line          : coremsg.c:76 (0x2011254)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x2011224)
Line          : coremsg.c:86 (0x2011278)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: Simple Test Case

Explanation:
We need to request enough messages of a certain size that the math
overflows to less than a single message. 
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x2007530)
Line          : coremutexseize.c:39 (0x200754c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x2007790)
Line          : coresemsurrender.c:68 (0x20077cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Chain_Initialize (0x200e074)
Line          : chain.c:51 (0x200e07c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Seize (0x20062cc)
Line          : eventseize.c:73 (0x2006300)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2006438)
Line          : eventsurrender.c:96 (0x2006488)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2006438)
Line          : eventsurrender.c:78 (0x20064f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2006438)
Line          : eventsurrender.c:82 (0x200651c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Timeout (0x2006570)
Line          : eventtimeout.c:51 (0x2006588)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x200e364)
Line          : heapallocate.c:200 (0x200e3b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x200e364)
Line          : heapallocate.c:120 (0x200e480)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x200e364)
Line          : heapallocate.c:200 (0x200e4f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Extend (0x2012fb8)
Line          : heapextend.c:76 (0x2013008)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heap.inl:198 (0x200e5ac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heap.inl:198 (0x200e5b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heapfree.c:51 (0x200e5c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heap.inl:198 (0x200e600)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heap.inl:198 (0x200e608)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200e564)
Line          : heapfree.c:71 (0x200e618)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Get_free_information (0x2030d04)
Line          : heapgetfreeinfo.c:40 (0x2030d18)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Get_information (0x20475cc)
Line          : heapgetinfo.c:46 (0x20475f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201cc24)
Line          : heap.inl:198 (0x201cc54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201cc24)
Line          : heap.inl:198 (0x201cc6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201cc24)
Line          : heap.inl:198 (0x201cc74)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201cc24)
Line          : heapsizeofuserarea.c:47 (0x201cc84)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heap.inl:198 (0x2008c10)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heap.inl:198 (0x2008d04)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heapwalk.c:82 (0x2008d1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heapwalk.c:95 (0x2008d38)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heapwalk.c:106 (0x2008d48)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heap.inl:198 (0x2008d74)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heapwalk.c:335 (0x2008de8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heap.inl:198 (0x2008e40)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heap.inl:198 (0x2008e94)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008afc)
Line          : heapwalk.c:133 (0x2008fb4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _IO_Initialize_all_drivers (0x2006f7c)
Line          : io.c:100 (0x2006f8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _IO_Manager_initialization (0x2006fc4)
Line          : io.c:81 (0x2007030)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Allocate (0x2007d9c)
Line          : objectallocate.c:53 (0x2007dac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:74 (0x2007e94)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:75 (0x2007ea4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:89 (0x2007eec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:187 (0x2007f6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:187 (0x2007f80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x2007e5c)
Line          : objectextendinformation.c:198 (0x2007f9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x20081f8)
Line          : objectgetinfo.c:43 (0x2008244)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x20081f8)
Line          : objectgetinfo.c:47 (0x2008258)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_name_as_string (0x2017f78)
Line          : objectgetnameasstring.c:86 (0x2018000)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_no_protection (0x2019714)
Line          : objectgetnoprotection.c:67 (0x201973c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x200e574)
Line          : objectidtoname.c:64 (0x200e5cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x200e574)
Line          : objectidtoname.c:68 (0x200e5dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Set_name (0x2008ba0)
Line          : objectsetname.c:47 (0x2008c3c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Shrink_information (0x2008568)
Line          : objectshrinkinformation.c:65 (0x2008588)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Shrink_information (0x2008568)
Line          : objectshrinkinformation.c:66 (0x200859c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Shrink_information (0x2008568)
Line          : objectshrinkinformation.c:86 (0x2008620)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Condition_variables_Wait_support (0x200788c)
Line          : condwaitsupp.c:89 (0x200799c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x2010944)
Line          : keyrundestructors.c:61 (0x20109b8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x2010944)
Line          : keyrundestructors.c:48 (0x20109e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x200b9e8)
Line          : mqueuerecvsupp.c:90 (0x200ba4c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x200b9e8)
Line          : mqueuerecvsupp.c:108 (0x200baf4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Send_support (0x200bb80)
Line          : mqueuesendsupp.c:113 (0x200bbfc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x200d664)
Line          : canceleval.c:30 (0x200d670)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Translate_sched_param (0x200ecbc)
Line          : psxtransschedparam.c:30 (0x200eccc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Delete_extension (0x200d7d4)
Line          : pthread.c:262 (0x200d808)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006ee0)
Line          : pthreadinitthreads.c:59 (0x2006ef4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006ee0)
Line          : pthreadinitthreads.c:59 (0x2006f00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006ee0)
Line          : pthreadinitthreads.c:69 (0x2006f54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_TSR (0x200d9cc)
Line          : pthread.c:96 (0x200d9f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x200d978)
Line          : pthread.c:142 (0x200d99c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x200d978)
Line          : pthread.c:148 (0x200d9ac)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_cancel_run (0x20108d4)
Line          : cancelrun.c:39 (0x2010934)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x2006ae4)
Line          : timertsr.c:47 (0x2006b08)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x2006ae4)
Line          : timertsr.c:55 (0x2006b50)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Check_signal (0x2010d2c)
Line          : psignalchecksignal.c:66 (0x2010d74)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x20118b8)
Line          : psignalclearprocesssignals.c:56 (0x2011904)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x20118b8)
Line          : chain.inl:141 (0x2011938)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x2007720)
Line          : sigtimedwait.c:36 (0x2007734)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x2007720)
Line          : sigtimedwait.c:48 (0x200775c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x200d600)
Line          : psignal.c:129 (0x200d614)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x200d600)
Line          : psignal.c:142 (0x200d6cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x2010f58)
Line          : psignalunblockthread.c:111 (0x2010fb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x2010f58)
Line          : psignalunblockthread.c:116 (0x2010fe8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x2010f58)
Line          : psignalunblockthread.c:117 (0x2011008)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Initialize_user_tasks_body (0x2006ca8)
Line          : taskinitusers.c:72 (0x2006cc8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Initialize_user_tasks_body (0x2006ca8)
Line          : taskinitusers.c:72 (0x2006d1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x200de24)
Line          : tasks.c:188 (0x200de30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Switch_extension (0x200dd48)
Line          : tasks.c:156 (0x200dd70)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Switch_extension (0x200dd48)
Line          : tasks.c:163 (0x200dda0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x204706c)
Line          : ratemontimeout.c:55 (0x204708c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x2007958)
Line          : clocktodvalidate.c:59 (0x2007964)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x2007958)
Line          : clocktodvalidate.c:59 (0x20079c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x2007958)
Line          : clocktodvalidate.c:59 (0x20079e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x2008728)
Line          : threadchangepriority.c:103 (0x2008770)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x2008728)
Line          : threadchangepriority.c:113 (0x20087c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Clear_state (0x2008938)
Line          : threadclearstate.c:89 (0x20089fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Delay_ended (0x2008bc0)
Line          : threaddelayended.c:55 (0x2008bd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x2008c00)
Line          : threaddispatch.c:123 (0x2008cb4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x2011680)
Line          : threadevaluatemode.c:46 (0x2011690)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x2011680)
Line          : threadevaluatemode.c:47 (0x20116b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x20116d8)
Line          : threadhandler.c:151 (0x201176c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x2008e84)
Line          : threadinitialize.c:229 (0x2008fd4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x2008e84)
Line          : threadinitialize.c:98 (0x20090c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x200d178)
Line          : threadresume.c:78 (0x200d190)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x200d178)
Line          : threadresume.c:92 (0x200d238)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Stack_Free (0x2009a6c)
Line          : threadstackfree.c:48 (0x2009a78)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Tickle_timeslice (0x2009b4c)
Line          : threadtickletimeslice.c:74 (0x2009b94)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x2009bf8)
Line          : threadyieldprocessor.c:68 (0x2009c64)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x2009bf8)
Line          : threadyieldprocessor.c:72 (0x2009c8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x2009404)
Line          : threadqenqueuepriority.c:98 (0x20094b4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x20096c0)
Line          : threadqrequeue.c:53 (0x20096c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x20096c0)
Line          : threadqrequeue.c:60 (0x20096d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x20096c0)
Line          : threadqrequeue.c:66 (0x2009704)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x2009740)
Line          : threadqtimeout.c:49 (0x2009758)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2016f7c)
Line          : timerserver.c:119 (0x2017040)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2016f7c)
Line          : timerserver.c:297 (0x2017060)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2016f7c)
Line          : timerserver.c:339 (0x2017078)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Fatal (0x2009eb4)
Line          : userextthreadbegin.c:72 (0x2009ec8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Handler_initialization (0x2009d60)
Line          : userext.c:55 (0x2009ddc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_begin (0x2009e18)
Line          : userextthreadbegin.c:34 (0x2009e30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_create (0x2009f04)
Line          : userextthreadcreate.c:35 (0x2009f1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_delete (0x2009f6c)
Line          : userextthreaddelete.c:34 (0x2009f80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_exitted (0x2009e68)
Line          : userextthreadbegin.c:52 (0x2009e7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_restart (0x200acc4)
Line          : userextthreadrestart.c:34 (0x200acdc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_start (0x2009fbc)
Line          : userextthreadstart.c:34 (0x2009fd4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_switch (0x200a010)
Line          : userextthreadswitch.c:35 (0x200a028)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200c2a4)
Line          : watchdogadjust.c:63 (0x200c2d0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200c2a4)
Line          : watchdogadjust.c:64 (0x200c2e0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200c2a4)
Line          : watchdogadjust.c:63 (0x200c2f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200c2a4)
Line          : watchdogadjust.c:58 (0x200c340)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Remove (0x200a1fc)
Line          : watchdogremove.c:41 (0x200a23c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Report_chain (0x200ba50)
Line          : watchdogreportchain.c:37 (0x200ba9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x2006804)
Line          : adjtime.c:84 (0x20068e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x2006804)
Line          : adjtime.c:90 (0x2006904)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x2006804)
Line          : adjtime.c:100 (0x2006940)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x20067f0)
Line          : clockgettime.c:46 (0x2006808)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_settime (0x202ee24)
Line          : clocksettime.c:38 (0x202ee2c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:77 (0x2010a04)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:83 (0x2010a0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:86 (0x2010a18)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:140 (0x2010adc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:268 (0x2010c0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x20109f4)
Line          : killinfo.c:323 (0x2010c84)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mq_open (0x200b7f8)
Line          : mqueueopen.c:72 (0x200b838)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x202bb4c)
Line          : nanosleep.c:48 (0x202bb6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x202bb4c)
Line          : nanosleep.c:48 (0x202bb7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_attr_setschedpolicy (0x200b294)
Line          : pthreadattrsetschedpolicy.c:32 (0x200b2c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x2006e04)
Line          : pbarrierinit.c:76 (0x2006e3c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_push (0x200658c)
Line          : cleanuppush.c:53 (0x20065b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_init (0x20076c8)
Line          : condinit.c:48 (0x20076e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_condattr_destroy (0x200753c)
Line          : condattrdestroy.c:37 (0x2007550)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x2006afc)
Line          : pthreadcreate.c:116 (0x2006bcc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20111cc)
Line          : pthreadkill.c:37 (0x20111d4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20111cc)
Line          : pthreadkill.c:44 (0x20111f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20111cc)
Line          : pthreadkill.c:55 (0x2011220)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_gettype (0x2006314)
Line          : mutexattrgettype.c:38 (0x2006330)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_setpshared (0x20088e0)
Line          : mutexattrsetpshared.c:39 (0x20088fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_settype (0x20063a0)
Line          : mutexattrsettype.c:32 (0x20063b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x2007298)
Line          : pthreadonce.c:36 (0x20072f0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x2007928)
Line          : prwlockinit.c:68 (0x2007948)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x2007928)
Line          : prwlockinit.c:71 (0x2007958)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x2007a50)
Line          : prwlocktimedrdlock.c:85 (0x2007af0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x2007a50)
Line          : prwlocktimedrdlock.c:85 (0x2007af8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x2007b14)
Line          : prwlocktimedwrlock.c:85 (0x2007bb4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x2007b14)
Line          : prwlocktimedwrlock.c:85 (0x2007bbc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlockattr_setpshared (0x200842c)
Line          : rwlockattrsetpshared.c:35 (0x2008448)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x20096b4)
Line          : pthreadsetschedparam.c:73 (0x2009760)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x20096b4)
Line          : pthreadsetschedparam.c:73 (0x20097b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x2006e38)
Line          : testcancel.c:44 (0x2006e48)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x2006e38)
Line          : testcancel.c:50 (0x2006e70)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_barrier_create (0x200daf8)
Line          : barriercreate.c:73 (0x200db50)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_io_register_driver (0x2008424)
Line          : ioregisterdriver.c:47 (0x200849c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x20099a0)
Line          : iterateoverthreads.c:32 (0x20099a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x20099a0)
Line          : iterateoverthreads.c:46 (0x20099fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_object_get_class_information (0x2008508)
Line          : rtemsobjectgetclassinfo.c:51 (0x2008558)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_create (0x2014734)
Line          : partcreate.c:66 (0x2014750)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x2046ea8)
Line          : ratemonperiod.c:265 (0x2046f10)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x2046ea8)
Line          : ratemonperiod.c:283 (0x2046f5c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x202fcb0)
Line          : ratemonreportstatistics.c:52 (0x202fcb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x202fcb0)
Line          : ratemonreportstatistics.c:98 (0x202fd20)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x202fcb0)
Line          : ratemonreportstatistics.c:98 (0x202fde4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_reset_all_statistics (0x202fee0)
Line          : ratemonresetall.c:46 (0x202ff08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x2015618)
Line          : regiongetsegmentsize.c:67 (0x2015674)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x2015618)
Line          : regiongetsegmentsize.c:64 (0x2015690)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_signal_send (0x2015d3c)
Line          : signalsend.c:69 (0x2015dd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_mode (0x20112dc)
Line          : taskmode.c:125 (0x20113ec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_set_priority (0x200b884)
Line          : tasksetpriority.c:79 (0x200b8f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_variable_delete (0x2030350)
Line          : taskvariabledelete.c:48 (0x20303c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_variable_get (0x2030408)
Line          : taskvariableget.c:53 (0x2030450)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_cancel (0x2016778)
Line          : timercancel.c:53 (0x20167a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x2016c84)
Line          : timerserverfirewhen.c:61 (0x2016cac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_max (0x2007338)
Line          : sched_getprioritymax.c:29 (0x2007368)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_min (0x200737c)
Line          : sched_getprioritymin.c:29 (0x20073ac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_rr_get_interval (0x20073bc)
Line          : sched_rr_get_interval.c:37 (0x20073c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_open (0x2009a88)
Line          : semopen.c:85 (0x2009ad8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_timedwait (0x2009c00)
Line          : semtimedwait.c:61 (0x2009c14)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigaction (0x20071f4)
Line          : sigaction.c:66 (0x2007254)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigsuspend (0x2009544)
Line          : sigsuspend.c:49 (0x2009590)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x2007780)
Line          : sigtimedwait.c:95 (0x20077b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigwait (0x20097f4)
Line          : sigwait.c:38 (0x2009814)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sysconf (0x20063fc)
Line          : sysconf.c:50 (0x2006430)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x200676c)
Line          : timercreate.c:50 (0x2006798)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x200676c)
Line          : timercreate.c:56 (0x20067a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x200676c)
Line          : timercreate.c:59 (0x20067b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x20068a0)
Line          : timersettime.c:42 (0x20068a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x20068a0)
Line          : timersettime.c:48 (0x20068cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x20068a0)
Line          : timersettime.c:76 (0x2006920)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ualarm (0x20066d0)
Line          : ualarm.c:70 (0x20066fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
