============================================ Symbol : _CORE_RWLock_Release (0x40008fb4) Line : corerwlockrelease.c:95 (0x40009084) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x400090ac) Line : corerwlocktimeout.c:44 (0x400090c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x4000f9d0) Line : coremsg.c:76 (0x4000fa04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x4000f9d0) Line : coremsg.c:86 (0x4000fa24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x4000fa94) Line : coremsgseize.c:76 (0x4000fad8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x40006844) Line : coremutexseize.c:39 (0x40006860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x40006a84) Line : coresemsurrender.c:68 (0x40006ab4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400057cc) Line : eventsurrender.c:79 (0x4000582c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400057cc) Line : eventsurrender.c:82 (0x40005850) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400057cc) Line : eventsurrender.c:96 (0x40005890) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x4000590c) Line : eventtimeout.c:51 (0x40005924) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000c48c) Line : heapextend.c:239 (0x4000c728) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heap.inl:199 (0x4000c1ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heapfree.c:139 (0x4000c204) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heapfree.c:145 (0x4000c214) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heap.inl:199 (0x4000c258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heapfree.c:162 (0x4000c26c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c18c) Line : heapfree.c:169 (0x4000c27c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4001373c) Line : heap.inl:199 (0x40013790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4001373c) Line : heapsizeofuserarea.c:47 (0x400137a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x4001373c) Line : heapsizeofuserarea.c:49 (0x400137b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x40007ea0) Line : heap.inl:199 (0x40008130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x40007ea0) Line : heapwalk.c:369 (0x400081c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x40007098) Line : objectallocate.c:59 (0x400070a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x400074a0) Line : objectgetinfo.c:43 (0x400074e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x400074a0) Line : objectgetinfo.c:47 (0x400074f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x40018e84) Line : objectgetnoprotection.c:67 (0x40018eac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x40008d7c) Line : objectidtoname.c:64 (0x40008dc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x40008d7c) Line : objectidtoname.c:68 (0x40008dd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x4000ad54) Line : mqueuerecvsupp.c:90 (0x4000addc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x4000b3f8) Line : canceleval.c:30 (0x4000b404) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x4000c890) Line : psxtransschedparam.c:30 (0x4000c8a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40006130) Line : pthreadinitthreads.c:59 (0x40006144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40006130) Line : pthreadinitthreads.c:59 (0x40006150) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x40006130) Line : pthreadinitthreads.c:69 (0x400061b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x4000b738) Line : pthread.c:99 (0x4000b764) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x4000b7a4) Line : pthread.c:145 (0x4000b7c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x4000b7a4) Line : pthread.c:151 (0x4000b7d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40005e70) Line : timertsr.c:46 (0x40005e98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x40005e70) Line : timertsr.c:55 (0x40005ec0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x4000da54) Line : psignalchecksignal.c:68 (0x4000daa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x4000e184) Line : psignalclearprocesssignals.c:51 (0x4000e1cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x400068e4) Line : sigtimedwait.c:36 (0x400068f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x400068e4) Line : sigtimedwait.c:48 (0x40006934) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x40023f94) Line : psignalunblockthread.c:109 (0x40024074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x40023f94) Line : psignalunblockthread.c:114 (0x4002409c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x40023f94) Line : psignalunblockthread.c:115 (0x400240c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x4000737c) Line : ratemontimeout.c:55 (0x4000739c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Update_statistics (0x40006dfc) Line : ratemonperiod.c:177 (0x40006e3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x40007934) Line : schedulerpriority.inl:143 (0x40007a70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x40007c58) Line : schedulerpriority.inl:143 (0x40007d08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40006db0) Line : clocktodvalidate.c:59 (0x40006dc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40006db0) Line : clocktodvalidate.c:63 (0x40006e20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40006db0) Line : clocktodvalidate.c:66 (0x40006e48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40007f40) Line : threadchangepriority.c:62 (0x40007f8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40007f40) Line : threadchangepriority.c:72 (0x40007fc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x40008220) Line : threaddelayended.c:55 (0x40008238) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x40008260) Line : threaddispatch.c:138 (0x40008304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x4000e010) Line : threadhandler.c:151 (0x4000e080) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40008450) Line : threadinitialize.c:100 (0x40008490) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x4000c264) Line : threadresume.c:51 (0x4000c27c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x40008dcc) Line : threadtickletimeslice.c:75 (0x40008e14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40008b44) Line : threadqrequeue.c:53 (0x40008b4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40008b44) Line : threadqrequeue.c:60 (0x40008b5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40008b44) Line : threadqrequeue.c:66 (0x40008b80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x40008bb8) Line : threadqtimeout.c:49 (0x40008bd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40016534) Line : timerserver.c:119 (0x40016600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40016534) Line : timerserver.c:342 (0x40016628) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40016534) Line : timerserver.c:319 (0x40016644) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40016534) Line : timerserver.c:387 (0x4001667c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x40016700) Line : timerserver.c:195 (0x400167e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Fatal (0x40009064) Line : userextthreadbegin.c:72 (0x4000909c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x40008f28) Line : userext.c:43 (0x40008f6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000b218) Line : watchdogadjust.c:58 (0x4000b244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000b218) Line : watchdogadjust.c:63 (0x4000b2a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x4000934c) Line : watchdogremove.c:41 (0x40009374) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x4000aa24) Line : watchdogreportchain.c:37 (0x4000aa70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x40006570) Line : aio_cancel.c:59 (0x400065e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_cancel (0x40006570) Line : aio_cancel.c:100 (0x400066a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_fsync (0x40006754) Line : aio_fsync.c:55 (0x40006794) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_read (0x40006f50) Line : aio_read.c:48 (0x40006f74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_read (0x40006f50) Line : aio_read.c:58 (0x40006fa8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : aio_write (0x40006ff0) Line : aio_write.c:58 (0x40007044) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x40005b84) Line : clockgettime.c:44 (0x40005bb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x40005c14) Line : clocksettime.c:36 (0x40005c1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40023c88) Line : killinfo.c:189 (0x40023df0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40023c88) Line : killinfo.c:268 (0x40023e50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x40023c88) Line : killinfo.c:268 (0x40023e60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x4000b368) Line : pthreadattrsetschedpolicy.c:32 (0x4000b39c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x400061d8) Line : pbarrierinit.c:76 (0x40006224) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x40005990) Line : cleanuppush.c:53 (0x400059bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x40006a98) Line : condinit.c:47 (0x40006ab8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x400068fc) Line : condattrdestroy.c:37 (0x40006914) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x40005e64) Line : pthreadcreate.c:116 (0x40005f2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x400240d0) Line : pthreadkill.c:44 (0x40024118) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x400080a4) Line : mutextimedlock.c:74 (0x400080e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x400080a4) Line : mutextimedlock.c:75 (0x400080e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutex_timedlock (0x400080a4) Line : mutextimedlock.c:77 (0x400080f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x4000577c) Line : mutexattrgettype.c:38 (0x4000579c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x40007c80) Line : mutexattrsetpshared.c:39 (0x40007ca0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x400057e8) Line : mutexattrsettype.c:32 (0x40005800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x4000648c) Line : pthreadonce.c:36 (0x400064d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x40006f5c) Line : prwlockinit.c:68 (0x40006f90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x40006f5c) Line : prwlockinit.c:71 (0x40006fa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40007088) Line : prwlocktimedrdlock.c:85 (0x40007118) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x40007088) Line : prwlocktimedrdlock.c:87 (0x40007124) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40007148) Line : prwlocktimedwrlock.c:85 (0x400071d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x40007148) Line : prwlocktimedwrlock.c:87 (0x400071e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x4000795c) Line : rwlockattrsetpshared.c:35 (0x4000797c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x400088d8) Line : pthreadsetschedparam.c:73 (0x40008964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x400088d8) Line : pthreadsetschedparam.c:73 (0x4000897c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x40006108) Line : testcancel.c:44 (0x4000611c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x40006108) Line : testcancel.c:50 (0x40006144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40006d20) Line : aio_misc.c:299 (0x40006d34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40006d20) Line : aio_misc.c:314 (0x40006d98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40006d20) Line : aio_misc.c:330 (0x40006e1c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_enqueue (0x40006d20) Line : aio_misc.c:375 (0x40006f28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:417 (0x400069dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:442 (0x40006a48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:442 (0x40006a50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:465 (0x40006aa8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:492 (0x40006aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:503 (0x40006b24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_handle (0x400069a8) Line : aio_misc.c:526 (0x40006ba0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x400067d4) Line : aio_misc.c:40 (0x400067e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x400067d4) Line : aio_misc.c:46 (0x400067fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x400067d4) Line : aio_misc.c:51 (0x40006820) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_init (0x400067d4) Line : aio_misc.c:56 (0x40006848) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x40006c04) Line : aio_misc.c:180 (0x40006c14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_insert_prio (0x40006c04) Line : aio_misc.c:187 (0x40006c3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_move_to_work (0x40006964) Line : aio_misc.c:148 (0x4000698c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_aio_remove_req (0x40006cb0) Line : aio_misc.c:254 (0x40006ce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x40006ac8) Line : chaingetwait.c:39 (0x40006aec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x40008ce0) Line : iterateoverthreads.c:32 (0x40008ce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x40008ce0) Line : iterateoverthreads.c:48 (0x40008d20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x40013eec) Line : partcreate.c:66 (0x40013f10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40006ef4) Line : ratemonperiod.c:265 (0x40006f58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40006ef4) Line : ratemonperiod.c:345 (0x40007060) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x400070b8) Line : ratemonreportstatistics.c:52 (0x400070c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x40015490) Line : signalsend.c:67 (0x40015520) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000dcc0) Line : thread.inl:342 (0x4000de0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000a704) Line : tasksetpriority.c:78 (0x4000a774) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x40015e9c) Line : timercancel.c:53 (0x40015ecc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x40016384) Line : timerserverfirewhen.c:61 (0x400163ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x40006520) Line : sched_getprioritymax.c:29 (0x40006538) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x40006564) Line : sched_getprioritymin.c:29 (0x4000657c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x4000659c) Line : sched_rr_get_interval.c:37 (0x400065a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x40008f48) Line : semopen.c:85 (0x40008fa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x40006490) Line : sigaction.c:66 (0x40006500) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x40006944) Line : sigtimedwait.c:95 (0x40006980) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x40008a98) Line : sigwait.c:38 (0x40008ab8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x400057e0) Line : sysconf.c:50 (0x40005838) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40005b6c) Line : timercreate.c:50 (0x40005ba0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40005b6c) Line : timercreate.c:56 (0x40005bb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x40005b6c) Line : timercreate.c:59 (0x40005bc0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40005ca4) Line : timersettime.c:42 (0x40005cac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x40005ca4) Line : timersettime.c:52 (0x40005cd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x40005a84) Line : ualarm.c:70 (0x40005ad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================