============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x10cedc) Line : corerwlockobtainread.c:68 (0x10cf2c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x10d010) Line : corerwlockrelease.c:96 (0x10d094) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x10d0b0) Line : corerwlocktimeout.c:44 (0x10d0c9) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x117a5c) Line : coremsgbroadcast.c:72 (0x117a73) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x1128e4) Line : coremsg.c:76 (0x112920) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x1128e4) Line : coremsg.c:86 (0x11292c) 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_Seize (0x11298c) Line : coremsgseize.c:76 (0x1129df) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x10b081) Line : coremutexseize.c:39 (0x10b099) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x10b244) Line : coresemsurrender.c:68 (0x10b26a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Seize (0x10a088) Line : eventseize.c:73 (0x10a0cb) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10a1dc) Line : eventsurrender.c:78 (0x10a222) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10a1dc) Line : eventsurrender.c:82 (0x10a235) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x10a1dc) Line : eventsurrender.c:96 (0x10a266) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x10a2c0) Line : eventtimeout.c:51 (0x10a2d9) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x1101e8) Line : heapallocate.c:200 (0x110303) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x113640) Line : heapextend.c:76 (0x113686) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heap.inl:198 (0x110391) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heapfree.c:46 (0x1103a3) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heapfree.c:51 (0x1103b2) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heap.inl:198 (0x1103e8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heapfree.c:64 (0x1103fa) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x110348) Line : heapfree.c:71 (0x110404) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11e5e4) Line : heap.inl:198 (0x11e61c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11e5e4) Line : heapsizeofuserarea.c:47 (0x11e628) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x11e5e4) Line : heapsizeofuserarea.c:47 (0x11e62e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x10c06d) Line : heap.inl:198 (0x10c229) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x10b70c) Line : objectallocate.c:53 (0x10b71a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0x10b7a0) Line : objectextendinformation.c:89 (0x10b80d) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10ba88) Line : objectgetinfo.c:43 (0x10bab4) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x10ba88) Line : objectgetinfo.c:47 (0x10babb) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x118ff8) Line : objectgetnoprotection.c:67 (0x11901d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10f120) Line : objectidtoname.c:64 (0x10f151) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x10f120) Line : objectidtoname.c:68 (0x10f157) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Set_name (0x10c2e0) Line : objectsetname.c:47 (0x10c323) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Condition_variables_Wait_support (0x10b1e4) Line : condwaitsupp.c:89 (0x10b29e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Run_destructors (0x111ec4) Line : keyrundestructors.c:61 (0x111f1c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Keys_Run_destructors (0x111ec4) Line : keyrundestructors.c:48 (0x111f38) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10e6e0) Line : mqueuerecvsupp.c:90 (0x10e74d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x10e6e0) Line : mqueuerecvsupp.c:108 (0x10e785) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x10f704) Line : canceleval.c:30 (0x10f71a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x1107b0) Line : psxtransschedparam.c:30 (0x1107ce) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Delete_extension (0x10f723) Line : pthread.c:262 (0x10f767) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a994) Line : pthreadinitthreads.c:59 (0x10a9ab) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a994) Line : pthreadinitthreads.c:59 (0x10a9af) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x10a994) Line : pthreadinitthreads.c:69 (0x10a9ff) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x10f933) Line : pthread.c:96 (0x10f96a) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3) Line : pthread.c:142 (0x10f91d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3) Line : pthread.c:148 (0x10f922) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10a6cc) Line : timertsr.c:47 (0x10a6e3) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x10a6cc) Line : timertsr.c:55 (0x10a702) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x112170) Line : psignalchecksignal.c:66 (0x1121a4) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x11296c) Line : chain.inl:141 (0x11298e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x11296c) Line : psignalclearprocesssignals.c:56 (0x1129a5) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10b014) Line : sigtimedwait.c:36 (0x10b02f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_highest (0x10b014) Line : sigtimedwait.c:48 (0x10b04d) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Post_switch_extension (0x10f5d9) Line : psignal.c:129 (0x10f5f5) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1122fc) Line : psignalunblockthread.c:111 (0x1123b3) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1122fc) Line : psignalunblockthread.c:116 (0x1123d7) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x1122fc) Line : psignalunblockthread.c:117 (0x1123e8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x10fcce) Line : tasks.c:188 (0x10fce2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x13b98c) Line : ratemontimeout.c:55 (0x13b9ad) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10b120) Line : clocktodvalidate.c:59 (0x10b12f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10b120) Line : clocktodvalidate.c:59 (0x10b156) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x10b120) Line : clocktodvalidate.c:59 (0x10b16c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10be74) Line : threadchangepriority.c:103 (0x10beb4) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x10be74) Line : threadchangepriority.c:113 (0x10bee3) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x10bf94) Line : threadclearstate.c:89 (0x10c010) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x10c194) Line : threaddelayended.c:55 (0x10c1ad) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x10c1cc) Line : threaddispatch.c:123 (0x10c25c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x1127d4) Line : threadevaluatemode.c:46 (0x1127e0) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Evaluate_mode (0x1127d4) Line : threadevaluatemode.c:47 (0x1127ee) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x112800) Line : threadhandler.c:151 (0x112889) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10c3a8) Line : threadinitialize.c:98 (0x10c407) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x10c3a8) Line : threadinitialize.c:229 (0x10c5ad) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x10f8bc) Line : threadresume.c:78 (0x10f8cc) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x10f8bc) Line : threadresume.c:92 (0x10f935) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Stack_Free (0x10cca4) Line : threadstackfree.c:48 (0x10ccb4) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x10cd8c) Line : threadtickletimeslice.c:74 (0x10cdb5) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10cdf0) Line : threadyieldprocessor.c:68 (0x10ce2d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Yield_processor (0x10cdf0) Line : threadyieldprocessor.c:72 (0x10ce3e) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c854) Line : threadqenqueuepriority.c:98 (0x10c8b7) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x10c854) Line : threadqenqueuepriority.c:106 (0x10c8d0) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10ca24) Line : threadqrequeue.c:53 (0x10ca35) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10ca24) Line : threadqrequeue.c:60 (0x10ca3b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x10ca24) Line : threadqrequeue.c:66 (0x10ca47) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x10ca78) Line : threadqtimeout.c:49 (0x10ca91) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x11721c) Line : timerserver.c:297 (0x1172d9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x11721c) Line : timerserver.c:339 (0x11730d) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x11721c) Line : timerserver.c:387 (0x11733e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1173ab) Line : timerserver.c:227 (0x1173bf) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x1173ab) Line : timerserver.c:195 (0x117467) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e918) Line : watchdogadjust.c:58 (0x10e93b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x10e918) Line : watchdogadjust.c:63 (0x10e978) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x10d1f8) Line : watchdogremove.c:41 (0x10d210) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x10e428) Line : watchdogreportchain.c:37 (0x10e465) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : adjtime (0x10a458) Line : adjtime.c:100 (0x10a512) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x10a3e8) Line : clockgettime.c:46 (0x10a40b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x129a40) Line : clocksettime.c:38 (0x129a4e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111f44) Line : killinfo.c:77 (0x111f5b) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111f44) Line : killinfo.c:83 (0x111f6c) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111f44) Line : killinfo.c:86 (0x111f87) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x111f44) Line : killinfo.c:268 (0x1120aa) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x1269dc) Line : nanosleep.c:48 (0x1269fa) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : nanosleep (0x1269dc) Line : nanosleep.c:48 (0x126a00) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x10eab4) Line : pthreadattrsetschedpolicy.c:32 (0x10ead5) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x10a920) Line : pbarrierinit.c:76 (0x10a95e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_pop (0x109f88) Line : cleanuppop.c:75 (0x109ff8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x10a30c) Line : cleanuppush.c:53 (0x10a335) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_destroy (0x10afcc) Line : conddestroy.c:41 (0x10afed) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x10b080) Line : condinit.c:48 (0x10b097) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x10af34) Line : condattrdestroy.c:37 (0x10af41) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x10a65c) Line : pthreadcreate.c:116 (0x10a708) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1124f0) Line : pthreadkill.c:37 (0x1124fe) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1124f0) Line : pthreadkill.c:44 (0x11252c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_kill (0x1124f0) Line : pthreadkill.c:55 (0x11253e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x10a1b8) Line : mutexattrgettype.c:38 (0x10a1cc) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x10bfdc) Line : mutexattrsetpshared.c:39 (0x10bff1) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x10a208) Line : mutexattrsettype.c:32 (0x10a218) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x10ad18) Line : pthreadonce.c:36 (0x10ad58) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10b290) Line : prwlockinit.c:68 (0x10b2bc) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x10b290) Line : prwlockinit.c:71 (0x10b2c2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10b394) Line : prwlocktimedrdlock.c:85 (0x10b40f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x10b394) Line : prwlocktimedrdlock.c:85 (0x10b419) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10b43c) Line : prwlocktimedwrlock.c:85 (0x10b4b7) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x10b43c) Line : prwlocktimedwrlock.c:85 (0x10b4c1) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x10bc5c) Line : rwlockattrsetpshared.c:35 (0x10bc71) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10cbc4) Line : pthreadsetschedparam.c:73 (0x10cc73) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x10cbc4) Line : pthreadsetschedparam.c:73 (0x10cc7f) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10aac8) Line : testcancel.c:44 (0x10aad6) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x10aac8) Line : testcancel.c:50 (0x10aaf9) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10cb7c) Line : iterateoverthreads.c:32 (0x10cb89) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x10cb7c) Line : iterateoverthreads.c:46 (0x10cbb1) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x114edc) Line : partcreate.c:66 (0x114f09) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_delete (0x114fd4) Line : partdelete.c:52 (0x114ffa) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13b80d) Line : ratemonperiod.c:265 (0x13b85e) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x13b80d) Line : ratemonperiod.c:283 (0x13b889) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x12a5dc) Line : ratemonreportstatistics.c:52 (0x12a5ed) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x116284) Line : signalsend.c:69 (0x1162e2) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x10e214) Line : tasksetpriority.c:79 (0x10e270) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x116acc) Line : timercancel.c:53 (0x116af7) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:58 (0x116f4d) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:61 (0x116f5c) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:64 (0x116f68) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:67 (0x116f7c) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:71 (0x116f96) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x116f34) Line : timerserverfirewhen.c:75 (0x116fb8) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x10ad98) Line : sched_getprioritymax.c:29 (0x10adaf) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x10adcc) Line : sched_getprioritymin.c:29 (0x10ade9) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x10adfc) Line : sched_rr_get_interval.c:37 (0x10ae09) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x10d3f8) Line : semopen.c:85 (0x10d43b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x10ac1c) Line : sigaction.c:66 (0x10ac69) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigsuspend (0x10ca00) Line : sigsuspend.c:49 (0x10ca41) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x10b053) Line : sigtimedwait.c:95 (0x10b088) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x10cc18) Line : sigwait.c:38 (0x10cc3c) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10a45c) Line : timercreate.c:50 (0x10a47b) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10a45c) Line : timercreate.c:56 (0x10a482) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x10a45c) Line : timercreate.c:59 (0x10a488) Size in Bytes : 2 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10a558) Line : timersettime.c:42 (0x10a568) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x10a558) Line : timersettime.c:48 (0x10a585) Size in Bytes : 6 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x10a370) Line : ualarm.c:70 (0x10a3c9) Size in Bytes : 2 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================