============================================
Symbol        : _API_extensions_Run_postdriver (0x10c488)
Line          : apiext.c:77 (0x10c49b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _API_extensions_Run_postswitch (0x10c4b4)
Line          : apiext.c:103 (0x10c4c7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Obtain_for_reading (0x10e7ac)
Line          : corerwlockobtainread.c:68 (0x10e85e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Release (0x10e900)
Line          : corerwlockrelease.c:96 (0x10e954)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Timeout (0x10e9b0)
Line          : corerwlocktimeout.c:44 (0x10e9ca)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Broadcast (0x11a190)
Line          : coremsgbroadcast.c:72 (0x11a1a2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x115300)
Line          : coremsg.c:86 (0x11533d)
Size in Bytes : 2
Reason        : ALWAYS 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_message_queue_Initialize (0x115300)
Line          : coremsg.c:76 (0x115354)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x115300)
Line          : coremsg.c:86 (0x115360)
Size in Bytes : 2
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_message_queue_Insert_message (0x1120cc)
Line          : coremsginsert.c:128 (0x112155)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x10c850)
Line          : coremutexseize.c:39 (0x10c868)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x10ca3c)
Line          : coresemsurrender.c:68 (0x10ca65)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Chain_Initialize (0x111fa4)
Line          : chain.c:51 (0x111fbe)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Seize (0x10b6bc)
Line          : eventseize.c:73 (0x10b703)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10b83c)
Line          : eventsurrender.c:96 (0x10b88c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10b83c)
Line          : eventsurrender.c:78 (0x10b8dd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10b83c)
Line          : eventsurrender.c:82 (0x10b8f0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Timeout (0x10b94c)
Line          : eventtimeout.c:51 (0x10b966)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x1122c4)
Line          : heapallocate.c:200 (0x112321)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x1122c4)
Line          : heapallocate.c:120 (0x1123b3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x1122c4)
Line          : heapallocate.c:200 (0x11240a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Block_allocate (0x10cdc0)
Line          : heap.c:385 (0x10ce82)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Extend (0x115c2c)
Line          : heapextend.c:76 (0x115c70)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heap.inl:198 (0x1124bf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heap.inl:198 (0x1124c3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heapfree.c:51 (0x1124ce)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heap.inl:198 (0x112507)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heap.inl:198 (0x11250b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x112478)
Line          : heapfree.c:71 (0x112511)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Get_free_information (0x131dfc)
Line          : heapgetfreeinfo.c:40 (0x131e21)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Get_information (0x145104)
Line          : heapgetinfo.c:46 (0x145144)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x120d10)
Line          : heap.inl:198 (0x120d33)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x120d10)
Line          : heap.inl:198 (0x120d46)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x120d10)
Line          : heap.inl:198 (0x120d4a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x120d10)
Line          : heapsizeofuserarea.c:47 (0x120d50)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:327 (0x10d952)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heap.inl:198 (0x10d9f0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heap.inl:198 (0x10da70)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:82 (0x10da7c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:95 (0x10da8d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:106 (0x10da98)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heap.inl:198 (0x10dab3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:335 (0x10daf7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heap.inl:198 (0x10db2a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10d900)
Line          : heapwalk.c:133 (0x10dbfb)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _IO_Initialize_all_drivers (0x10c30c)
Line          : io.c:100 (0x10c31b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _IO_Manager_initialization (0x10c33c)
Line          : io.c:81 (0x10c3a4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Allocate (0x10cf48)
Line          : objectallocate.c:53 (0x10cf55)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:74 (0x10d021)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:75 (0x10d02b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:89 (0x10d062)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:187 (0x10d0e8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:187 (0x10d0fe)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10cfec)
Line          : objectextendinformation.c:198 (0x10d127)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x10d358)
Line          : objectgetinfo.c:43 (0x10d38d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x10d358)
Line          : objectgetinfo.c:47 (0x10d394)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_name_as_string (0x119f20)
Line          : objectgetnameasstring.c:86 (0x119f93)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_no_protection (0x11b95c)
Line          : objectgetnoprotection.c:67 (0x11b981)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x1120fc)
Line          : objectidtoname.c:64 (0x112136)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x1120fc)
Line          : objectidtoname.c:68 (0x11213c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Set_name (0x10dc24)
Line          : objectsetname.c:47 (0x10dcaf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Shrink_information (0x10d5f4)
Line          : objectshrinkinformation.c:65 (0x10d614)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Shrink_information (0x10d5f4)
Line          : objectshrinkinformation.c:66 (0x10d61e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Condition_variables_Wait_support (0x10c8ac)
Line          : condwaitsupp.c:89 (0x10c9a5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x1143d8)
Line          : keyrundestructors.c:61 (0x11443f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x1143d8)
Line          : keyrundestructors.c:48 (0x11445b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x1102d0)
Line          : mqueuerecvsupp.c:90 (0x110332)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x1102d0)
Line          : mqueuerecvsupp.c:108 (0x11035f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x11178c)
Line          : canceleval.c:30 (0x1117a3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Translate_sched_param (0x1128e8)
Line          : psxtransschedparam.c:30 (0x112906)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Delete_extension (0x111718)
Line          : pthread.c:262 (0x11175f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10c06c)
Line          : pthreadinitthreads.c:59 (0x10c085)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10c06c)
Line          : pthreadinitthreads.c:59 (0x10c089)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10c06c)
Line          : pthreadinitthreads.c:69 (0x10c0c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_TSR (0x111948)
Line          : pthread.c:96 (0x111980)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x111904)
Line          : pthread.c:142 (0x11192f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x111904)
Line          : pthread.c:148 (0x111934)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_cancel_run (0x114374)
Line          : cancelrun.c:39 (0x1143cc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10bdec)
Line          : timertsr.c:47 (0x10be05)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10bdec)
Line          : timertsr.c:55 (0x10be45)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Check_signal (0x1146f0)
Line          : psignalchecksignal.c:66 (0x114728)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x115048)
Line          : psignalclearprocesssignals.c:56 (0x115076)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x115048)
Line          : chain.inl:141 (0x115090)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10c74c)
Line          : sigtimedwait.c:36 (0x10c767)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10c74c)
Line          : sigtimedwait.c:48 (0x10c77c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x1115c8)
Line          : psignal.c:129 (0x1115e4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1148b0)
Line          : psignalunblockthread.c:111 (0x114910)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1148b0)
Line          : psignalunblockthread.c:116 (0x114936)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1148b0)
Line          : psignalunblockthread.c:117 (0x114947)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Initialize_user_tasks_body (0x10c0b0)
Line          : taskinitusers.c:72 (0x10c0cb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Initialize_user_tasks_body (0x10c0b0)
Line          : taskinitusers.c:72 (0x10c10d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x111d40)
Line          : tasks.c:188 (0x111d54)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Switch_extension (0x111c9c)
Line          : tasks.c:156 (0x111cbd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Switch_extension (0x111c9c)
Line          : tasks.c:163 (0x111cdd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x144ed8)
Line          : ratemontimeout.c:55 (0x144ef7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10c890)
Line          : clocktodvalidate.c:59 (0x10c89f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10c890)
Line          : clocktodvalidate.c:59 (0x10c8c6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10c890)
Line          : clocktodvalidate.c:59 (0x10c8dc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x10d784)
Line          : threadchangepriority.c:103 (0x10d7c5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x10d784)
Line          : threadchangepriority.c:113 (0x10d7eb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Clear_state (0x10d8c4)
Line          : threadclearstate.c:89 (0x10d952)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Delay_ended (0x10dad4)
Line          : threaddelayended.c:55 (0x10daee)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x10db10)
Line          : threaddispatch.c:123 (0x10db82)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x114e90)
Line          : threadevaluatemode.c:46 (0x114e9d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x114e90)
Line          : threadevaluatemode.c:47 (0x114eab)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x114ebc)
Line          : threadhandler.c:151 (0x114f33)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10dd08)
Line          : threadinitialize.c:229 (0x10dea0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10dd08)
Line          : threadinitialize.c:98 (0x10df82)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x111870)
Line          : threadresume.c:78 (0x111880)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x111870)
Line          : threadresume.c:92 (0x1118fa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Stack_Free (0x10e70c)
Line          : threadstackfree.c:48 (0x10e71c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Tickle_timeslice (0x10e804)
Line          : threadtickletimeslice.c:74 (0x10e82e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10e870)
Line          : threadyieldprocessor.c:68 (0x10e8ad)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10e870)
Line          : threadyieldprocessor.c:72 (0x10e8ce)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x10e23c)
Line          : threadqenqueuepriority.c:98 (0x10e296)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10e454)
Line          : threadqrequeue.c:53 (0x10e465)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10e454)
Line          : threadqrequeue.c:60 (0x10e46b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10e454)
Line          : threadqrequeue.c:66 (0x10e482)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x10e4b4)
Line          : threadqtimeout.c:49 (0x10e4ce)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x119828)
Line          : timerserver.c:119 (0x1198ca)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1199d4)
Line          : timerserver.c:195 (0x119a57)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Fatal (0x10ea88)
Line          : userextthreadbegin.c:72 (0x10eaa6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Handler_initialization (0x10e94c)
Line          : userext.c:55 (0x10e9cd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_begin (0x10ea10)
Line          : userextthreadbegin.c:34 (0x10ea24)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_create (0x10ead8)
Line          : userextthreadcreate.c:35 (0x10eaec)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_delete (0x10eb20)
Line          : userextthreaddelete.c:34 (0x10eb34)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_exitted (0x10ea4c)
Line          : userextthreadbegin.c:52 (0x10ea60)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_restart (0x10f714)
Line          : userextthreadrestart.c:34 (0x10f728)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_start (0x10eb60)
Line          : userextthreadstart.c:34 (0x10eb74)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _User_extensions_Thread_switch (0x10eba0)
Line          : userextthreadswitch.c:35 (0x10ebbb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x1105d8)
Line          : watchdogadjust.c:63 (0x1105ff)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x1105d8)
Line          : watchdogadjust.c:64 (0x110606)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x1105d8)
Line          : watchdogadjust.c:63 (0x11060e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x1105d8)
Line          : watchdogadjust.c:58 (0x110641)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Remove (0x10ed08)
Line          : watchdogremove.c:41 (0x10ed2f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Report_chain (0x1100fc)
Line          : watchdogreportchain.c:37 (0x11013a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x10bab8)
Line          : adjtime.c:84 (0x10bb6b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x10bab8)
Line          : adjtime.c:90 (0x10bb78)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x10bab8)
Line          : adjtime.c:100 (0x10bba6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x10ba58)
Line          : clockgettime.c:46 (0x10ba70)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_settime (0x1302a0)
Line          : clocksettime.c:38 (0x1302ae)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x114460)
Line          : killinfo.c:77 (0x114477)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x114460)
Line          : killinfo.c:83 (0x11447f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x114460)
Line          : killinfo.c:86 (0x11448b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x114460)
Line          : killinfo.c:140 (0x114523)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x114460)
Line          : killinfo.c:268 (0x11460a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mq_getattr (0x10ffa4)
Line          : mqueuegetattr.c:57 (0x10ffb0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x12af24)
Line          : nanosleep.c:48 (0x12af47)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x12af24)
Line          : nanosleep.c:48 (0x12af52)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_attr_setschedpolicy (0x1105a0)
Line          : pthreadattrsetschedpolicy.c:32 (0x1105bf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x10bf5c)
Line          : pbarrierinit.c:63 (0x10bf7c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x10bf5c)
Line          : pbarrierinit.c:76 (0x10bf8d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x10bf5c)
Line          : pbarrierinit.c:97 (0x10bfb6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_push (0x10b964)
Line          : cleanuppush.c:53 (0x10b98d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_init (0x10c71c)
Line          : condinit.c:48 (0x10c732)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_condattr_destroy (0x10c5b4)
Line          : condattrdestroy.c:37 (0x10c5c2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x10bccc)
Line          : pthreadcreate.c:110 (0x10bd3a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x10bccc)
Line          : pthreadcreate.c:116 (0x10bd95)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_join (0x110b1c)
Line          : pthreadjoin.c:42 (0x110b5b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_join (0x110b1c)
Line          : pthreadjoin.c:47 (0x110b65)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x114ae0)
Line          : pthreadkill.c:37 (0x114aee)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x114ae0)
Line          : pthreadkill.c:44 (0x114b15)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x114ae0)
Line          : pthreadkill.c:55 (0x114b28)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_gettype (0x10b7e8)
Line          : mutexattrgettype.c:38 (0x10b7fd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_setpshared (0x10d644)
Line          : mutexattrsetpshared.c:39 (0x10d65a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_settype (0x10b838)
Line          : mutexattrsettype.c:32 (0x10b849)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x10c414)
Line          : pthreadonce.c:36 (0x10c458)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10c8d8)
Line          : prwlockinit.c:68 (0x10c8f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10c8d8)
Line          : prwlockinit.c:71 (0x10c8fd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10c9f4)
Line          : prwlocktimedrdlock.c:85 (0x10ca8e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10c9f4)
Line          : prwlocktimedrdlock.c:85 (0x10ca93)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10caa8)
Line          : prwlocktimedwrlock.c:85 (0x10cb42)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10caa8)
Line          : prwlocktimedwrlock.c:85 (0x10cb47)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlockattr_setpshared (0x10d364)
Line          : rwlockattrsetpshared.c:35 (0x10d37a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10e358)
Line          : pthreadsetschedparam.c:44 (0x10e366)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10e358)
Line          : pthreadsetschedparam.c:60 (0x10e3a9)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10e358)
Line          : pthreadsetschedparam.c:73 (0x10e3f4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10e358)
Line          : pthreadsetschedparam.c:73 (0x10e454)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10c1b8)
Line          : testcancel.c:44 (0x10c1c5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10c1b8)
Line          : testcancel.c:50 (0x10c1e7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_extension_create (0x110e60)
Line          : extensioncreate.c:38 (0x110e71)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_io_register_driver (0x10d530)
Line          : ioregisterdriver.c:47 (0x10d590)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10e548)
Line          : iterateoverthreads.c:32 (0x10e556)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10e548)
Line          : iterateoverthreads.c:46 (0x10e588)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_message_queue_send (0x10b9e0)
Line          : msgqsend.c:69 (0x10b9f0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_object_get_class_information (0x10d4dc)
Line          : rtemsobjectgetclassinfo.c:51 (0x10d51b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_create (0x1170d4)
Line          : partcreate.c:66 (0x1170f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_return_buffer (0x1172e4)
Line          : address.inl:135 (0x117327)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x144d28)
Line          : ratemonperiod.c:283 (0x144d9e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x144d28)
Line          : ratemonperiod.c:265 (0x144e3e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x130f20)
Line          : ratemonreportstatistics.c:52 (0x130f31)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x130f20)
Line          : ratemonreportstatistics.c:98 (0x130f79)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x130f20)
Line          : ratemonreportstatistics.c:98 (0x130ff1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_reset_all_statistics (0x13111c)
Line          : ratemonresetall.c:46 (0x13113a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x117f8c)
Line          : regiongetsegmentsize.c:55 (0x117f9c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x117f8c)
Line          : regiongetsegmentsize.c:58 (0x117fa0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x117f8c)
Line          : regiongetsegmentsize.c:64 (0x117fcc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x117f8c)
Line          : regiongetsegmentsize.c:67 (0x117fdf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_region_get_segment_size (0x117f8c)
Line          : regiongetsegmentsize.c:64 (0x118005)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_semaphore_create (0x10ba6c)
Line          : semcreate.c:201 (0x10bb58)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_signal_send (0x11866c)
Line          : signalsend.c:69 (0x1186d7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_set_priority (0x10ffe8)
Line          : tasksetpriority.c:79 (0x110038)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_variable_delete (0x131548)
Line          : taskvariabledelete.c:48 (0x13159b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_variable_get (0x1315d4)
Line          : taskvariableget.c:53 (0x131614)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_cancel (0x118fbc)
Line          : timercancel.c:53 (0x118fe8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x1194f4)
Line          : timerserverfirewhen.c:61 (0x119518)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_max (0x10c4ac)
Line          : sched_getprioritymax.c:29 (0x10c4c1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_min (0x10c4e4)
Line          : sched_getprioritymin.c:29 (0x10c4f4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_rr_get_interval (0x10c518)
Line          : sched_rr_get_interval.c:37 (0x10c525)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_open (0x10eb6c)
Line          : semopen.c:85 (0x10ebb2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_timedwait (0x10ecb4)
Line          : semtimedwait.c:61 (0x10ecd0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigaction (0x10c358)
Line          : sigaction.c:66 (0x10c394)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigsuspend (0x10e0fc)
Line          : sigsuspend.c:49 (0x10e13d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x10c790)
Line          : sigtimedwait.c:95 (0x10c7d4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x10c790)
Line          : sigtimedwait.c:103 (0x10c7dc)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigwait (0x10e364)
Line          : sigwait.c:38 (0x10e384)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:37 (0x10bb07)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:40 (0x10bb0f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:50 (0x10bb1f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:56 (0x10bb2a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:59 (0x10bb34)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10baf8)
Line          : timercreate.c:69 (0x10bb57)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10bc18)
Line          : timersettime.c:42 (0x10bc29)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10bc18)
Line          : timersettime.c:48 (0x10bc43)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ualarm (0x10b9d0)
Line          : ualarm.c:70 (0x10ba00)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

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