============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x20092e4) Line : corerwlockobtainread.c:68 (0x2009338) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x200943c) Line : corerwlockrelease.c:96 (0x200950c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x2009534) Line : corerwlocktimeout.c:44 (0x200954c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x20168fc) Line : coremsgbroadcast.c:72 (0x201690c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x2010170) Line : coremsg.c:76 (0x20101a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x2010170) Line : coremsg.c:86 (0x20101bc) 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_message_queue_Seize (0x2010234) Line : coremsgseize.c:76 (0x2010274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x2006edc) Line : coremutexseize.c:39 (0x2006ef8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x2007140) Line : coresemsurrender.c:68 (0x2007174) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x2005d38) Line : eventseize.c:73 (0x2005d6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ea4) Line : eventsurrender.c:78 (0x2005f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ea4) Line : eventsurrender.c:82 (0x2005f24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ea4) Line : eventsurrender.c:96 (0x2005f64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x2005fe0) Line : eventtimeout.c:51 (0x2005ff8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x200d5fc) Line : heapallocate.c:200 (0x200d76c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x2011e64) Line : heapextend.c:76 (0x2011ec4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heap.inl:198 (0x200d818) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heapfree.c:46 (0x200d830) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heapfree.c:51 (0x200d840) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heap.inl:198 (0x200d880) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heapfree.c:64 (0x200d894) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200d7c8) Line : heapfree.c:71 (0x200d8a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201babc) Line : heap.inl:198 (0x201bb0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201babc) Line : heapsizeofuserarea.c:47 (0x201bb24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201babc) Line : heapsizeofuserarea.c:47 (0x201bb34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x2008488) Line : heap.inl:198 (0x2008750) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x200771c) Line : objectallocate.c:53 (0x200772c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x20077d4) Line : objectextendinformation.c:89 (0x200785c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007b2c) Line : objectgetinfo.c:43 (0x2007b70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007b2c) Line : objectgetinfo.c:47 (0x2007b84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x20183b4) Line : objectgetnoprotection.c:67 (0x20183dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x200c500) Line : objectidtoname.c:64 (0x200c548) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x200c500) Line : objectidtoname.c:68 (0x200c558) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x20084b0) Line : objectsetname.c:47 (0x20084e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x20072ac) Line : condwaitsupp.c:89 (0x2007398) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Run_destructors (0x200fa0c) Line : keyrundestructors.c:61 (0x200fa7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Run_destructors (0x200fa0c) Line : keyrundestructors.c:48 (0x200faa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x200b054) Line : mqueuerecvsupp.c:90 (0x200b0d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x200b054) Line : mqueuerecvsupp.c:108 (0x200b114) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x200ca24) Line : canceleval.c:30 (0x200ca30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x200de44) Line : psxtransschedparam.c:30 (0x200de54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x200cb3c) Line : pthread.c:262 (0x200cb70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006840) Line : pthreadinitthreads.c:59 (0x2006854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006840) Line : pthreadinitthreads.c:59 (0x2006860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006840) Line : pthreadinitthreads.c:69 (0x20068c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x200ccf8) Line : pthread.c:96 (0x200cd24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x200cca8) Line : pthread.c:142 (0x200cccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x200cca8) Line : pthread.c:148 (0x200ccdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x20064cc) Line : timertsr.c:47 (0x20064f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x20064cc) Line : timertsr.c:55 (0x2006518) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x200fd94) Line : psignalchecksignal.c:66 (0x200fddc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x201083c) Line : chain.inl:141 (0x2010884) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x201083c) Line : psignalclearprocesssignals.c:56 (0x20108a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x2006fe4) Line : sigtimedwait.c:36 (0x2006ff8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x2006fe4) Line : sigtimedwait.c:48 (0x2007034) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Post_switch_extension (0x200c980) Line : psignal.c:129 (0x200c994) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x200ff98) Line : psignalunblockthread.c:111 (0x201006c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x200ff98) Line : psignalunblockthread.c:116 (0x2010098) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x200ff98) Line : psignalunblockthread.c:117 (0x20100b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x200d0f8) Line : tasks.c:188 (0x200d104) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x20412c4) Line : ratemontimeout.c:55 (0x20412e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20073b8) Line : clocktodvalidate.c:59 (0x20073c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20073b8) Line : clocktodvalidate.c:59 (0x2007420) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20073b8) Line : clocktodvalidate.c:59 (0x2007448) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2007ff8) Line : threadchangepriority.c:103 (0x2008044) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2007ff8) Line : threadchangepriority.c:113 (0x200807c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x20081dc) Line : threadclearstate.c:89 (0x2008298) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x2008460) Line : threaddelayended.c:55 (0x2008478) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x20084a0) Line : threaddispatch.c:123 (0x200855c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x2010620) Line : threadevaluatemode.c:46 (0x2010630) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x2010620) Line : threadevaluatemode.c:47 (0x2010654) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x2010678) Line : threadhandler.c:151 (0x2010720) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x2008704) Line : threadinitialize.c:98 (0x2008748) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x2008704) Line : threadinitialize.c:229 (0x20088e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x200c6ac) Line : threadresume.c:78 (0x200c6c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x200c6ac) Line : threadresume.c:92 (0x200c764) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x2009228) Line : threadstackfree.c:48 (0x2009234) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x200930c) Line : threadtickletimeslice.c:74 (0x2009354) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x20093b4) Line : threadyieldprocessor.c:68 (0x2009420) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x20093b4) Line : threadyieldprocessor.c:72 (0x200943c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x2008c4c) Line : threadqenqueuepriority.c:98 (0x2008cd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008e90) Line : threadqrequeue.c:53 (0x2008e98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008e90) Line : threadqrequeue.c:60 (0x2008ea8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008e90) Line : threadqrequeue.c:66 (0x2008ecc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x2008f04) Line : threadqtimeout.c:49 (0x2008f1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2015de4) Line : timerserver.c:119 (0x2015ecc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2015de4) Line : timerserver.c:339 (0x2015ef4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2015de4) Line : timerserver.c:387 (0x2015f4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b978) Line : watchdogadjust.c:58 (0x200b9a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b978) Line : watchdogadjust.c:63 (0x200ba00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x2009944) Line : watchdogremove.c:41 (0x200996c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x200b0e8) Line : watchdogreportchain.c:37 (0x200b134) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x200626c) Line : adjtime.c:100 (0x20063a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x2006238) Line : clockgettime.c:46 (0x200626c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x202af98) Line : clocksettime.c:38 (0x202afa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x200fab4) Line : killinfo.c:77 (0x200fac4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x200fab4) Line : killinfo.c:83 (0x200fadc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x200fab4) Line : killinfo.c:86 (0x200fb00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x200fab4) Line : killinfo.c:268 (0x200fc7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x2028aa4) Line : nanosleep.c:48 (0x2028ac4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x2028aa4) Line : nanosleep.c:48 (0x2028ad4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x200ad84) Line : pthreadattrsetschedpolicy.c:32 (0x200adb0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x2006850) Line : pbarrierinit.c:76 (0x2006894) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x2006004) Line : cleanuppush.c:53 (0x200602c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x200710c) Line : condinit.c:48 (0x200712c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x2006f84) Line : condattrdestroy.c:37 (0x2006f98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x20064ec) Line : pthreadcreate.c:116 (0x20065b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x20101d8) Line : pthreadkill.c:37 (0x20101e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x20101d8) Line : pthreadkill.c:44 (0x2010220) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x20101d8) Line : pthreadkill.c:55 (0x2010248) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x2005d80) Line : mutexattrgettype.c:38 (0x2005d9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x20082e4) Line : mutexattrsetpshared.c:39 (0x2008300) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x2005de8) Line : mutexattrsettype.c:32 (0x2005dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x2006b98) Line : pthreadonce.c:36 (0x2006be0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x2007350) Line : prwlockinit.c:68 (0x200737c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x2007350) Line : prwlockinit.c:71 (0x200738c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x2007480) Line : prwlocktimedrdlock.c:85 (0x2007510) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x2007480) Line : prwlocktimedrdlock.c:85 (0x200751c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x200754c) Line : prwlocktimedwrlock.c:85 (0x20075dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x200754c) Line : prwlocktimedwrlock.c:85 (0x20075e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x2007dd4) Line : rwlockattrsetpshared.c:35 (0x2007df0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x2008f80) Line : pthreadsetschedparam.c:73 (0x2009018) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x2008f80) Line : pthreadsetschedparam.c:73 (0x2009030) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x20067ec) Line : testcancel.c:44 (0x20067fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x20067ec) Line : testcancel.c:50 (0x2006824) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x200929c) Line : iterateoverthreads.c:32 (0x20092a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x200929c) Line : iterateoverthreads.c:46 (0x20092e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x201365c) Line : partcreate.c:66 (0x2013678) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2041110) Line : ratemonperiod.c:265 (0x2041170) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2041110) Line : ratemonperiod.c:283 (0x20411b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x202bd1c) Line : ratemonreportstatistics.c:52 (0x202bd24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x2014c44) Line : signalsend.c:69 (0x2014cc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x20102e8) Line : taskmode.c:125 (0x2010410) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x200afc8) Line : tasksetpriority.c:79 (0x200b038) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x20155fc) Line : timercancel.c:53 (0x201562c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x2015aec) Line : timerserverfirewhen.c:61 (0x2015b14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x2006c24) Line : sched_getprioritymax.c:29 (0x2006c3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x2006c68) Line : sched_getprioritymin.c:29 (0x2006c80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x2006ca0) Line : sched_rr_get_interval.c:37 (0x2006ca8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x200953c) Line : semopen.c:85 (0x2009594) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x2006b48) Line : sigaction.c:66 (0x2006bb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x2008e18) Line : sigsuspend.c:49 (0x2008e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x2007044) Line : sigtimedwait.c:95 (0x200707c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x20090ac) Line : sigwait.c:38 (0x20090cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x2005e70) Line : sysconf.c:50 (0x2005ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x20061dc) Line : timercreate.c:50 (0x2006208) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x20061dc) Line : timercreate.c:56 (0x2006218) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x20061dc) Line : timercreate.c:59 (0x2006228) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x200630c) Line : timersettime.c:42 (0x2006314) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x200630c) Line : timersettime.c:48 (0x2006338) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x20060e0) Line : ualarm.c:70 (0x200612c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================