============================================
Symbol        : IMFS_Set_handlers (0x10fc78)
Line          : imfs_eval.c:43 (0x10fc8a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_allocate_node (0x10facc)
Line          : imfs_creat.c:126 (0x10fae3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10fb6c)
Line          : imfs_creat.c:45 (0x10fb80)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10fb6c)
Line          : imfs_creat.c:52 (0x10fba9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10fb6c)
Line          : imfs_creat.c:58 (0x10fbae)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_root_node (0x10fb38)
Line          : imfs_creat.c:168 (0x10fb54)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x109d64)
Line          : imfs_debug.c:132 (0x109d75)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x109d64)
Line          : imfs_debug.c:134 (0x109d79)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x109d64)
Line          : imfs_debug.c:136 (0x109d83)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:519 (0x10fe18)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:541 (0x10fe4a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:535 (0x10fec2)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:284 (0x10ffb1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:685 (0x110005)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:602 (0x110057)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10fe08)
Line          : imfs_eval.c:610 (0x1100ea)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:335 (0x11023a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:349 (0x110284)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:349 (0x1102a2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:407 (0x1102c3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:284 (0x110384)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:284 (0x11038d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:433 (0x1103c5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:482 (0x110471)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:395 (0x1104c8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x1101f0)
Line          : imfs_eval.c:402 (0x1104e7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x10fd10)
Line          : imfs_eval.c:140 (0x10fd20)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x10fd10)
Line          : imfs_eval.c:155 (0x10fd40)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_link (0x110144)
Line          : imfs_eval.c:262 (0x110167)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_link (0x110144)
Line          : imfs_eval.c:262 (0x110190)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_link (0x110144)
Line          : imfs_eval.c:262 (0x1101a1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_permission (0x10fcd4)
Line          : imfs_eval.c:85 (0x10fce2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10fd6c)
Line          : imfs_eval.c:181 (0x10fd81)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10fd6c)
Line          : imfs_eval.c:184 (0x10fd88)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10fd6c)
Line          : imfs_eval.c:218 (0x10fdd0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fifo_open (0x11070c)
Line          : imfs_fifo.c:45 (0x11072a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x1107e4)
Line          : imfs_getchild.c:42 (0x1107f5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x1107e4)
Line          : imfs_getchild.c:43 (0x1107f9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x1107e4)
Line          : imfs_getchild.c:54 (0x110809)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x1107e4)
Line          : imfs_getchild.c:57 (0x110819)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x11074c)
Line          : imfs_fsunmount.c:88 (0x11079f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x11074c)
Line          : imfs_fsunmount.c:93 (0x1107ae)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x11074c)
Line          : imfs_fsunmount.c:83 (0x1107cf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_get_token (0x110874)
Line          : imfs_gtkn.c:68 (0x1108e5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x107c7c)
Line          : imfs_initsupp.c:50 (0x107c91)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x107c7c)
Line          : imfs_initsupp.c:50 (0x107ca4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x107c7c)
Line          : imfs_initsupp.c:97 (0x107ce5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_link (0x107d48)
Line          : imfs_link.c:68 (0x107d9a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x112664)
Line          : memfile.c:361 (0x112670)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x112664)
Line          : memfile.c:365 (0x112676)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x112664)
Line          : memfile.c:379 (0x11269f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:305 (0x1126f6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:309 (0x112700)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:313 (0x112723)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:313 (0x112725)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:313 (0x11273f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:316 (0x112750)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:330 (0x112790)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:331 (0x1127ac)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x1126dc)
Line          : memfile.c:316 (0x1127e4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x11213c)
Line          : memfile.c:904 (0x112150)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x11213c)
Line          : memfile.c:908 (0x11215a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x11213c)
Line          : memfile.c:920 (0x11216e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x11213c)
Line          : memfile.c:938 (0x112246)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x11213c)
Line          : memfile.c:931 (0x112257)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:588 (0x112c73)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:592 (0x112c85)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:602 (0x112c90)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:611 (0x112c98)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:618 (0x112ca1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:639 (0x112cc0)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:679 (0x112d2d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:697 (0x112d6d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:639 (0x112da8)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x112c5c)
Line          : memfile.c:662 (0x112dc9)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x1123e4)
Line          : memfile.c:494 (0x1123f2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x1123e4)
Line          : memfile.c:498 (0x1123ff)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x1123e4)
Line          : memfile.c:522 (0x112432)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x1123e4)
Line          : memfile.c:534 (0x112493)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:739 (0x112940)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:743 (0x11294d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:751 (0x112958)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:761 (0x112963)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:770 (0x112976)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:770 (0x112978)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:770 (0x112981)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:816 (0x1129eb)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:838 (0x112a27)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:796 (0x112a71)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11292c)
Line          : memfile.c:772 (0x112ab4)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x107dec)
Line          : imfs_mknod.c:57 (0x107e4c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x107dec)
Line          : imfs_mknod.c:81 (0x107e6a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x107ebc)
Line          : imfs_mount.c:43 (0x107ecc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x109bbc)
Line          : imfs_debug.c:56 (0x109bc8)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x109bbc)
Line          : imfs_debug.c:59 (0x109beb)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x107efc)
Line          : imfs_readlink.c:37 (0x107f14)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x107efc)
Line          : imfs_readlink.c:40 (0x107f18)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x107efc)
Line          : imfs_readlink.c:40 (0x107f21)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rename (0x107f60)
Line          : imfs_rename.c:40 (0x107f82)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x110950)
Line          : imfs_rmnod.c:46 (0x110962)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x110950)
Line          : imfs_rmnod.c:62 (0x11099c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x110950)
Line          : imfs_rmnod.c:62 (0x1109a3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x110950)
Line          : imfs_rmnod.c:68 (0x1109af)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x110950)
Line          : imfs_rmnod.c:76 (0x1109d1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_stat (0x1109f0)
Line          : imfs_stat.c:37 (0x110a01)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x107fc0)
Line          : imfs_symlink.c:49 (0x107ff9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x107fc0)
Line          : imfs_symlink.c:71 (0x108017)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unlink (0x108054)
Line          : imfs_unlink.c:50 (0x108085)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x108118)
Line          : imfs_unmount.c:44 (0x108128)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x108118)
Line          : imfs_unmount.c:51 (0x10812f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x108810)
Line          : malloc_initialize.c:70 (0x108836)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x108810)
Line          : malloc_initialize.c:118 (0x108871)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x108810)
Line          : malloc_initialize.c:111 (0x1088ab)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : Stack_check_Initialize (0x10d100)
Line          : check.c:161 (0x10d131)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : Stack_check_Initialize (0x10d100)
Line          : check.c:161 (0x10d13b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _API_extensions_Run_postdriver (0x10c43c)
Line          : apiext.c:77 (0x10c44f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _API_extensions_Run_postdriver (0x10c43c)
Line          : apiext.c:77 (0x10c45f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1152b4)
Line          : coremsg.c:86 (0x1152e3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: Simple Test Case

Explanation:
We need to request enough messages of a certain size that the math
overflows to less than a single message. 
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1152b4)
Line          : coremsg.c:76 (0x1152f8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1152b4)
Line          : coremsg.c:86 (0x115304)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: Simple Test Case

Explanation:
We need to request enough messages of a certain size that the math
overflows to less than a single message. 
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x10c79c)
Line          : coremutexseize.c:39 (0x10c7b4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize_interrupt_trylock (0x1117dc)
Line          : coremutex.inl:203 (0x11188d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_name_as_string (0x119524)
Line          : objectgetnameasstring.c:53 (0x119566)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_name_as_string (0x119524)
Line          : objectgetnameasstring.c:57 (0x11957c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Initialize_information (0x10d3ac)
Line          : objectinitializeinformation.c:134 (0x10d440)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x11140c)
Line          : tasks.c:203 (0x111433)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Tickle_ticks (0x10ca54)
Line          : coretodtickle.c:55 (0x10cab9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x10da30)
Line          : threaddispatch.c:176 (0x10db73)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x113c5c)
Line          : threadhandler.c:144 (0x113cd0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x113c5c)
Line          : threadhandler.c:144 (0x113cfd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler_initialization (0x10de90)
Line          : thread.c:64 (0x10deba)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10dc28)
Line          : threadinitialize.c:91 (0x10dc7d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Reset_timeslice (0x111f80)
Line          : threadresettimeslice.c:69 (0x111fbd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Process_timeout (0x111e94)
Line          : threadqprocesstimeout.c:46 (0x111ead)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x119828)
Line          : timerserver.c:297 (0x1198bd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x119828)
Line          : timerserver.c:339 (0x1198fd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1199d4)
Line          : timerserver.c:227 (0x1199e8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Report_chain (0x10ffa8)
Line          : watchdogreportchain.c:36 (0x10ffd2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Tickle (0x10ec20)
Line          : watchdogtickle.c:93 (0x10ec87)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:47 (0x15c793)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:121 (0x15c877)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:121 (0x15c87e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:123 (0x15c894)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:123 (0x15c89b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:124 (0x15c8ad)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:124 (0x15c8b4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:104 (0x15c8d1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:104 (0x15c8d8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:106 (0x15c8ee)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:106 (0x15c8f5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:107 (0x15c907)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:107 (0x15c90e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:71 (0x15c938)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:54 (0x15c970)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:91 (0x15c981)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:91 (0x15c988)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:92 (0x15c997)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:93 (0x15c99e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:93 (0x15c9a5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:94 (0x15c9b7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:94 (0x15c9be)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:112 (0x15c9dd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:113 (0x15c9ec)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:114 (0x15c9f3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:114 (0x15c9fa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:115 (0x15ca0c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:115 (0x15ca13)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:72 (0x15ca38)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x15c77c)
Line          : _rename_r.c:72 (0x15ca43)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : calloc (0x1083cc)
Line          : calloc.c:34 (0x1083ee)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x12df60)
Line          : chdir.c:47 (0x12dfa2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x12df60)
Line          : chdir.c:57 (0x12dfbb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x12df60)
Line          : chdir.c:57 (0x12dfc2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x12df60)
Line          : chdir.c:53 (0x12e02d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x12df60)
Line          : chdir.c:53 (0x12e034)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10e348)
Line          : chmod.c:41 (0x10e37d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10e348)
Line          : chmod.c:46 (0x10e384)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10e348)
Line          : chmod.c:53 (0x10e399)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10e348)
Line          : chmod.c:53 (0x10e3a0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x12e054)
Line          : chown.c:36 (0x12e088)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x12e054)
Line          : chown.c:39 (0x12e092)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x12e054)
Line          : chown.c:46 (0x12e0aa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x12e054)
Line          : chown.c:46 (0x12e0b1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:35 (0x12e106)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:42 (0x12e118)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:47 (0x12e136)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:51 (0x12e143)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:51 (0x12e14a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x12e0f4)
Line          : chroot.c:37 (0x12e183)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : close (0x110aa8)
Line          : close.c:32 (0x110acf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : close (0x110aa8)
Line          : close.c:35 (0x110ae1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:147 (0x108782)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:181 (0x108790)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:190 (0x1087bd)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:197 (0x1087e7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:205 (0x10880b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:152 (0x10883e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:133 (0x1088ae)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x10873c)
Line          : diskdevs.c:138 (0x1088d4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_close (0x10eec0)
Line          : devclose.c:37 (0x10eef1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10ef18)
Line          : devfs_eval.c:43 (0x10ef28)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10ef18)
Line          : devfs_eval.c:48 (0x10ef38)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10ef18)
Line          : devfs_eval.c:51 (0x10ef49)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10ef18)
Line          : devfs_eval.c:55 (0x10ef70)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10ef18)
Line          : devfs_eval.c:58 (0x10ef79)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_initialize (0x107bec)
Line          : devfs_init.c:74 (0x107c0f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_ioctl (0x107da8)
Line          : devioctl.c:40 (0x107dd7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:45 (0x107c65)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:50 (0x107c78)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:50 (0x107c7f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:57 (0x107c92)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:60 (0x107ca0)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:61 (0x107cda)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:68 (0x107cef)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:45 (0x107d4c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x107c50)
Line          : devfs_mknod.c:46 (0x107d56)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_open (0x107df0)
Line          : devopen.c:40 (0x107e1f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_stat (0x107e9c)
Line          : devstat.c:30 (0x107ead)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_write (0x107edc)
Line          : devwrite.c:43 (0x107f25)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_close (0x113200)
Line          : deviceio.c:92 (0x113231)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_ioctl (0x1130e8)
Line          : deviceio.c:200 (0x113117)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_open (0x113248)
Line          : deviceio.c:61 (0x113277)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_write (0x113130)
Line          : deviceio.c:166 (0x113179)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : disk_lock (0x1083fc)
Line          : diskdevs.c:68 (0x108416)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : disk_unlock (0x10842c)
Line          : diskdevs.c:85 (0x108449)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : drainOutput (0x10a324)
Line          : termios.c:348 (0x10a35d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dup2 (0x108d68)
Line          : dup2.c:36 (0x108d85)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dup2 (0x108d68)
Line          : dup2.c:44 (0x108da2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:39 (0x143466)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:41 (0x14347d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:143 (0x1434f0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:145 (0x143500)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:142 (0x14352e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:85 (0x143538)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:54 (0x143554)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x14344c)
Line          : fcntl.c:59 (0x1435cf)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x10915c)
Line          : fdatasync.c:29 (0x10916b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x10915c)
Line          : fdatasync.c:31 (0x10917c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x10915c)
Line          : fdatasync.c:38 (0x10918b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x10f6b8)
Line          : fifo.c:166 (0x10f6d8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fpathconf (0x1091b4)
Line          : fpathconf.c:35 (0x1091d9)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x1085e4)
Line          : free.c:59 (0x108628)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : free (0x1085e4)
Line          : free.c:39 (0x10864f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x11f394)
Line          : fstat.c:45 (0x11f3b8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x11f394)
Line          : fstat.c:47 (0x11f3bf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x11f394)
Line          : fstat.c:50 (0x11f3c6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x12e32c)
Line          : fsync.c:29 (0x12e33b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x12e32c)
Line          : fsync.c:31 (0x12e34a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x12e32c)
Line          : fsync.c:37 (0x12e351)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:32 (0x110b56)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:34 (0x110b67)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:35 (0x110b6b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:46 (0x110b84)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:52 (0x110b96)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x110b38)
Line          : ftruncate.c:54 (0x110ba0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x10821c)
Line          : diskdevs.c:99 (0x108226)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x10821c)
Line          : diskdevs.c:99 (0x108238)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x10821c)
Line          : diskdevs.c:102 (0x108240)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : get_disk_entry (0x10821c)
Line          : diskdevs.c:102 (0x108246)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x15c67c)
Line          : getdents.c:42 (0x15c68e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x15c67c)
Line          : getdents.c:48 (0x15c6a9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x15c67c)
Line          : getdents.c:59 (0x15c6bf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x12ea04)
Line          : getpwent.c:350 (0x12ea32)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x12ea04)
Line          : getpwent.c:355 (0x12ea6d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x12ea04)
Line          : getpwent.c:360 (0x12ea71)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgrnam (0x12eb60)
Line          : getpwent.c:394 (0x12eb86)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x12ebd0)
Line          : getpwent.c:191 (0x12ebfe)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x12ebd0)
Line          : getpwent.c:196 (0x12ec39)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x12ebd0)
Line          : getpwent.c:201 (0x12ec3d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpwnam (0x12ed2c)
Line          : getpwent.c:235 (0x12ed52)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : gettimeofday (0x108660)
Line          : __gettod.c:35 (0x10866d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_open (0x11328c)
Line          : imfs_directory.c:51 (0x113299)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_read (0x1134c4)
Line          : imfs_directory.c:110 (0x11351c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_read (0x1134c4)
Line          : imfs_directory.c:110 (0x11354a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_read (0x1134c4)
Line          : imfs_directory.c:110 (0x1135fc)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x1133e8)
Line          : imfs_directory.c:304 (0x113407)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x1133e8)
Line          : imfs_directory.c:311 (0x113412)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x1133e8)
Line          : imfs_directory.c:340 (0x11346a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x12e8c8)
Line          : getpwent.c:54 (0x12e90f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x12e8c8)
Line          : getpwent.c:67 (0x12e934)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x12e8c8)
Line          : getpwent.c:70 (0x12e961)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x12e8c8)
Line          : getpwent.c:57 (0x12e9a1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x10b868)
Line          : ioctl.c:41 (0x10b886)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x10b868)
Line          : ioctl.c:51 (0x10b890)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x10b868)
Line          : ioctl.c:54 (0x10b897)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:51 (0x12edbe)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:73 (0x12eded)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:81 (0x12ee05)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:81 (0x12ee0c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:82 (0x12ee1c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:82 (0x12ee27)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:68 (0x12ee45)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:68 (0x12ee4c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:69 (0x12ee5c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:69 (0x12ee63)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:58 (0x12ee89)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x12ed60)
Line          : link.c:58 (0x12ee90)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11f444)
Line          : lseek.c:33 (0x11f45f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11f444)
Line          : lseek.c:35 (0x11f472)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11f444)
Line          : lseek.c:41 (0x11f483)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x1088bc)
Line          : malloc.c:41 (0x1088d5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x1088bc)
Line          : malloc.c:87 (0x108902)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x1088bc)
Line          : malloc.c:47 (0x108937)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x1088bc)
Line          : malloc.c:76 (0x10895b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc_deferred_frees_process (0x1087e4)
Line          : malloc_deferred.c:50 (0x10880a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc_is_system_state_OK (0x10878c)
Line          : malloc_deferred.c:29 (0x108796)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_alloc_block (0x112118)
Line          : memfile.c:1077 (0x112130)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x11258c)
Line          : memfile.c:1144 (0x1125a8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x11258c)
Line          : memfile.c:1150 (0x1125b2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x11258c)
Line          : memfile.c:1156 (0x1125b8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_free_blocks_in_table (0x11231c)
Line          : memfile.c:435 (0x11232d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_free_blocks_in_table (0x11231c)
Line          : memfile.c:445 (0x112336)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x112840)
Line          : memfile.c:267 (0x112856)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x112840)
Line          : memfile.c:267 (0x112858)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_ftruncate (0x112840)
Line          : memfile.c:267 (0x11286f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x11289c)
Line          : memfile.c:227 (0x1128af)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x11289c)
Line          : memfile.c:232 (0x1128c3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_open (0x112bb8)
Line          : memfile.c:106 (0x112bd1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_rmnod (0x1125e8)
Line          : memfile.c:1122 (0x1125f9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x108998)
Line          : mknod.c:46 (0x1089c4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x108998)
Line          : mknod.c:46 (0x1089e4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x108998)
Line          : mknod.c:60 (0x108a04)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x108998)
Line          : mknod.c:72 (0x108a24)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x108998)
Line          : mknod.c:79 (0x108a3e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:83 (0x108ba6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : chain.inl:141 (0x108c19)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:247 (0x108c30)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:172 (0x108ca6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:182 (0x108cb4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:223 (0x108d02)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:228 (0x108d13)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:274 (0x108d2a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x108b0c)
Line          : mount.c:274 (0x108d35)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_delete_hook (0x108e24)
Line          : newlibc_reent.c:143 (0x108e3f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_free_buffers (0x108e94)
Line          : newlibc_reent.c:110 (0x108eaa)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_free_buffers (0x108e94)
Line          : newlibc_reent.c:114 (0x108ec4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_initialize (0x1087e0)
Line          : devnull.c:58 (0x108816)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_write (0x1087c4)
Line          : devnull.c:157 (0x1087cc)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:161 (0x109281)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:161 (0x10928b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:195 (0x1092e2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:198 (0x1092f9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:198 (0x109300)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:194 (0x10931c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:178 (0x109361)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:130 (0x1093c4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x1091d4)
Line          : open.c:137 (0x1093ef)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x109174)
Line          : open_dev_console.c:45 (0x1091a1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x109174)
Line          : open_dev_console.c:48 (0x1091b6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:702 (0x109d6d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:703 (0x109d77)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:703 (0x109d7f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:741 (0x109d84)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:743 (0x109d98)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:705 (0x109dcf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:707 (0x109ddb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x109d5c)
Line          : termios.c:727 (0x109e43)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x112f5c)
Line          : pipe.c:36 (0x112f7e)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x112f5c)
Line          : pipe.c:52 (0x112fdf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x112f5c)
Line          : pipe.c:63 (0x112ff9)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x112f5c)
Line          : pipe.c:38 (0x11306c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x112f5c)
Line          : pipe.c:40 (0x113085)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : posix_memalign (0x10be10)
Line          : posix_memalign.c:35 (0x10be25)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : putk (0x1094e8)
Line          : putk.c:27 (0x1094f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x1105ec)
Line          : ramdisk-init.c:47 (0x11060e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x1105ec)
Line          : ramdisk-init.c:51 (0x110612)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x1105ec)
Line          : ramdisk-init.c:53 (0x110651)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_free (0x1105a8)
Line          : ramdisk-init.c:73 (0x1105b4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_free (0x1105a8)
Line          : ramdisk-init.c:74 (0x1105ba)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x1104c0)
Line          : ramdisk-driver.c:112 (0x1104fa)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x1104c0)
Line          : ramdisk-driver.c:112 (0x110551)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x1104c0)
Line          : ramdisk-driver.c:88 (0x11057a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x1104c0)
Line          : ramdisk-driver.c:88 (0x1105a3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x11066c)
Line          : ramdisk-init.c:95 (0x110698)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x11066c)
Line          : ramdisk-init.c:100 (0x1106bf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x11066c)
Line          : ramdisk-init.c:116 (0x1106e6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11f614)
Line          : read.c:30 (0x11f62a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11f614)
Line          : read.c:33 (0x11f63f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11f614)
Line          : read.c:34 (0x11f643)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11f614)
Line          : read.c:35 (0x11f648)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11f614)
Line          : read.c:41 (0x11f652)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:30 (0x12f70d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:35 (0x12f738)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:38 (0x12f742)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:48 (0x12f75e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:55 (0x12f776)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:55 (0x12f77d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:44 (0x12f7e1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x12f6fc)
Line          : readlink.c:44 (0x12f7e8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:40 (0x109ebd)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:42 (0x109ed2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:43 (0x109eda)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:54 (0x109efa)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:57 (0x109f0b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:108 (0x109f54)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:113 (0x109f68)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x109ea8)
Line          : readv.c:105 (0x109f87)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11f734)
Line          : realloc.c:52 (0x11f758)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11f734)
Line          : realloc.c:39 (0x11f7cb)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11f734)
Line          : realloc.c:42 (0x11f7d8)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11f734)
Line          : realloc.c:97 (0x11f801)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:78 (0x12f8c1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:96 (0x12f8db)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:105 (0x12f8f4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:105 (0x12f8fb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:107 (0x12f911)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:107 (0x12f918)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:86 (0x12f935)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:86 (0x12f93c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:87 (0x12f94b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:88 (0x12f952)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:88 (0x12f959)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:52 (0x12f99a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x12f82c)
Line          : rmdir.c:69 (0x12f9b8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_local_by_remote_bitfield (0x113678)
Line          : assoclocalbyremotebitfield.c:28 (0x1136b8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_name_by_local (0x115d18)
Line          : assocnamebylocal.c:27 (0x115d30)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_local (0x113dd0)
Line          : assocptrbylocal.c:26 (0x113de0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_local (0x113dd0)
Line          : assocptrbylocal.c:26 (0x113dee)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_remote (0x1136e8)
Line          : assocptrbyremote.c:26 (0x1136f8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_remote (0x1136e8)
Line          : assocptrbyremote.c:26 (0x113706)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_add_to_modified_list_after_access (0x110ab4)
Line          : bdbuf.c:1096 (0x110ac4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x110cc4)
Line          : bdbuf.c:982 (0x110cef)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x110cc4)
Line          : bdbuf.c:985 (0x110cf4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_disable_preemption (0x110c58)
Line          : bdbuf.c:921 (0x110c7d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_execute_transfer_request (0x11185c)
Line          : bdbuf.c:1988 (0x11189b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x112598)
Line          : bdbuf.c:1815 (0x1125db)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x112598)
Line          : bdbuf.c:1829 (0x112612)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x1123e0)
Line          : bdbuf.c:343 (0x112400)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x1123e0)
Line          : bdbuf.c:343 (0x112423)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x1123e0)
Line          : bdbuf.c:1521 (0x112456)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x1123e0)
Line          : bdbuf.c:1568 (0x112490)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x1123e0)
Line          : bdbuf.c:1577 (0x112513)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:1204 (0x112079)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:1212 (0x112122)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:1217 (0x112131)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:1273 (0x112142)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:1273 (0x11216b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:393 (0x1121c4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:393 (0x1121cc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:393 (0x1121d8)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:393 (0x1121fe)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:473 (0x112266)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:404 (0x11228f)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:428 (0x1122c1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:486 (0x1122eb)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:432 (0x11233f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:432 (0x112343)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:445 (0x112350)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x112014)
Line          : bdbuf.c:460 (0x112373)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1305 (0x110d68)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1311 (0x110d7e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1320 (0x110d9e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1350 (0x110e8b)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1358 (0x110f5e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1364 (0x110f81)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1370 (0x110fa4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1376 (0x110fc7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1394 (0x111005)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1402 (0x111024)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1412 (0x111045)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1455 (0x1110f7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1463 (0x11111e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x110d58)
Line          : bdbuf.c:1469 (0x11113f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_lock (0x110770)
Line          : bdbuf.c:847 (0x110788)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1746 (0x11098e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1753 (0x1109b7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1768 (0x1109e9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1156 (0x1109fd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1161 (0x110a18)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x110978)
Line          : bdbuf.c:1781 (0x110a25)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2888 (0x111700)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2890 (0x111735)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2892 (0x11173d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2922 (0x111759)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2922 (0x11179e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2929 (0x1117a5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x1116ac)
Line          : bdbuf.c:2938 (0x111804)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:2037 (0x1126a1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:1923 (0x112776)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:341 (0x1127d2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:341 (0x1127fb)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:341 (0x11280a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:1684 (0x112826)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:2068 (0x112886)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:341 (0x1128a6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x112664)
Line          : bdbuf.c:343 (0x1128a8)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x1115e8)
Line          : bdbuf.c:2101 (0x1115f9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x1115e8)
Line          : bdbuf.c:2103 (0x1115fd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x1115e8)
Line          : bdbuf.c:2124 (0x111611)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x1115e8)
Line          : bdbuf.c:2124 (0x111643)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_disk (0x110a64)
Line          : bdbuf.c:1799 (0x110a75)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x11156c)
Line          : bdbuf.c:2101 (0x11157d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x11156c)
Line          : bdbuf.c:2103 (0x111581)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x11156c)
Line          : bdbuf.c:2158 (0x11158e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_modified (0x11156c)
Line          : bdbuf.c:2158 (0x111598)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:565 (0x1111f4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:569 (0x111200)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:569 (0x111208)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:569 (0x111214)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:565 (0x11121f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:569 (0x111230)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:565 (0x11123b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:620 (0x111289)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:791 (0x111313)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:667 (0x11131a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:735 (0x11132c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:735 (0x111331)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:681 (0x111377)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:694 (0x1113cb)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x1111a4)
Line          : bdbuf.c:699 (0x1113da)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree_and_lru_list (0x1114b0)
Line          : bdbuf.c:1047 (0x1114c3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_restore_preemption (0x110c94)
Line          : bdbuf.c:933 (0x110cb3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x1107dc)
Line          : bdbuf.c:2430 (0x110811)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x1107dc)
Line          : bdbuf.c:2470 (0x11088e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2706 (0x111b4c)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2799 (0x111c23)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2603 (0x111cd8)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2626 (0x111d30)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2844 (0x111d5e)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2549 (0x111d88)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x111aec)
Line          : bdbuf.c:2555 (0x111da4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2284 (0x111993)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2321 (0x1119e6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2339 (0x1119ef)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2376 (0x111a66)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2367 (0x111aba)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x111980)
Line          : bdbuf.c:2382 (0x111acf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_writereq_alloc (0x111154)
Line          : bdbuf.c:2651 (0x111173)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:2101 (0x111f01)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:2103 (0x111f05)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:2190 (0x111f12)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:2190 (0x111f1c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:1612 (0x111f8a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:1612 (0x111fa8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x111ef0)
Line          : bdbuf.c:1658 (0x111fcb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_syncdev (0x110bc8)
Line          : bdbuf.c:2223 (0x110bf8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_cache (0x110928)
Line          : bdbuf.c:861 (0x11093e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_sync (0x110950)
Line          : bdbuf.c:861 (0x110966)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wait_for_event (0x110b8c)
Line          : bdbuf.c:1512 (0x110baf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wait_for_event (0x110b8c)
Line          : bdbuf.c:1512 (0x110bb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wake (0x1107ac)
Line          : bdbuf.c:1017 (0x1107cc)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wake_swapper (0x110a88)
Line          : bdbuf.c:1027 (0x110aa0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x1129b4)
Line          : blkdev.c:187 (0x1129cb)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x1129b4)
Line          : blkdev.c:187 (0x1129d1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x112944)
Line          : blkdev.c:238 (0x112958)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x112944)
Line          : blkdev.c:238 (0x11295a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_ioctl (0x112944)
Line          : blkdev.c:238 (0x112979)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param (0x1080a8)
Line          : bspcmdline_getparam.c:29 (0x1080eb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param (0x1080a8)
Line          : bspcmdline_getparam.c:29 (0x1080f1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param (0x1080a8)
Line          : bspcmdline_getparam.c:29 (0x10811d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param_rhs (0x108158)
Line          : bspcmdline_getparamrhs.c:35 (0x108196)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x10881c)
Line          : cpuusagereport.c:62 (0x10882d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x10881c)
Line          : cpuusagereport.c:108 (0x108880)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x10881c)
Line          : cpuusagereport.c:109 (0x10888b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x10881c)
Line          : cpuusagereport.c:112 (0x1088f1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x108960)
Line          : diskdevs.c:291 (0x10898c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x108960)
Line          : diskdevs.c:302 (0x1089d2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_phys (0x108a38)
Line          : diskdevs.c:244 (0x108a78)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:398 (0x108589)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:403 (0x1085a8)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:357 (0x1085d5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:363 (0x108629)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:360 (0x108643)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x108570)
Line          : diskdevs.c:382 (0x108689)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_done (0x1082b0)
Line          : diskdevs.c:568 (0x1082c1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_done (0x1082b0)
Line          : diskdevs.c:574 (0x1082e5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x108350)
Line          : diskdevs.c:525 (0x10835e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x108350)
Line          : diskdevs.c:530 (0x10837a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x108350)
Line          : diskdevs.c:543 (0x1083a0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x108350)
Line          : diskdevs.c:550 (0x1083c3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x10845c)
Line          : diskdevs.c:474 (0x108475)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x10845c)
Line          : diskdevs.c:487 (0x108497)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x10845c)
Line          : diskdevs.c:491 (0x1084a3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x10845c)
Line          : diskdevs.c:499 (0x1084ce)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_obtain (0x108518)
Line          : diskdevs.c:425 (0x108531)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_dirname (0x108458)
Line          : eval.c:135 (0x108474)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x108574)
Line          : eval.c:107 (0x10858b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x108574)
Line          : eval.c:110 (0x10858f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x1084a0)
Line          : eval.c:39 (0x1084bd)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x1084a0)
Line          : eval.c:42 (0x1084c5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x1084a0)
Line          : eval.c:45 (0x1084d2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x1084a0)
Line          : eval.c:57 (0x1084f2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x1084a0)
Line          : eval.c:67 (0x10851c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_get_mount_handler (0x110fbc)
Line          : mount-mgr.c:101 (0x110fd1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1082e4)
Line          : base_fs.c:52 (0x108300)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1082e4)
Line          : base_fs.c:59 (0x108324)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1082e4)
Line          : base_fs.c:106 (0x10839b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_iterate (0x110f18)
Line          : mount-mgr.c:51 (0x110f2f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_iterate (0x110f18)
Line          : mount-mgr.c:51 (0x110f3a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_mount_iterate (0x108a9c)
Line          : mount.c:288 (0x108ac9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_mount_iterate (0x108a9c)
Line          : mount.c:288 (0x108ad2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x108408)
Line          : eval.c:153 (0x10841b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x108408)
Line          : eval.c:153 (0x10841f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x108408)
Line          : eval.c:153 (0x10842e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_prefix_separators (0x108408)
Line          : eval.c:153 (0x108432)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_register (0x110fec)
Line          : mount-mgr.c:118 (0x111015)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_register (0x110fec)
Line          : mount-mgr.c:126 (0x111050)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10e494)
Line          : iterateoverthreads.c:43 (0x10e4c5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_allocate (0x110d64)
Line          : libio.c:149 (0x110dc6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_free (0x110d0c)
Line          : libio.c:181 (0x110d2d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x1086e8)
Line          : libio_init.c:56 (0x1086f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x1086e8)
Line          : libio_init.c:60 (0x10870f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x1086e8)
Line          : libio_init.c:64 (0x10871f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x1086e8)
Line          : libio_init.c:81 (0x108762)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x1086e8)
Line          : libio_init.c:88 (0x10876b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_is_file_open (0x110c44)
Line          : libio.c:260 (0x110c6d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_is_open_files_in_fs (0x110ca8)
Line          : libio.c:216 (0x110cd1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12f60c)
Line          : privateenv.c:53 (0x12f627)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12f60c)
Line          : privateenv.c:58 (0x12f6b9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12f60c)
Line          : privateenv.c:66 (0x12f6d2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_to_fcntl_flags (0x110c04)
Line          : libio.c:103 (0x110c12)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_to_fcntl_flags (0x110c04)
Line          : libio.c:105 (0x110c17)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_malloc_statistics_at_free (0x10eec8)
Line          : malloc_statistics_helpers.c:64 (0x10eee5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_malloc_statistics_at_malloc (0x10eefc)
Line          : malloc_statistics_helpers.c:42 (0x10ef07)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_memalign (0x114c50)
Line          : rtems_memalign.c:43 (0x114cb7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_pipe_initialize (0x10f14c)
Line          : fifo.c:550 (0x10f159)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_begin_extension (0x10cd48)
Line          : check.c:197 (0x10cd55)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_create_extension (0x10d160)
Line          : check.c:182 (0x10d16e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10d030)
Line          : check.c:66 (0x10d042)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10d030)
Line          : check.c:305 (0x10d04e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10d030)
Line          : check.c:316 (0x10d054)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10d030)
Line          : check.c:316 (0x10d058)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x10d0a8)
Line          : check.c:66 (0x10d0bb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x10d0a8)
Line          : check.c:266 (0x10d0c5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x10d0a8)
Line          : check.c:281 (0x10d0f4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_double (0x110cf0)
Line          : stringtodouble.c:51 (0x110d6c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_double (0x110cf0)
Line          : stringtodouble.c:51 (0x110d7f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_float (0x110dc8)
Line          : stringtofloat.c:51 (0x110e40)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_float (0x110dc8)
Line          : stringtofloat.c:51 (0x110e53)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_int (0x12468c)
Line          : stringtoint.c:52 (0x1246f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_int (0x12468c)
Line          : stringtoint.c:52 (0x1246fe)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long (0x111010)
Line          : stringtolong.c:52 (0x11107a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long (0x111010)
Line          : stringtolong.c:52 (0x11108a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x110f48)
Line          : stringtolonglong.c:47 (0x110f59)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x110f48)
Line          : stringtolonglong.c:61 (0x110fc4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x110f48)
Line          : stringtolonglong.c:61 (0x110fde)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x124750)
Line          : stringtounsignedchar.c:52 (0x1247a7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x124750)
Line          : stringtounsignedchar.c:57 (0x1247af)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_int (0x11118c)
Line          : stringtounsignedint.c:52 (0x1111f6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long (0x124808)
Line          : stringtounsignedlong.c:52 (0x124872)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long_long (0x111228)
Line          : stringtounsignedlonglong.c:57 (0x1112b1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long_long (0x111228)
Line          : stringtounsignedlonglong.c:57 (0x1112b6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a769)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a76f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a7ab)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a7b1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a7b6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a7bc)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_index (0x10a760)
Line          : termios_baud2index.c:25 (0x10a8a2)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x1094cc)
Line          : termios_baud2num.c:25 (0x109509)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x1094cc)
Line          : termios_baud2num.c:25 (0x10953a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x1094cc)
Line          : termios_baud2num.c:25 (0x109557)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x1094cc)
Line          : termios_baud2num.c:25 (0x109577)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_baud_to_number (0x1094cc)
Line          : termios_baud2num.c:25 (0x10959a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:364 (0x10ab0a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:367 (0x10ab30)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:411 (0x10ab78)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:424 (0x10abb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:404 (0x10ac12)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:413 (0x10ac33)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:378 (0x10ac5a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x10aae8)
Line          : termios.c:384 (0x10ac6a)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_dequeue_characters (0x1098b0)
Line          : termios.c:1408 (0x1098c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_dequeue_characters (0x1098b0)
Line          : termios.c:1418 (0x1098d2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_initialize (0x109618)
Line          : termiosinitialize.c:51 (0x109649)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:526 (0x10a702)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:530 (0x10a70a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:530 (0x10a70c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:456 (0x10a7e0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:477 (0x10a82c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:486 (0x10a85e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:503 (0x10a8b3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:507 (0x10a8c2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:511 (0x10a8d6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:577 (0x10a917)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:530 (0x10a959)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:558 (0x10aa47)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x10a6d0)
Line          : termios.c:567 (0x10aa92)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10aa75)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10aaae)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10aaf3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10ab01)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10ab20)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_number_to_baud (0x10aa34)
Line          : termios_num2baud.c:25 (0x10ab31)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:125 (0x10ace5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:127 (0x10ad00)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:128 (0x10ad0e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:313 (0x10ad43)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:138 (0x10adbb)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:147 (0x10ade9)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:157 (0x10ae1d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:167 (0x10ae42)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:206 (0x10aee2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:214 (0x10af15)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:222 (0x10af4a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:234 (0x10af79)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:258 (0x10af97)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:302 (0x10b028)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10acbc)
Line          : termios.c:265 (0x10b0b6)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x109c28)
Line          : termios.c:645 (0x109c47)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x109c28)
Line          : termios.c:650 (0x109c5b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x109c28)
Line          : termios.c:671 (0x109cad)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x109c28)
Line          : termios.c:665 (0x109cbe)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x109c28)
Line          : termios.c:679 (0x109ced)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1094 (0x10a3b5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1096 (0x10a3c8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1102 (0x10a3fe)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1105 (0x10a47b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1026 (0x10a4a4)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x10a384)
Line          : termios.c:1073 (0x10a5b5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1279 (0x1096ac)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1292 (0x1096be)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1313 (0x1096d2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1354 (0x109733)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1375 (0x109758)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1349 (0x1097b6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x109690)
Line          : termios.c:1375 (0x1097ed)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x10a258)
Line          : termios.c:759 (0x10a27d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x10a258)
Line          : termios.c:761 (0x10a290)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x10a258)
Line          : termios.c:766 (0x10a2b8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x10a258)
Line          : termios.c:769 (0x10a2c8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:126 (0x12e4f2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:129 (0x12e503)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:130 (0x12e508)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:137 (0x12e51d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:140 (0x12e52c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:140 (0x12e533)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:126 (0x12e544)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12e4d0)
Line          : getpwent.c:145 (0x12e562)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x12e5a8)
Line          : getpwent.c:99 (0x12e5d5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x12e5a8)
Line          : getpwent.c:101 (0x12e5da)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x12e5a8)
Line          : getpwent.c:89 (0x12e604)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x12e5a8)
Line          : getpwent.c:90 (0x12e60d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x12e5a8)
Line          : getpwent.c:95 (0x12e62d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:300 (0x12e663)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:300 (0x12e68a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:300 (0x12e698)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:300 (0x12e6b4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:310 (0x12e6c4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:311 (0x12e6d9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:318 (0x12e6ea)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:326 (0x12e705)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x12e63c)
Line          : getpwent.c:327 (0x12e71a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e7b7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e7de)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e7ec)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e7fa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e816)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e832)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e84e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12e790)
Line          : getpwent.c:163 (0x12e86e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10fe80)
Line          : stat.c:65 (0x10fec6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10fe80)
Line          : stat.c:79 (0x10fee5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10fe80)
Line          : stat.c:79 (0x10feec)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x12fb24)
Line          : symlink.c:33 (0x12fb48)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x12fb24)
Line          : symlink.c:41 (0x12fb65)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x12fb24)
Line          : symlink.c:48 (0x12fb7b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x12fb24)
Line          : symlink.c:48 (0x12fb82)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sync_per_thread (0x10a708)
Line          : sync.c:65 (0x10a71a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : tcsetattr (0x1185e0)
Line          : tcsetattr.c:37 (0x1185f0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:70 (0x1137f1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:84 (0x11380f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:93 (0x113828)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:93 (0x11382f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:95 (0x113845)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:95 (0x11384c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:48 (0x113886)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:65 (0x1138a0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:66 (0x1138a7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:66 (0x1138ae)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:78 (0x113909)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:78 (0x113910)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x11375c)
Line          : unlink.c:79 (0x11391f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:88 (0x12fca4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:88 (0x12fcab)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:72 (0x12fcbe)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:73 (0x12fccc)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:135 (0x12fd1d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:151 (0x12fd3b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:170 (0x12fd6d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:170 (0x12fd74)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:80 (0x12fd9d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12fc5c)
Line          : unmount.c:80 (0x12fda4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x12fe18)
Line          : utime.c:36 (0x12fe53)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x12fe18)
Line          : utime.c:43 (0x12fe68)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x12fe18)
Line          : utime.c:43 (0x12fe6f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:50 (0x10b24f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:125 (0x10b2da)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:188 (0x10b3e6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:50 (0x10b421)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:68 (0x10b448)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:72 (0x10b45a)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:82 (0x10b472)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:113 (0x10b4fb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:179 (0x10b59b)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x10b23c)
Line          : vprintk.c:99 (0x10b5c5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:37 (0x11f83a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:39 (0x11f84b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:40 (0x11f84f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:42 (0x11f858)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:48 (0x11f862)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11f824)
Line          : write.c:53 (0x11f871)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:41 (0x10c3b0)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:44 (0x10c3d2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:55 (0x10c3e6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:58 (0x10c3f3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:107 (0x10c436)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:112 (0x10c482)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:115 (0x10c484)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10c398)
Line          : writev.c:120 (0x10c4a0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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