============================================
Symbol        : IMFS_Set_handlers (0x200abd8)
Line          : imfs_eval.c:43 (0x200abec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_allocate_node (0x200aa04)
Line          : imfs_creat.c:126 (0x200aa1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x200aaac)
Line          : imfs_creat.c:45 (0x200aabc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x200aaac)
Line          : imfs_creat.c:52 (0x200aae0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x200aaac)
Line          : imfs_creat.c:58 (0x200aaec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_root_node (0x200aa6c)
Line          : imfs_creat.c:168 (0x200aa8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x2004948)
Line          : imfs_debug.c:132 (0x2004950)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x2004948)
Line          : imfs_debug.c:134 (0x2004978)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x2004948)
Line          : imfs_debug.c:136 (0x20049a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:519 (0x200ada0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:541 (0x200ae08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:602 (0x200aeec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:610 (0x200af14)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:284 (0x200afb4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:535 (0x200b034)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x200ad98)
Line          : imfs_eval.c:685 (0x200b05c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:335 (0x200b1e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:349 (0x200b264)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:395 (0x200b300)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:402 (0x200b328)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:407 (0x200b338)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:284 (0x200b3b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:284 (0x200b3bc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:433 (0x200b3dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x200b194)
Line          : imfs_eval.c:482 (0x200b4a4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x200ac8c)
Line          : imfs_eval.c:140 (0x200ac9c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x200ac8c)
Line          : imfs_eval.c:155 (0x200accc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_permission (0x200ac48)
Line          : imfs_eval.c:85 (0x200ac50)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x200acec)
Line          : imfs_eval.c:181 (0x200ad00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x200acec)
Line          : imfs_eval.c:184 (0x200ad10)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x200acec)
Line          : imfs_eval.c:218 (0x200ad78)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fifo_open (0x200b720)
Line          : imfs_fifo.c:45 (0x200b738)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x200b818)
Line          : imfs_getchild.c:42 (0x200b820)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x200b818)
Line          : imfs_getchild.c:43 (0x200b848)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x200b818)
Line          : imfs_getchild.c:54 (0x200b860)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x200b818)
Line          : imfs_getchild.c:57 (0x200b878)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x200b760)
Line          : imfs_fsunmount.c:83 (0x200b7c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x200b760)
Line          : imfs_fsunmount.c:88 (0x200b7dc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x200b760)
Line          : imfs_fsunmount.c:93 (0x200b7fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_get_token (0x200b8c4)
Line          : imfs_gtkn.c:68 (0x200b94c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x200213c)
Line          : imfs_initsupp.c:50 (0x2002160)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x200213c)
Line          : imfs_initsupp.c:97 (0x20021a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_link (0x200220c)
Line          : imfs_link.c:68 (0x2002278)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x200db74)
Line          : memfile.c:361 (0x200db80)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x200db74)
Line          : memfile.c:365 (0x200dbb0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x200db74)
Line          : memfile.c:379 (0x200dc00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:305 (0x200dc20)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:309 (0x200dc4c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:313 (0x200dcac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:313 (0x200dcb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:313 (0x200dcc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:316 (0x200dcdc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:316 (0x200dce8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x200dc18)
Line          : memfile.c:331 (0x200dd48)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x200d58c)
Line          : memfile.c:904 (0x200d594)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x200d58c)
Line          : memfile.c:908 (0x200d5c0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x200d58c)
Line          : memfile.c:920 (0x200d5fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x200d58c)
Line          : memfile.c:931 (0x200d628)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x200d58c)
Line          : memfile.c:1051 (0x200d830)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:588 (0x200e230)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:592 (0x200e264)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:602 (0x200e290)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:611 (0x200e2b8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:618 (0x200e2d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:639 (0x200e358)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:639 (0x200e364)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:662 (0x200e3d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:679 (0x200e450)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x200e224)
Line          : memfile.c:697 (0x200e4c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x200d90c)
Line          : memfile.c:494 (0x200d914)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x200d90c)
Line          : memfile.c:498 (0x200d940)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x200d90c)
Line          : memfile.c:516 (0x200d994)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x200d90c)
Line          : memfile.c:516 (0x200d9f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:739 (0x200dec8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:743 (0x200def4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:751 (0x200df1c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:761 (0x200df44)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:770 (0x200df60)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:770 (0x200df6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:770 (0x200df7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:772 (0x200df94)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:796 (0x200e00c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:816 (0x200e080)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x200dec0)
Line          : memfile.c:838 (0x200e0f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x20022c4)
Line          : imfs_mknod.c:57 (0x2002340)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x20022c4)
Line          : imfs_mknod.c:81 (0x2002378)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x2002398)
Line          : imfs_mount.c:43 (0x20023a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x20047d0)
Line          : imfs_debug.c:56 (0x20047d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x20047d0)
Line          : imfs_debug.c:59 (0x200481c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x20023dc)
Line          : imfs_readlink.c:37 (0x20023ec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rename (0x200243c)
Line          : imfs_rename.c:40 (0x200245c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x200b9a8)
Line          : imfs_rmnod.c:46 (0x200b9b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x200b9a8)
Line          : imfs_rmnod.c:62 (0x200b9f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x200b9a8)
Line          : imfs_rmnod.c:62 (0x200ba08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x200b9a8)
Line          : imfs_rmnod.c:68 (0x200ba20)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x200b9a8)
Line          : imfs_rmnod.c:76 (0x200ba40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_stat (0x200ba78)
Line          : imfs_stat.c:37 (0x200ba8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x200249c)
Line          : imfs_symlink.c:49 (0x20024d0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x200249c)
Line          : imfs_symlink.c:71 (0x2002510)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unlink (0x2002538)
Line          : imfs_unlink.c:50 (0x2002558)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x200260c)
Line          : imfs_unmount.c:44 (0x200261c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x200260c)
Line          : imfs_unmount.c:51 (0x2002638)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x2002d88)
Line          : malloc_initialize.c:70 (0x2002dc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x2002d88)
Line          : malloc_initialize.c:118 (0x2002e44)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : Stack_check_Initialize (0x20068d0)
Line          : check.c:161 (0x2006920)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : Stack_check_Initialize (0x20068d0)
Line          : check.c:161 (0x2006930)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : Stack_check_report_blown_task (0x2006734)
Line          : check.c:237 (0x20067b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x20100fc)
Line          : coremsg.c:76 (0x2010124)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x20100fc)
Line          : coremsg.c:86 (0x2010140)
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 (0x20101b8)
Line          : coremsgseize.c:76 (0x20101f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x2006e68)
Line          : coremutexseize.c:39 (0x2006e84)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize_interrupt_trylock (0x200cae0)
Line          : coremutex.inl:203 (0x200cbd4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x20070cc)
Line          : coresemsurrender.c:68 (0x2007100)
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 (0x200cc84)
Line          : heapallocate.c:200 (0x200cdf4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200ce50)
Line          : heapfree.c:46 (0x200ceb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200ce50)
Line          : heapfree.c:64 (0x200cf1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Initialize_information (0x2007c18)
Line          : objectinitializeinformation.c:134 (0x2007cd0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x200c780)
Line          : tasks.c:203 (0x200c7b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x203fe40)
Line          : ratemontimeout.c:55 (0x203fe60)
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 (0x2007f50)
Line          : threadchangepriority.c:103 (0x2007f9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x20083f8)
Line          : threaddispatch.c:176 (0x2008554)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x200f2f0)
Line          : threadhandler.c:144 (0x200f384)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x200865c)
Line          : threadinitialize.c:91 (0x2008694)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Reset_timeslice (0x200d45c)
Line          : threadresettimeslice.c:69 (0x200d4c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x2009294)
Line          : threadyieldprocessor.c:68 (0x2009300)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x2009294)
Line          : threadyieldprocessor.c:72 (0x200931c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x2008db8)
Line          : threadqrequeue.c:60 (0x2008dd0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x2008db8)
Line          : threadqrequeue.c:66 (0x2008df4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x2008e2c)
Line          : threadqtimeout.c:49 (0x2008e44)
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        : _Timespec_Greater_than (0x20404bc)
Line          : timespecgreaterthan.c:34 (0x20404d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200b838)
Line          : watchdogadjust.c:63 (0x200b8c0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:54 (0x205c8b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:71 (0x205c92c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:72 (0x205c93c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:72 (0x205c94c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:83 (0x205c980)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:84 (0x205c990)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:84 (0x205c9a0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:91 (0x205c9d4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:91 (0x205c9e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:92 (0x205c9f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:93 (0x205ca08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:93 (0x205ca18)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:94 (0x205ca30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:94 (0x205ca40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:104 (0x205ca6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:104 (0x205ca7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:106 (0x205caa0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:106 (0x205cab0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:107 (0x205cac8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:107 (0x205cad8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:112 (0x205cb10)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:113 (0x205cb24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:114 (0x205cb34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:114 (0x205cb44)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:115 (0x205cb5c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:115 (0x205cb6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:121 (0x205cbac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:121 (0x205cbbc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:123 (0x205cbe0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:123 (0x205cbf0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:124 (0x205cc08)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x205c86c)
Line          : _rename_r.c:124 (0x205cc18)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : calloc (0x20028b4)
Line          : calloc.c:34 (0x20028e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x20285c4)
Line          : chdir.c:47 (0x2028620)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x20285c4)
Line          : chdir.c:53 (0x202866c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x20285c4)
Line          : chdir.c:53 (0x202867c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x20285c4)
Line          : chdir.c:57 (0x20286b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x20285c4)
Line          : chdir.c:57 (0x20286c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x2007c80)
Line          : chmod.c:41 (0x2007cbc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x2007c80)
Line          : chmod.c:46 (0x2007d00)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x2007c80)
Line          : chmod.c:53 (0x2007d58)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x2007c80)
Line          : chmod.c:53 (0x2007d68)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x20286f4)
Line          : chown.c:39 (0x2028734)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x20286f4)
Line          : chown.c:46 (0x2028788)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x20286f4)
Line          : chown.c:46 (0x2028798)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:35 (0x20287c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:37 (0x20287e0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:42 (0x202880c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:47 (0x2028830)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:51 (0x2028864)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x20287b0)
Line          : chroot.c:51 (0x2028874)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : close (0x200bb9c)
Line          : close.c:32 (0x200bbf8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : close (0x200bb9c)
Line          : close.c:35 (0x200bc14)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:133 (0x2002e50)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:138 (0x2002e68)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:147 (0x2002eb8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:152 (0x2002ec8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:181 (0x2002f34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:190 (0x2002f58)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:197 (0x2002f74)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x2002e2c)
Line          : diskdevs.c:205 (0x2002ff4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_close (0x200969c)
Line          : devclose.c:37 (0x20096c8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x20096f0)
Line          : devfs_eval.c:43 (0x20096f8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x20096f0)
Line          : devfs_eval.c:48 (0x2009714)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x20096f0)
Line          : devfs_eval.c:55 (0x2009760)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_initialize (0x2001f0c)
Line          : devfs_init.c:74 (0x2001f2c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_ioctl (0x20020f8)
Line          : devioctl.c:40 (0x2002120)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:45 (0x2001f90)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:45 (0x2001fa0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:46 (0x2001fb0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:50 (0x2001fd8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:57 (0x2002004)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:64 (0x2002050)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x2001f84)
Line          : devfs_mknod.c:68 (0x2002084)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_open (0x2002144)
Line          : devopen.c:40 (0x2002174)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_stat (0x20021f0)
Line          : devstat.c:30 (0x20021fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_write (0x2002238)
Line          : devwrite.c:43 (0x2002274)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_close (0x200e804)
Line          : deviceio.c:92 (0x200e82c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_ioctl (0x200e704)
Line          : deviceio.c:200 (0x200e728)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_open (0x200e848)
Line          : deviceio.c:61 (0x200e874)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_write (0x200e74c)
Line          : deviceio.c:166 (0x200e784)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : disk_lock (0x2002a5c)
Line          : diskdevs.c:68 (0x2002a7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : disk_unlock (0x2002a98)
Line          : diskdevs.c:85 (0x2002ab8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : drainOutput (0x2004964)
Line          : termios.c:340 (0x2004970)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dup2 (0x2003288)
Line          : dup2.c:36 (0x20032a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dup2 (0x2003288)
Line          : dup2.c:44 (0x20032b8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:39 (0x203f534)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:41 (0x203f55c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:54 (0x203f598)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:59 (0x203f5c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:85 (0x203f648)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:142 (0x203f6c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:143 (0x203f6d4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x203f510)
Line          : fcntl.c:145 (0x203f6e8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x2003720)
Line          : fdatasync.c:29 (0x2003730)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x2003720)
Line          : fdatasync.c:31 (0x2003758)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x2003720)
Line          : fdatasync.c:38 (0x2003780)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x200a628)
Line          : fifo.c:166 (0x200a64c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fpathconf (0x20037e0)
Line          : fpathconf.c:35 (0x2003814)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x2002afc)
Line          : free.c:39 (0x2002b2c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x2002afc)
Line          : free.c:39 (0x2002b40)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x2002afc)
Line          : free.c:56 (0x2002b58)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x2002afc)
Line          : free.c:59 (0x2002b80)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x2019ec0)
Line          : fstat.c:45 (0x2019f0c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x2019ec0)
Line          : fstat.c:47 (0x2019f30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x2019ec0)
Line          : fstat.c:50 (0x2019f40)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x2028ab8)
Line          : fsync.c:29 (0x2028ac8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x2028ab8)
Line          : fsync.c:31 (0x2028af0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x2028ab8)
Line          : fsync.c:37 (0x2028b00)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:32 (0x200bc68)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:34 (0x200bc8c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:35 (0x200bca4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:46 (0x200bcc8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:52 (0x200bcf8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x200bc58)
Line          : ftruncate.c:54 (0x200bd18)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x2002810)
Line          : diskdevs.c:99 (0x200281c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x2002810)
Line          : diskdevs.c:99 (0x2002830)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x2002810)
Line          : diskdevs.c:102 (0x2002848)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x2002810)
Line          : diskdevs.c:102 (0x2002858)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x205c74c)
Line          : getdents.c:42 (0x205c75c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x205c74c)
Line          : getdents.c:48 (0x205c79c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x205c74c)
Line          : getdents.c:59 (0x205c7d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x20292dc)
Line          : getpwent.c:350 (0x2029300)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x20292dc)
Line          : getpwent.c:355 (0x2029334)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x20292dc)
Line          : getpwent.c:360 (0x202935c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgrnam (0x2029448)
Line          : getpwent.c:394 (0x2029474)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x20294d0)
Line          : getpwent.c:191 (0x20294f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x20294d0)
Line          : getpwent.c:196 (0x2029528)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x20294d0)
Line          : getpwent.c:201 (0x2029550)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpwnam (0x202963c)
Line          : getpwent.c:235 (0x2029668)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : gettimeofday (0x2002ba4)
Line          : __gettod.c:35 (0x2002bac)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_open (0x200e890)
Line          : imfs_directory.c:51 (0x200e89c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x200e9ec)
Line          : imfs_directory.c:311 (0x200ea30)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x200e9ec)
Line          : imfs_directory.c:340 (0x200eabc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x20291b8)
Line          : getpwent.c:54 (0x20291fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x20291b8)
Line          : getpwent.c:57 (0x2029218)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x20291b8)
Line          : getpwent.c:67 (0x2029250)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x20291b8)
Line          : getpwent.c:70 (0x202926c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x2006360)
Line          : ioctl.c:41 (0x20063a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x2006360)
Line          : ioctl.c:51 (0x20063bc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x2006360)
Line          : ioctl.c:54 (0x20063dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : libc_wrapup (0x201a0fc)
Line          : newlibc_exit.c:61 (0x201a10c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:51 (0x20296cc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:58 (0x202971c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:58 (0x202972c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:68 (0x2029768)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:68 (0x2029778)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:69 (0x2029790)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:69 (0x20297a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:73 (0x20297c8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:81 (0x202984c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:81 (0x202985c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:82 (0x2029874)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x2029678)
Line          : link.c:82 (0x2029884)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x2019fac)
Line          : lseek.c:33 (0x2019fc4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x2019fac)
Line          : lseek.c:35 (0x2019fec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x2019fac)
Line          : lseek.c:41 (0x201a00c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x2019fac)
Line          : lseek.c:72 (0x201a0b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x2002e78)
Line          : malloc.c:41 (0x2002e9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x2002e78)
Line          : malloc.c:47 (0x2002ec0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x2002e78)
Line          : malloc.c:76 (0x2002ef4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x2002e78)
Line          : malloc.c:87 (0x2002f38)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc_deferred_frees_process (0x2002d54)
Line          : malloc_deferred.c:50 (0x2002d78)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc_is_system_state_OK (0x2002cf0)
Line          : malloc_deferred.c:29 (0x2002cfc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_alloc_block (0x200d558)
Line          : memfile.c:1077 (0x200d570)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x200da90)
Line          : memfile.c:1144 (0x200dab0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x200da90)
Line          : memfile.c:1150 (0x200dac4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x200da90)
Line          : memfile.c:1156 (0x200dad4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_free_blocks_in_table (0x200d844)
Line          : memfile.c:435 (0x200d84c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x200dda4)
Line          : memfile.c:267 (0x200ddb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x200dda4)
Line          : memfile.c:267 (0x200ddc4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x200dda4)
Line          : memfile.c:267 (0x200ddd4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x200de1c)
Line          : memfile.c:227 (0x200de2c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x200de1c)
Line          : memfile.c:232 (0x200de84)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_open (0x200e188)
Line          : memfile.c:106 (0x200e1a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_rmnod (0x200daf4)
Line          : memfile.c:1122 (0x200db04)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x2002f9c)
Line          : mknod.c:46 (0x2002fe8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x2002f9c)
Line          : mknod.c:60 (0x2003020)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x2002f9c)
Line          : mknod.c:72 (0x2003050)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x2002f9c)
Line          : mknod.c:79 (0x20030a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:83 (0x20031e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:172 (0x2003290)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:182 (0x20032a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:223 (0x2003318)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:228 (0x200333c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : chain.inl:141 (0x2003358)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:247 (0x2003380)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:273 (0x200340c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:274 (0x200341c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x2003154)
Line          : mount.c:274 (0x200342c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_delete_hook (0x2003450)
Line          : newlibc_reent.c:143 (0x200346c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_free_buffers (0x20034b4)
Line          : newlibc_reent.c:110 (0x20034c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_free_buffers (0x20034b4)
Line          : newlibc_reent.c:114 (0x20034d4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_initialize (0x2002d1c)
Line          : devnull.c:58 (0x2002d50)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_write (0x2002cf8)
Line          : devnull.c:157 (0x2002cfc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:130 (0x20037e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:137 (0x2003818)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:161 (0x2003878)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:161 (0x2003888)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:178 (0x200390c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:194 (0x2003980)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:195 (0x200398c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:198 (0x20039b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x200372c)
Line          : open.c:198 (0x20039c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x20036b8)
Line          : open_dev_console.c:45 (0x20036ec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x20036b8)
Line          : open_dev_console.c:48 (0x2003710)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:702 (0x2004230)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:703 (0x2004248)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:703 (0x200426c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:705 (0x2004280)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:707 (0x2004290)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:727 (0x2004304)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:741 (0x200433c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x2004224)
Line          : termios.c:743 (0x2004384)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x200e544)
Line          : pipe.c:36 (0x200e56c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x200e544)
Line          : pipe.c:38 (0x200e584)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x200e544)
Line          : pipe.c:40 (0x200e59c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x200e544)
Line          : pipe.c:52 (0x200e62c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x200e544)
Line          : pipe.c:63 (0x200e64c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : posix_memalign (0x200701c)
Line          : posix_memalign.c:35 (0x2007038)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x200b568)
Line          : ramdisk-init.c:47 (0x200b580)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x200b568)
Line          : ramdisk-init.c:51 (0x200b58c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x200b568)
Line          : ramdisk-init.c:53 (0x200b5a4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_free (0x200b530)
Line          : ramdisk-init.c:73 (0x200b538)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_free (0x200b530)
Line          : ramdisk-init.c:74 (0x200b548)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x200b428)
Line          : ramdisk-driver.c:112 (0x200b448)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x200b428)
Line          : ramdisk-driver.c:112 (0x200b454)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x200b5e8)
Line          : ramdisk-init.c:95 (0x200b610)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x200b5e8)
Line          : ramdisk-init.c:100 (0x200b628)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x200b5e8)
Line          : ramdisk-init.c:116 (0x200b668)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x201a18c)
Line          : read.c:30 (0x201a1a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x201a18c)
Line          : read.c:33 (0x201a1d0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x201a18c)
Line          : read.c:34 (0x201a1e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x201a18c)
Line          : read.c:35 (0x201a1f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x201a18c)
Line          : read.c:41 (0x201a214)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:30 (0x202a160)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:35 (0x202a1a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:38 (0x202a1b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:44 (0x202a1d4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:44 (0x202a1e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:48 (0x202a20c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:55 (0x202a258)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x202a158)
Line          : readlink.c:55 (0x202a268)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:40 (0x2004798)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:42 (0x20047c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:43 (0x20047c8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:54 (0x20047f0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:57 (0x2004804)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:105 (0x20048ac)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:108 (0x20048bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x2004788)
Line          : readv.c:113 (0x20048e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x201a2e4)
Line          : realloc.c:38 (0x201a304)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x201a2e4)
Line          : realloc.c:39 (0x201a318)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x201a2e4)
Line          : realloc.c:42 (0x201a32c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x201a2e4)
Line          : realloc.c:52 (0x201a350)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x201a2e4)
Line          : realloc.c:97 (0x201a3e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:52 (0x202a2cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:69 (0x202a338)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:78 (0x202a378)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:86 (0x202a3a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:86 (0x202a3b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:87 (0x202a3c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:88 (0x202a3d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:88 (0x202a3e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:96 (0x202a410)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:105 (0x202a498)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:105 (0x202a4a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:107 (0x202a4c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x202a280)
Line          : rmdir.c:107 (0x202a4d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_name_by_local (0x20114f0)
Line          : assocnamebylocal.c:27 (0x2011504)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_local (0x200f49c)
Line          : assocptrbylocal.c:26 (0x200f4a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_local (0x200f49c)
Line          : assocptrbylocal.c:26 (0x200f4c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_remote (0x200ec78)
Line          : assocptrbyremote.c:26 (0x200ec84)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_remote (0x200ec78)
Line          : assocptrbyremote.c:26 (0x200ec9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_add_to_modified_list_after_access (0x200bb58)
Line          : bdbuf.c:1096 (0x200bb6c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x200bdb4)
Line          : bdbuf.c:982 (0x200bde8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x200bdb4)
Line          : bdbuf.c:985 (0x200bdfc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_disable_preemption (0x200bd44)
Line          : bdbuf.c:921 (0x200bd60)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x200d980)
Line          : bdbuf.c:1815 (0x200d9b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x200d980)
Line          : bdbuf.c:1829 (0x200d9f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x200d710)
Line          : bdbuf.c:343 (0x200d75c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x200d710)
Line          : bdbuf.c:341 (0x200d7a8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x200d710)
Line          : bdbuf.c:1568 (0x200d7f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x200d710)
Line          : bdbuf.c:1577 (0x200d83c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x200d710)
Line          : bdbuf.c:1521 (0x200d8e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:1273 (0x200d438)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:393 (0x200d490)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:393 (0x200d49c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:404 (0x200d4cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:393 (0x200d500)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:393 (0x200d50c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:393 (0x200d518)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:432 (0x200d56c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:432 (0x200d574)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:445 (0x200d588)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:459 (0x200d5bc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:460 (0x200d5d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:473 (0x200d608)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x200d334)
Line          : bdbuf.c:486 (0x200d628)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1305 (0x200be94)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1311 (0x200bec0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1320 (0x200bedc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1350 (0x200bf94)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1358 (0x200bfc0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1364 (0x200bfe4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1370 (0x200c008)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1376 (0x200c02c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1394 (0x200c078)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1402 (0x200c090)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1412 (0x200c0c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1455 (0x200c194)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1463 (0x200c1c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x200be84)
Line          : bdbuf.c:1469 (0x200c1e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_lock (0x200b754)
Line          : bdbuf.c:847 (0x200b76c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x200ba08)
Line          : bdbuf.c:1746 (0x200ba20)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x200ba08)
Line          : bdbuf.c:1753 (0x200ba34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x200ba08)
Line          : bdbuf.c:1768 (0x200ba6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x200ba08)
Line          : bdbuf.c:1156 (0x200baa0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x200ba08)
Line          : bdbuf.c:1781 (0x200bad8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x200c8d8)
Line          : bdbuf.c:2890 (0x200c938)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x200c8d8)
Line          : bdbuf.c:2892 (0x200c948)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x200c8d8)
Line          : bdbuf.c:2922 (0x200c9bc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x200c8d8)
Line          : bdbuf.c:2929 (0x200c9d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x200c8d8)
Line          : bdbuf.c:2938 (0x200c9fc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge_compare_dev (0x200b724)
Line          : bdbuf.c:2968 (0x200b728)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge_compare_dev (0x200b724)
Line          : bdbuf.c:2968 (0x200b734)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:2037 (0x200da7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:1923 (0x200db50)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:343 (0x200dbb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:341 (0x200dbe0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:341 (0x200dbec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:341 (0x200dbfc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:1684 (0x200dc24)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x200da4c)
Line          : bdbuf.c:2068 (0x200dcb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x200c7ec)
Line          : bdbuf.c:2101 (0x200c804)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x200c7ec)
Line          : bdbuf.c:2103 (0x200c810)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x200c7ec)
Line          : bdbuf.c:2124 (0x200c83c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x200c7ec)
Line          : bdbuf.c:2124 (0x200c84c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_disk (0x200bb00)
Line          : bdbuf.c:1799 (0x200bb10)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x200c754)
Line          : bdbuf.c:2101 (0x200c768)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x200c754)
Line          : bdbuf.c:2103 (0x200c774)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x200c754)
Line          : bdbuf.c:2158 (0x200c790)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x200c754)
Line          : bdbuf.c:2158 (0x200c7a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:569 (0x200c320)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:569 (0x200c32c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:569 (0x200c338)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:569 (0x200c344)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:569 (0x200c350)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:565 (0x200c388)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:620 (0x200c3d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:681 (0x200c4c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:694 (0x200c4e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:699 (0x200c4f0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:735 (0x200c558)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:735 (0x200c564)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:791 (0x200c63c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x200c2dc)
Line          : bdbuf.c:667 (0x200c65c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree_and_lru_list (0x200c688)
Line          : bdbuf.c:1047 (0x200c69c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_restore_preemption (0x200bd7c)
Line          : bdbuf.c:933 (0x200bd9c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2408 (0x200b818)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2441 (0x200b870)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2467 (0x200b8f4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2470 (0x200b910)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2470 (0x200b924)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x200b7dc)
Line          : bdbuf.c:2488 (0x200b968)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2706 (0x200cf0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2555 (0x200cf64)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2603 (0x200d004)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2626 (0x200d078)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2844 (0x200d0c0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x200cdac)
Line          : bdbuf.c:2799 (0x200d0d8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x200cc0c)
Line          : bdbuf.c:2284 (0x200cc1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x200cc0c)
Line          : bdbuf.c:2339 (0x200cc80)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x200cc0c)
Line          : bdbuf.c:2367 (0x200cd28)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x200cc0c)
Line          : bdbuf.c:2376 (0x200cd64)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x200cc0c)
Line          : bdbuf.c:2382 (0x200cd88)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_writereq_alloc (0x200c284)
Line          : bdbuf.c:2651 (0x200c2a0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:2101 (0x200d1d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:2103 (0x200d1e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:2190 (0x200d1fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:2190 (0x200d210)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:1612 (0x200d258)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:1612 (0x200d268)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x200d1c0)
Line          : bdbuf.c:1658 (0x200d2bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_syncdev (0x200bca8)
Line          : bdbuf.c:2223 (0x200bcd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_cache (0x200b9b0)
Line          : bdbuf.c:861 (0x200b9c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_sync (0x200b9dc)
Line          : bdbuf.c:861 (0x200b9f0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wait_for_event (0x200bc60)
Line          : bdbuf.c:1512 (0x200bc80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wait_for_event (0x200bc60)
Line          : bdbuf.c:1512 (0x200bc8c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wake (0x200b7a4)
Line          : bdbuf.c:1017 (0x200b7c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wake_swapper (0x200bb28)
Line          : bdbuf.c:1027 (0x200bb40)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x200ddb4)
Line          : blkdev.c:187 (0x200ddcc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x200ddb4)
Line          : blkdev.c:187 (0x200ddd8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x200ddb4)
Line          : blkdev.c:187 (0x200de10)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x200dd0c)
Line          : blkdev.c:238 (0x200dd1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x200dd0c)
Line          : blkdev.c:238 (0x200dd28)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x200dd0c)
Line          : blkdev.c:238 (0x200dd38)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param (0x200246c)
Line          : bspcmdline_getparam.c:29 (0x20024f8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param_rhs (0x2002548)
Line          : bspcmdline_getparamrhs.c:35 (0x2002578)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x20030ac)
Line          : cpuusagereport.c:62 (0x20030b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x20030ac)
Line          : cpuusagereport.c:108 (0x2003138)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x20030ac)
Line          : cpuusagereport.c:112 (0x2003154)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x2003000)
Line          : diskdevs.c:291 (0x2003014)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x2003000)
Line          : diskdevs.c:302 (0x2003060)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_phys (0x20030e4)
Line          : diskdevs.c:244 (0x2003110)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_phys (0x20030e4)
Line          : diskdevs.c:262 (0x2003178)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x2002bc0)
Line          : diskdevs.c:398 (0x2002bd4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x2002bc0)
Line          : diskdevs.c:403 (0x2002be8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x2002bc0)
Line          : diskdevs.c:363 (0x2002c78)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x2002bc0)
Line          : diskdevs.c:363 (0x2002c88)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x2002bc0)
Line          : diskdevs.c:382 (0x2002d1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_done (0x20028fc)
Line          : diskdevs.c:574 (0x2002934)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x20029a0)
Line          : diskdevs.c:525 (0x20029b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x20029a0)
Line          : diskdevs.c:530 (0x20029d0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x20029a0)
Line          : diskdevs.c:543 (0x2002a04)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x20029a0)
Line          : diskdevs.c:550 (0x2002a28)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x2002ad0)
Line          : diskdevs.c:470 (0x2002ae8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x2002ad0)
Line          : diskdevs.c:474 (0x2002af8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x2002ad0)
Line          : diskdevs.c:487 (0x2002b1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x2002ad0)
Line          : diskdevs.c:491 (0x2002b2c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_obtain (0x2002db0)
Line          : diskdevs.c:425 (0x2002dcc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x2002a88)
Line          : eval.c:107 (0x2002a90)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x2002a88)
Line          : eval.c:110 (0x2002aac)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x2002998)
Line          : eval.c:39 (0x20029a4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x2002998)
Line          : eval.c:42 (0x20029c0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x2002998)
Line          : eval.c:45 (0x20029e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x2002998)
Line          : eval.c:57 (0x2002a10)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x2002998)
Line          : eval.c:67 (0x2002a3c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_get_mount_handler (0x200c1b0)
Line          : mount-mgr.c:101 (0x200c1bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x20027bc)
Line          : base_fs.c:52 (0x20027e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x20027bc)
Line          : base_fs.c:59 (0x200280c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x20027bc)
Line          : base_fs.c:106 (0x200289c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_mount_iterate (0x20030e0)
Line          : mount.c:288 (0x2003138)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x2002910)
Line          : eval.c:153 (0x2002920)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x2002910)
Line          : eval.c:153 (0x2002934)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_register (0x200c1e0)
Line          : mount-mgr.c:118 (0x200c1f8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_register (0x200c1e0)
Line          : mount-mgr.c:126 (0x200c24c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_allocate (0x200bef8)
Line          : libio.c:149 (0x200bf80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_free (0x200be98)
Line          : libio.c:181 (0x200beb8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x2002c30)
Line          : libio_init.c:56 (0x2002c40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x2002c30)
Line          : libio_init.c:60 (0x2002c58)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x2002c30)
Line          : libio_init.c:81 (0x2002cc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x2002c30)
Line          : libio_init.c:88 (0x2002cd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x202a048)
Line          : privateenv.c:53 (0x202a060)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x202a048)
Line          : privateenv.c:58 (0x202a08c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x202a048)
Line          : privateenv.c:66 (0x202a0b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_to_fcntl_flags (0x200bd4c)
Line          : libio.c:103 (0x200bd54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_malloc_statistics_at_malloc (0x2008ac4)
Line          : malloc_statistics_helpers.c:42 (0x2008acc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_malloc_statistics_at_malloc (0x2008ac4)
Line          : malloc_statistics_helpers.c:50 (0x2008b0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_memalign (0x20102d8)
Line          : rtems_memalign.c:43 (0x20102f0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_memalign (0x20102d8)
Line          : rtems_memalign.c:43 (0x2010304)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_memalign (0x20102d8)
Line          : rtems_memalign.c:77 (0x2010340)
Size in Bytes : 4
Reason        : ALWAYS 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_pipe_initialize (0x200a0bc)
Line          : fifo.c:550 (0x200a0cc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x202b1dc)
Line          : ratemonreportstatistics.c:52 (0x202b1e4)
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_stack_checker_begin_extension (0x2006500)
Line          : check.c:197 (0x200650c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_create_extension (0x200696c)
Line          : check.c:182 (0x200697c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x20067dc)
Line          : check.c:66 (0x20067f0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x20067dc)
Line          : check.c:305 (0x2006814)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x20067dc)
Line          : check.c:316 (0x200683c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x20067dc)
Line          : check.c:316 (0x2006844)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x2006868)
Line          : check.c:66 (0x2006874)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x2006868)
Line          : check.c:281 (0x20068ac)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_int (0x201ee8c)
Line          : stringtoint.c:52 (0x201ef08)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long (0x200c438)
Line          : stringtolong.c:52 (0x200c4bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long (0x200c438)
Line          : stringtolong.c:52 (0x200c4c8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x200c364)
Line          : stringtolonglong.c:61 (0x200c3f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x200c364)
Line          : stringtolonglong.c:61 (0x200c3fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x200c364)
Line          : stringtolonglong.c:61 (0x200c408)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x200c364)
Line          : stringtolonglong.c:61 (0x200c414)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x201ef50)
Line          : stringtounsignedchar.c:52 (0x201efb8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x201ef50)
Line          : stringtounsignedchar.c:57 (0x201efd4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_int (0x200c5ac)
Line          : stringtounsignedint.c:52 (0x200c624)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long (0x201f000)
Line          : stringtounsignedlong.c:52 (0x201f078)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long_long (0x200c63c)
Line          : stringtounsignedlonglong.c:57 (0x200c6c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long_long (0x200c63c)
Line          : stringtounsignedlonglong.c:57 (0x200c6cc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_mode (0x200ef80)
Line          : taskmode.c:125 (0x200f0a8)
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_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2004fd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2004fe4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2004ff0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2004ffc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2005008)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x2005014)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x2004fd0)
Line          : termios_baud2index.c:25 (0x200511c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x2005130)
Line          : termios_baud2num.c:25 (0x2005194)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x2005130)
Line          : termios_baud2num.c:25 (0x20051c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x2005130)
Line          : termios_baud2num.c:25 (0x2005220)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x2005130)
Line          : termios_baud2num.c:25 (0x200526c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:364 (0x20051bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:367 (0x20051f4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:378 (0x200521c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:384 (0x2005234)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:400 (0x2005278)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:404 (0x20052a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:411 (0x20052c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:423 (0x2005308)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x2005198)
Line          : termios.c:424 (0x2005318)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_initialize (0x2003afc)
Line          : termiosinitialize.c:51 (0x2003b30)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:526 (0x2004dc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:530 (0x2004dd8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:530 (0x2004de0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:530 (0x2004dfc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:456 (0x2004ec0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:477 (0x2004f38)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:486 (0x2004f70)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:503 (0x2004fcc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:507 (0x2004fec)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:511 (0x2005008)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:558 (0x2005050)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x2004d94)
Line          : termios.c:567 (0x2005074)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x200c2e0)
Line          : termios_num2baud.c:25 (0x200c344)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x200c2e0)
Line          : termios_num2baud.c:25 (0x200c36c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x200c2e0)
Line          : termios_num2baud.c:25 (0x200c388)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x200c2e0)
Line          : termios_num2baud.c:25 (0x200c3d0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x200c2e0)
Line          : termios_num2baud.c:25 (0x200c450)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:125 (0x200537c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:128 (0x20053a0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:147 (0x20053dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:157 (0x2005418)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:167 (0x200543c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:206 (0x20054ec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:214 (0x2005518)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:222 (0x2005540)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:234 (0x2005560)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:257 (0x20055cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:258 (0x20055dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:302 (0x20056e4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:313 (0x2005734)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x2005360)
Line          : termios.c:138 (0x20057a4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x20040fc)
Line          : termios.c:645 (0x200410c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:1094 (0x2004a0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:1096 (0x2004a2c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:1102 (0x2004a60)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:1105 (0x2004a7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:1106 (0x2004a8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:967 (0x2004ab4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:981 (0x2004b04)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:982 (0x2004b14)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x20049e0)
Line          : termios.c:983 (0x2004b20)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x2004898)
Line          : termios.c:759 (0x20048bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x2004898)
Line          : termios.c:761 (0x20048dc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x2004898)
Line          : termios.c:766 (0x200490c)
Size in Bytes : 4
Reason        : NEVER 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        : scanInt (0x2028cd4)
Line          : getpwent.c:126 (0x2028d04)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:129 (0x2028d3c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:130 (0x2028d48)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:137 (0x2028d6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:140 (0x2028d80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:140 (0x2028d88)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x2028cd4)
Line          : getpwent.c:145 (0x2028dbc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x2028de4)
Line          : getpwent.c:90 (0x2028e40)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x2028de4)
Line          : getpwent.c:95 (0x2028e5c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x2028de4)
Line          : getpwent.c:99 (0x2028e6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x2028de4)
Line          : getpwent.c:101 (0x2028e7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:300 (0x2028f00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:300 (0x2028f20)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:300 (0x2028f34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:300 (0x2028f54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:318 (0x2028f9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x2028ed0)
Line          : getpwent.c:327 (0x2028fc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x2029084)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x20290a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x20290b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x20290cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x20290ec)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x202910c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x202912c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x2029054)
Line          : getpwent.c:163 (0x202914c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x2009b64)
Line          : stat.c:65 (0x2009bc0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x2009b64)
Line          : stat.c:79 (0x2009c30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x2009b64)
Line          : stat.c:79 (0x2009c40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x202a5f0)
Line          : symlink.c:33 (0x202a614)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x202a5f0)
Line          : symlink.c:41 (0x202a648)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x202a5f0)
Line          : symlink.c:48 (0x202a694)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x202a5f0)
Line          : symlink.c:48 (0x202a6a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sync_per_thread (0x2004fd4)
Line          : sync.c:65 (0x2004fe0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : tcsetattr (0x2013740)
Line          : tcsetattr.c:37 (0x2013748)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:48 (0x200ed44)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:65 (0x200edb0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:66 (0x200edc0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:66 (0x200edd0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:70 (0x200edf0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:78 (0x200ee10)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:78 (0x200ee20)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:79 (0x200ee34)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:84 (0x200ee7c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:93 (0x200eef4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:93 (0x200ef04)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:95 (0x200ef24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x200ecf8)
Line          : unlink.c:95 (0x200ef34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:80 (0x202a950)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:80 (0x202a960)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:88 (0x202a984)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:88 (0x202a994)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:72 (0x202a9b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:73 (0x202a9c4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:135 (0x202aa48)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:151 (0x202aa64)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:170 (0x202aab8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x202a904)
Line          : unmount.c:170 (0x202aac8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x202aaf4)
Line          : utime.c:36 (0x202ab34)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x202aaf4)
Line          : utime.c:43 (0x202ab80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x202aaf4)
Line          : utime.c:43 (0x202ab90)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x20058dc)
Line          : vprintk.c:125 (0x2005a94)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:37 (0x201a434)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:39 (0x201a45c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:40 (0x201a464)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:42 (0x201a488)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:48 (0x201a4a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x201a420)
Line          : write.c:53 (0x201a4d4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:41 (0x2006d2c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:44 (0x2006d5c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:55 (0x2006d84)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:58 (0x2006d98)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:107 (0x2006e2c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:112 (0x2006e4c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:115 (0x2006e5c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x2006d1c)
Line          : writev.c:120 (0x2006e80)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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