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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_chown (0x10df68)
Line          : imfs_chown.c:46 (0x10df84)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10e066)
Line          : imfs_creat.c:45 (0x10e07c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10e066)
Line          : imfs_creat.c:52 (0x10e09f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_create_node (0x10e066)
Line          : imfs_creat.c:58 (0x10e0a9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x108e4b)
Line          : imfs_debug.c:132 (0x108e5c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x108e4b)
Line          : imfs_debug.c:134 (0x108e71)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_dump_directory (0x108e4b)
Line          : imfs_debug.c:136 (0x108e90)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:519 (0x10e312)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:602 (0x10e3ec)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:610 (0x10e409)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:284 (0x10e487)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:535 (0x10e4db)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path (0x10e2ff)
Line          : imfs_eval.c:685 (0x10e4f0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:349 (0x10e680)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:402 (0x10e6f5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:284 (0x10e763)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:284 (0x10e768)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:433 (0x10e77d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_for_make (0x10e5da)
Line          : imfs_eval.c:482 (0x10e83b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x10e216)
Line          : imfs_eval.c:140 (0x10e226)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_hard_link (0x10e216)
Line          : imfs_eval.c:155 (0x10e257)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_permission (0x10e1b0)
Line          : imfs_eval.c:85 (0x10e1c2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_permission (0x10e1b0)
Line          : imfs_eval.c:106 (0x10e1f8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10e26c)
Line          : imfs_eval.c:181 (0x10e281)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10e26c)
Line          : imfs_eval.c:184 (0x10e292)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_evaluate_sym_link (0x10e26c)
Line          : imfs_eval.c:218 (0x10e2e5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fchmod (0x111b58)
Line          : imfs_fchmod.c:42 (0x111b6c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fifo_open (0x10ea20)
Line          : imfs_fifo.c:45 (0x10ea3e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_find_match_in_dir (0x10eae0)
Line          : imfs_getchild.c:42 (0x10eaf1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_initialize_support (0x106e10)
Line          : imfs_initsupp.c:97 (0x106e72)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_link (0x106ed0)
Line          : imfs_link.c:68 (0x106f2d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x110ddc)
Line          : memfile.c:361 (0x110de8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_addblock (0x110ddc)
Line          : memfile.c:365 (0x110dff)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x110e4b)
Line          : memfile.c:305 (0x110e5f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x110e4b)
Line          : memfile.c:309 (0x110e76)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_extend (0x110e4b)
Line          : memfile.c:316 (0x110ed4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x1109b6)
Line          : memfile.c:904 (0x1109ca)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x1109b6)
Line          : memfile.c:908 (0x1109e1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x1109b6)
Line          : memfile.c:920 (0x110a0a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x1109b6)
Line          : memfile.c:931 (0x110a1e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_get_block_pointer (0x1109b6)
Line          : memfile.c:1051 (0x110b25)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:588 (0x1112f5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:592 (0x111314)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:602 (0x111333)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:611 (0x11134a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:618 (0x111362)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:639 (0x1113dd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:639 (0x1113df)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:662 (0x11144a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:679 (0x1114a4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_read (0x1112e2)
Line          : memfile.c:697 (0x1114ed)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x110be6)
Line          : memfile.c:494 (0x110bf4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x110be6)
Line          : memfile.c:498 (0x110c0b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x110be6)
Line          : memfile.c:516 (0x110c4a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_remove (0x110be6)
Line          : memfile.c:516 (0x110c8e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:739 (0x111041)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:743 (0x11105b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:751 (0x11107a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:761 (0x111091)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:772 (0x1110c6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:796 (0x111130)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:816 (0x111190)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_memfile_write (0x11102e)
Line          : memfile.c:838 (0x1111d8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x106f68)
Line          : imfs_mknod.c:57 (0x106fd8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x106f68)
Line          : imfs_mknod.c:81 (0x10700c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x107024)
Line          : imfs_mount.c:43 (0x107034)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x108d2e)
Line          : imfs_debug.c:56 (0x108d3a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_print_jnode (0x108d2e)
Line          : imfs_debug.c:59 (0x108d6c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_readlink (0x107060)
Line          : imfs_readlink.c:37 (0x107076)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_rmnod (0x10ec2c)
Line          : imfs_rmnod.c:68 (0x10ec89)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_stat (0x10ecc0)
Line          : imfs_stat.c:37 (0x10ecd6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x107100)
Line          : imfs_symlink.c:49 (0x107137)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_symlink (0x107100)
Line          : imfs_symlink.c:71 (0x107169)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unlink (0x107190)
Line          : imfs_unlink.c:50 (0x1071a9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x107238)
Line          : imfs_unmount.c:44 (0x107248)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_unmount (0x107238)
Line          : imfs_unmount.c:51 (0x10725b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : RTEMS_Malloc_Initialize (0x107894)
Line          : malloc_initialize.c:118 (0x107905)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Obtain_for_reading (0x10cedc)
Line          : corerwlockobtainread.c:68 (0x10cf2c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Release (0x10d010)
Line          : corerwlockrelease.c:96 (0x10d094)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Timeout (0x10d0b0)
Line          : corerwlocktimeout.c:44 (0x10d0c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1128e4)
Line          : coremsg.c:76 (0x112920)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: Simple Test Case

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x10b081)
Line          : coremutexseize.c:39 (0x10b099)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x10b244)
Line          : coresemsurrender.c:68 (0x10b26a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Seize (0x10a088)
Line          : eventseize.c:73 (0x10a0cb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10a1dc)
Line          : eventsurrender.c:96 (0x10a266)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x1101e8)
Line          : heapallocate.c:200 (0x110303)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Extend (0x113640)
Line          : heapextend.c:76 (0x113686)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:46 (0x1103a3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:51 (0x1103b2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:64 (0x1103fa)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:71 (0x110404)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Allocate (0x10b70c)
Line          : objectallocate.c:53 (0x10b71a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x10f120)
Line          : objectidtoname.c:68 (0x10f157)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Set_name (0x10c2e0)
Line          : objectsetname.c:47 (0x10c323)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Condition_variables_Wait_support (0x10b1e4)
Line          : condwaitsupp.c:89 (0x10b29e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x111ec4)
Line          : keyrundestructors.c:61 (0x111f1c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x111ec4)
Line          : keyrundestructors.c:48 (0x111f38)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x10e6e0)
Line          : mqueuerecvsupp.c:90 (0x10e74d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x10e6e0)
Line          : mqueuerecvsupp.c:108 (0x10e785)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x10f704)
Line          : canceleval.c:30 (0x10f71a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Translate_sched_param (0x1107b0)
Line          : psxtransschedparam.c:30 (0x1107ce)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Delete_extension (0x10f723)
Line          : pthread.c:262 (0x10f767)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:59 (0x10a9ab)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:59 (0x10a9af)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:69 (0x10a9ff)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_TSR (0x10f933)
Line          : pthread.c:96 (0x10f96a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3)
Line          : pthread.c:142 (0x10f91d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3)
Line          : pthread.c:148 (0x10f922)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10a6cc)
Line          : timertsr.c:47 (0x10a6e3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10a6cc)
Line          : timertsr.c:55 (0x10a702)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Check_signal (0x112170)
Line          : psignalchecksignal.c:66 (0x1121a4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x11296c)
Line          : chain.inl:141 (0x11298e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x11296c)
Line          : psignalclearprocesssignals.c:56 (0x1129a5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10b014)
Line          : sigtimedwait.c:36 (0x10b02f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10b014)
Line          : sigtimedwait.c:48 (0x10b04d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x10f5d9)
Line          : psignal.c:129 (0x10f5f5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:111 (0x1123b3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:116 (0x1123d7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:117 (0x1123e8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x10be74)
Line          : threadchangepriority.c:103 (0x10beb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Clear_state (0x10bf94)
Line          : threadclearstate.c:89 (0x10c010)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x112800)
Line          : threadhandler.c:151 (0x112889)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10c3a8)
Line          : threadinitialize.c:98 (0x10c407)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x10f8bc)
Line          : threadresume.c:92 (0x10f935)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Stack_Free (0x10cca4)
Line          : threadstackfree.c:48 (0x10ccb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Tickle_timeslice (0x10cd8c)
Line          : threadtickletimeslice.c:74 (0x10cdb5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10cdf0)
Line          : threadyieldprocessor.c:68 (0x10ce2d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10cdf0)
Line          : threadyieldprocessor.c:72 (0x10ce3e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x10c854)
Line          : threadqenqueuepriority.c:98 (0x10c8b7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x10c854)
Line          : threadqenqueuepriority.c:106 (0x10c8d0)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10ca24)
Line          : threadqrequeue.c:60 (0x10ca3b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10ca24)
Line          : threadqrequeue.c:66 (0x10ca47)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x11721c)
Line          : timerserver.c:339 (0x11730d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x11721c)
Line          : timerserver.c:387 (0x11733e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1173ab)
Line          : timerserver.c:227 (0x1173bf)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1173ab)
Line          : timerserver.c:195 (0x117467)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x10e918)
Line          : watchdogadjust.c:63 (0x10e978)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x154000)
Line          : _rename_r.c:54 (0x15404b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _rename_r (0x154000)
Line          : _rename_r.c:71 (0x1540ac)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x10a458)
Line          : adjtime.c:100 (0x10a512)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chdir (0x127ddc)
Line          : chdir.c:47 (0x127e2e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10ca08)
Line          : chmod.c:41 (0x10ca3e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chmod (0x10ca08)
Line          : chmod.c:46 (0x10ca69)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chown (0x127ebc)
Line          : chown.c:39 (0x127efb)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x127f58)
Line          : chroot.c:35 (0x127f6a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : chroot (0x127f58)
Line          : chroot.c:42 (0x127f9a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x10a3e8)
Line          : clockgettime.c:46 (0x10a40b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_settime (0x129a40)
Line          : clocksettime.c:38 (0x129a4e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:138 (0x1077ec)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:147 (0x10782a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:152 (0x107836)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:190 (0x1078bf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:197 (0x1078d7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : create_disk (0x1077a1)
Line          : diskdevs.c:205 (0x107952)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_close (0x10d470)
Line          : devclose.c:37 (0x10d4a5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10d4c7)
Line          : devfs_eval.c:43 (0x10d4dd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10d4c7)
Line          : devfs_eval.c:48 (0x10d4f0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_evaluate_path (0x10d4c7)
Line          : devfs_eval.c:58 (0x10d52b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_initialize (0x106d80)
Line          : devfs_init.c:74 (0x106d9f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_ioctl (0x106ee4)
Line          : devioctl.c:40 (0x106f13)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:45 (0x106ded)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:45 (0x106df3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:46 (0x106df9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:50 (0x106e14)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:57 (0x106e37)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:61 (0x106e56)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x106dd8)
Line          : devfs_mknod.c:68 (0x106e93)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_open (0x106f28)
Line          : devopen.c:40 (0x106f5b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_stat (0x106fd0)
Line          : devstat.c:30 (0x106fe1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_write (0x10700c)
Line          : devwrite.c:43 (0x107055)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_close (0x1117bc)
Line          : deviceio.c:92 (0x1117f1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_ioctl (0x1116b6)
Line          : deviceio.c:200 (0x1116e5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_open (0x111801)
Line          : deviceio.c:61 (0x111834)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : device_write (0x1116fa)
Line          : deviceio.c:166 (0x111743)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : disk_unlock (0x10751a)
Line          : diskdevs.c:85 (0x107537)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : drainOutput (0x109056)
Line          : termios.c:348 (0x10908b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dup2 (0x107ca0)
Line          : dup2.c:36 (0x107cbd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x13ac2c)
Line          : fcntl.c:39 (0x13ac43)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x13ac2c)
Line          : fcntl.c:41 (0x13ac59)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fcntl (0x13ac2c)
Line          : fcntl.c:142 (0x13ad45)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fdatasync (0x108008)
Line          : fdatasync.c:38 (0x108044)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fpathconf (0x108060)
Line          : fpathconf.c:35 (0x108081)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x11dfc4)
Line          : fstat.c:47 (0x11dffc)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fstat (0x11dfc4)
Line          : fstat.c:50 (0x11e00f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fsync (0x128184)
Line          : fsync.c:37 (0x1281a9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x10edf8)
Line          : ftruncate.c:34 (0x10ee27)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x10edf8)
Line          : ftruncate.c:52 (0x10ee71)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ftruncate (0x10edf8)
Line          : ftruncate.c:54 (0x10ee88)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x153f3c)
Line          : getdents.c:42 (0x153f50)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getdents (0x153f3c)
Line          : getdents.c:59 (0x153f9b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x1287ce)
Line          : getpwent.c:355 (0x128824)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getgr_r (0x1287ce)
Line          : getpwent.c:360 (0x128841)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x128972)
Line          : getpwent.c:196 (0x1289c8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : getpw_r (0x128972)
Line          : getpwent.c:201 (0x1289e5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : gettimeofday (0x107714)
Line          : __gettod.c:35 (0x107721)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_open (0x111844)
Line          : imfs_directory.c:51 (0x111854)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_read (0x111a1a)
Line          : imfs_directory.c:97 (0x111a43)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x111968)
Line          : imfs_directory.c:311 (0x111996)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : imfs_dir_rmnod (0x111968)
Line          : imfs_directory.c:340 (0x1119f8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x1286c2)
Line          : getpwent.c:57 (0x128724)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : init_etc_passwd_group (0x1286c2)
Line          : getpwent.c:70 (0x128774)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x10a3d8)
Line          : ioctl.c:51 (0x10a400)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ioctl (0x10a3d8)
Line          : ioctl.c:54 (0x10a414)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:77 (0x111f5b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:83 (0x111f6c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:86 (0x111f87)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:268 (0x1120aa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x128adc)
Line          : link.c:51 (0x128b2e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x128adc)
Line          : link.c:73 (0x128bd8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x128adc)
Line          : link.c:82 (0x128c44)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : link (0x128adc)
Line          : link.c:82 (0x128c4b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11e070)
Line          : lseek.c:33 (0x11e08b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11e070)
Line          : lseek.c:35 (0x11e09a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11e070)
Line          : lseek.c:41 (0x11e0b0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : lseek (0x11e070)
Line          : lseek.c:72 (0x11e126)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : malloc (0x10793c)
Line          : malloc.c:47 (0x107967)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_check_rmnod (0x110d10)
Line          : memfile.c:1150 (0x110d36)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_free_blocks_in_table (0x110b31)
Line          : memfile.c:435 (0x110b3f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x110fc4)
Line          : memfile.c:227 (0x110fd3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_lseek (0x110fc4)
Line          : memfile.c:232 (0x111001)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : memfile_open (0x111253)
Line          : memfile.c:106 (0x11126b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x1079fc)
Line          : mknod.c:60 (0x107a6a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mknod (0x1079fc)
Line          : mknod.c:72 (0x107a9a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:83 (0x107bf2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:182 (0x107c8e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:223 (0x107cef)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:228 (0x107d0c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : chain.inl:141 (0x107d1f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:247 (0x107d3c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:273 (0x107dac)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:274 (0x107db3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : mount (0x107b4e)
Line          : mount.c:274 (0x107dba)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x1269dc)
Line          : nanosleep.c:48 (0x1269fa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x1269dc)
Line          : nanosleep.c:48 (0x126a00)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : newlib_free_buffers (0x107e45)
Line          : newlibc_reent.c:110 (0x107e5b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_initialize (0x1078e0)
Line          : devnull.c:58 (0x10790d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x108170)
Line          : open.c:130 (0x108209)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x108170)
Line          : open.c:137 (0x10823e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open (0x108170)
Line          : open.c:178 (0x1082f5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x108110)
Line          : open_dev_console.c:45 (0x10813d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : open_dev_console (0x108110)
Line          : open_dev_console.c:48 (0x10815c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:702 (0x108b68)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:703 (0x108b72)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:703 (0x108b87)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:707 (0x108b9f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:727 (0x108c06)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : oproc (0x108b55)
Line          : termios.c:741 (0x108c2a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x111558)
Line          : pipe.c:36 (0x11157a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x111558)
Line          : pipe.c:38 (0x111584)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x111558)
Line          : pipe.c:40 (0x1115a0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x111558)
Line          : pipe.c:52 (0x111602)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_create (0x111558)
Line          : pipe.c:63 (0x111625)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_attr_setschedpolicy (0x10eab4)
Line          : pthreadattrsetschedpolicy.c:32 (0x10ead5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x10a920)
Line          : pbarrierinit.c:76 (0x10a95e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_pop (0x109f88)
Line          : cleanuppop.c:75 (0x109ff8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_push (0x10a30c)
Line          : cleanuppush.c:53 (0x10a335)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_destroy (0x10afcc)
Line          : conddestroy.c:41 (0x10afed)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_init (0x10b080)
Line          : condinit.c:48 (0x10b097)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_condattr_destroy (0x10af34)
Line          : condattrdestroy.c:37 (0x10af41)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x10a65c)
Line          : pthreadcreate.c:116 (0x10a708)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:37 (0x1124fe)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:44 (0x11252c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:55 (0x11253e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_gettype (0x10a1b8)
Line          : mutexattrgettype.c:38 (0x10a1cc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_setpshared (0x10bfdc)
Line          : mutexattrsetpshared.c:39 (0x10bff1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_settype (0x10a208)
Line          : mutexattrsettype.c:32 (0x10a218)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x10ad18)
Line          : pthreadonce.c:36 (0x10ad58)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10b290)
Line          : prwlockinit.c:68 (0x10b2bc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10b290)
Line          : prwlockinit.c:71 (0x10b2c2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10b394)
Line          : prwlocktimedrdlock.c:85 (0x10b40f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10b394)
Line          : prwlocktimedrdlock.c:85 (0x10b419)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10b43c)
Line          : prwlocktimedwrlock.c:85 (0x10b4b7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10b43c)
Line          : prwlocktimedwrlock.c:85 (0x10b4c1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlockattr_setpshared (0x10bc5c)
Line          : rwlockattrsetpshared.c:35 (0x10bc71)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10cbc4)
Line          : pthreadsetschedparam.c:73 (0x10cc73)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10cbc4)
Line          : pthreadsetschedparam.c:73 (0x10cc7f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10aac8)
Line          : testcancel.c:44 (0x10aad6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10aac8)
Line          : testcancel.c:50 (0x10aaf9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x10e9a3)
Line          : ramdisk-init.c:51 (0x10e9c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_allocate (0x10e9a3)
Line          : ramdisk-init.c:53 (0x10e9df)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_free (0x10e970)
Line          : ramdisk-init.c:74 (0x10e982)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x10e890)
Line          : ramdisk-driver.c:112 (0x10e8b5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_ioctl (0x10e890)
Line          : ramdisk-driver.c:112 (0x10e8b8)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x10ea1d)
Line          : ramdisk-init.c:95 (0x10ea4c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x10ea1d)
Line          : ramdisk-init.c:100 (0x10ea66)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ramdisk_register (0x10ea1d)
Line          : ramdisk-init.c:116 (0x10ea8e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11e1fc)
Line          : read.c:33 (0x11e228)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11e1fc)
Line          : read.c:35 (0x11e240)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : read (0x11e1fc)
Line          : read.c:41 (0x11e257)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x129384)
Line          : readlink.c:30 (0x129395)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x129384)
Line          : readlink.c:35 (0x1293ca)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x129384)
Line          : readlink.c:38 (0x1293d8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readlink (0x129384)
Line          : readlink.c:48 (0x129431)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x108d4c)
Line          : readv.c:40 (0x108d61)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x108d4c)
Line          : readv.c:42 (0x108d72)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x108d4c)
Line          : readv.c:43 (0x108d76)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x108d4c)
Line          : readv.c:54 (0x108d99)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : readv (0x108d4c)
Line          : readv.c:57 (0x108da2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11e308)
Line          : realloc.c:39 (0x11e32d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11e308)
Line          : realloc.c:42 (0x11e33a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : realloc (0x11e308)
Line          : realloc.c:52 (0x11e354)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x129468)
Line          : rmdir.c:52 (0x1294b3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x129468)
Line          : rmdir.c:69 (0x12950e)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x129468)
Line          : rmdir.c:78 (0x129543)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rmdir (0x129468)
Line          : rmdir.c:96 (0x1295a3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_local (0x1129b4)
Line          : assocptrbylocal.c:26 (0x1129d7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_assoc_ptr_by_remote (0x111c28)
Line          : assocptrbyremote.c:26 (0x111c4b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x10efd9)
Line          : bdbuf.c:982 (0x10f004)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_anonymous_wait (0x10efd9)
Line          : bdbuf.c:985 (0x10f013)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_disable_preemption (0x10ef70)
Line          : bdbuf.c:921 (0x10ef95)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x110616)
Line          : bdbuf.c:1815 (0x110659)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get (0x110616)
Line          : bdbuf.c:1829 (0x110685)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x110488)
Line          : bdbuf.c:341 (0x1104be)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x110488)
Line          : bdbuf.c:1568 (0x1104fb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x110488)
Line          : bdbuf.c:1577 (0x110530)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_for_access (0x110488)
Line          : bdbuf.c:1521 (0x1105b0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:1273 (0x11026c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:404 (0x1102ed)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:445 (0x11037a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:460 (0x1103a2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:473 (0x1103b5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_get_buffer_from_lru_list (0x11015a)
Line          : bdbuf.c:486 (0x1103cf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x10f068)
Line          : bdbuf.c:1305 (0x10f07e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x10f068)
Line          : bdbuf.c:1311 (0x10f09d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x10f068)
Line          : bdbuf.c:1350 (0x10f18a)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x10f068)
Line          : bdbuf.c:1463 (0x10f36e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_init (0x10f068)
Line          : bdbuf.c:1469 (0x10f38b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_lock (0x10eaec)
Line          : bdbuf.c:847 (0x10eb04)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x10ecd7)
Line          : bdbuf.c:1746 (0x10ecf5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x10ecd7)
Line          : bdbuf.c:1753 (0x10ed10)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_obtain_disk (0x10ecd7)
Line          : bdbuf.c:1781 (0x10ed76)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x10f8e3)
Line          : bdbuf.c:2890 (0x10f96b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_purge (0x10f8e3)
Line          : bdbuf.c:2892 (0x10f977)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x1106d4)
Line          : bdbuf.c:2037 (0x110714)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x1106d4)
Line          : bdbuf.c:1923 (0x1107e0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x1106d4)
Line          : bdbuf.c:343 (0x110821)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x1106d4)
Line          : bdbuf.c:341 (0x110845)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_read (0x1106d4)
Line          : bdbuf.c:2068 (0x1108d4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x10f837)
Line          : bdbuf.c:2101 (0x10f84d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release (0x10f837)
Line          : bdbuf.c:2103 (0x10f857)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_release_disk (0x10ed99)
Line          : bdbuf.c:1799 (0x10edaa)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x10f487)
Line          : bdbuf.c:620 (0x10f568)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x10f487)
Line          : bdbuf.c:681 (0x10f610)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x10f487)
Line          : bdbuf.c:694 (0x10f628)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x10f487)
Line          : bdbuf.c:791 (0x10f6e7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree (0x10f487)
Line          : bdbuf.c:667 (0x10f6fc)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_remove_from_tree_and_lru_list (0x10f720)
Line          : bdbuf.c:1047 (0x10f733)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_restore_preemption (0x10efa9)
Line          : bdbuf.c:933 (0x10efc8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x10eb54)
Line          : bdbuf.c:2441 (0x10ebb3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x10eb54)
Line          : bdbuf.c:2467 (0x10ec01)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x10eb54)
Line          : bdbuf.c:2470 (0x10ec17)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x10eb54)
Line          : bdbuf.c:2470 (0x10ec1b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_modified_processing (0x10eb54)
Line          : bdbuf.c:2488 (0x10ec55)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x10fcb6)
Line          : bdbuf.c:2706 (0x10fdd4)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x10fcb6)
Line          : bdbuf.c:2603 (0x10feb7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x10fcb6)
Line          : bdbuf.c:2844 (0x10ff4e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_task (0x10fcb6)
Line          : bdbuf.c:2799 (0x10ff64)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x10fb82)
Line          : bdbuf.c:2339 (0x10fbe5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_write (0x10fb82)
Line          : bdbuf.c:2367 (0x10fc4c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_swapout_writereq_alloc (0x10f43a)
Line          : bdbuf.c:2651 (0x10f459)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x110045)
Line          : bdbuf.c:2101 (0x11005b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x110045)
Line          : bdbuf.c:2103 (0x110065)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x110045)
Line          : bdbuf.c:2190 (0x110076)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_sync (0x110045)
Line          : bdbuf.c:2190 (0x110084)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_cache (0x10ec89)
Line          : bdbuf.c:861 (0x10ec9f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_unlock_sync (0x10ecb0)
Line          : bdbuf.c:861 (0x10ecc6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wait_for_event (0x10eea6)
Line          : bdbuf.c:1512 (0x10eece)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bdbuf_wake_swapper (0x10edbb)
Line          : bdbuf.c:1027 (0x10edd3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x11098b)
Line          : blkdev.c:187 (0x1109a5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_blkdev_generic_ioctl (0x11098b)
Line          : blkdev.c:187 (0x1109bf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_bsp_cmdline_get_param (0x1071ac)
Line          : bspcmdline_getparam.c:29 (0x10720a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_cpu_usage_report_with_plugin (0x107920)
Line          : cpuusagereport.c:112 (0x10799b)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x107956)
Line          : diskdevs.c:291 (0x107982)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_create_log (0x107956)
Line          : diskdevs.c:302 (0x1079bb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x107638)
Line          : diskdevs.c:398 (0x107651)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_delete (0x107638)
Line          : diskdevs.c:403 (0x107667)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x107443)
Line          : diskdevs.c:525 (0x107452)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_io_initialize (0x107443)
Line          : diskdevs.c:550 (0x1074b8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_disk_next (0x107548)
Line          : diskdevs.c:470 (0x10755f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x107631)
Line          : eval.c:107 (0x107648)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_path (0x107631)
Line          : eval.c:110 (0x107659)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x107577)
Line          : eval.c:39 (0x107591)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x107577)
Line          : eval.c:42 (0x1075a2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_evaluate_relative_path (0x107577)
Line          : eval.c:67 (0x1075f9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1073dc)
Line          : base_fs.c:52 (0x1073f8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1073dc)
Line          : base_fs.c:59 (0x107422)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_initialize (0x1073dc)
Line          : base_fs.c:106 (0x1074a2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_filesystem_register (0x10f26e)
Line          : mount-mgr.c:118 (0x10f295)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x107788)
Line          : libio_init.c:60 (0x1077ac)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_init (0x107788)
Line          : libio_init.c:81 (0x1077f5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12928c)
Line          : privateenv.c:53 (0x1292aa)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12928c)
Line          : privateenv.c:58 (0x1292cd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_libio_set_private_env (0x12928c)
Line          : privateenv.c:66 (0x1292f4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_memalign (0x112844)
Line          : rtems_memalign.c:43 (0x112866)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_create (0x114edc)
Line          : partcreate.c:66 (0x114f09)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_delete (0x114fd4)
Line          : partdelete.c:52 (0x114ffa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x13b80d)
Line          : ratemonperiod.c:265 (0x13b85e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x13b80d)
Line          : ratemonperiod.c:283 (0x13b889)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10b8e4)
Line          : check.c:66 (0x10b8fb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_is_blown (0x10b8e4)
Line          : check.c:305 (0x10b914)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_stack_checker_switch_extension (0x10b954)
Line          : check.c:281 (0x10b998)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long (0x10f424)
Line          : stringtolong.c:52 (0x10f498)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x10f384)
Line          : stringtolonglong.c:61 (0x10f3fa)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_long_long (0x10f384)
Line          : stringtolonglong.c:61 (0x10f40a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x11fbd8)
Line          : stringtounsignedchar.c:52 (0x11fc35)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_char (0x11fbd8)
Line          : stringtounsignedchar.c:57 (0x11fc4a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_int (0x10f55c)
Line          : stringtounsignedint.c:52 (0x10f5c9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long (0x11fc6c)
Line          : stringtounsignedlong.c:52 (0x11fcd9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_string_to_unsigned_long_long (0x10f5d8)
Line          : stringtounsignedlonglong.c:57 (0x10f660)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:364 (0x1096f1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:367 (0x109713)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:384 (0x109742)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:404 (0x1097a0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:411 (0x1097b4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_close (0x1096cf)
Line          : termios.c:424 (0x1097fd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_dequeue_characters (0x10874a)
Line          : termios.c:1408 (0x108763)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_dequeue_characters (0x10874a)
Line          : termios.c:1418 (0x10878b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x109384)
Line          : termios.c:526 (0x1093b3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_ioctl (0x109384)
Line          : termios.c:503 (0x109540)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:125 (0x10986f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:128 (0x10988b)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:147 (0x1098c6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:157 (0x1098f5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:167 (0x109918)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:206 (0x1099e5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:214 (0x109a15)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:222 (0x109a48)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:234 (0x109a6c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:258 (0x109af2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:265 (0x109b1e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:302 (0x109bac)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:313 (0x109bf0)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_open (0x10984c)
Line          : termios.c:138 (0x109c66)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x108a35)
Line          : termios.c:645 (0x108a50)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x108a35)
Line          : termios.c:671 (0x108ac3)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_puts (0x108a35)
Line          : termios.c:679 (0x108b09)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1094 (0x1090e1)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1096 (0x1090f8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1102 (0x109119)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1105 (0x10913a)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1026 (0x1092fd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_read (0x1090b0)
Line          : termios.c:1073 (0x109310)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1279 (0x1085a6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1292 (0x1085d8)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1313 (0x10861f)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1349 (0x1086a8)
Size in Bytes : 6
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1354 (0x1086ce)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_refill_transmitter (0x10858a)
Line          : termios.c:1375 (0x108715)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x108faf)
Line          : termios.c:759 (0x108fd3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x108faf)
Line          : termios.c:761 (0x108fe6)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_termios_write (0x108faf)
Line          : termios.c:766 (0x108ff7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_cancel (0x116acc)
Line          : timercancel.c:53 (0x116af7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:58 (0x116f4d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:61 (0x116f5c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:64 (0x116f68)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:67 (0x116f7c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:71 (0x116f96)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:75 (0x116fb8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:126 (0x128343)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:129 (0x128369)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:130 (0x128372)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:137 (0x128386)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:140 (0x12839a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:140 (0x1283a2)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanInt (0x12831e)
Line          : getpwent.c:145 (0x1283b6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x1283d1)
Line          : getpwent.c:90 (0x12841b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x1283d1)
Line          : getpwent.c:95 (0x128426)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x1283d1)
Line          : getpwent.c:99 (0x12842d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanString (0x1283d1)
Line          : getpwent.c:101 (0x128432)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:300 (0x12847f)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:300 (0x12849e)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:300 (0x1284b0)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:300 (0x1284cf)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:318 (0x128509)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scangr (0x128458)
Line          : getpwent.c:327 (0x128527)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x1285b6)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x1285d5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x1285e7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x1285f9)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x128618)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x128633)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x12864e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : scanpw (0x12858f)
Line          : getpwent.c:163 (0x128669)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_max (0x10ad98)
Line          : sched_getprioritymax.c:29 (0x10adaf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_min (0x10adcc)
Line          : sched_getprioritymin.c:29 (0x10ade9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_rr_get_interval (0x10adfc)
Line          : sched_rr_get_interval.c:37 (0x10ae09)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_open (0x10d3f8)
Line          : semopen.c:85 (0x10d43b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigaction (0x10ac1c)
Line          : sigaction.c:66 (0x10ac69)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigsuspend (0x10ca00)
Line          : sigsuspend.c:49 (0x10ca41)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x10b053)
Line          : sigtimedwait.c:95 (0x10b088)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigwait (0x10cc18)
Line          : sigwait.c:38 (0x10cc3c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10e2ec)
Line          : stat.c:65 (0x10e33b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10e2ec)
Line          : stat.c:79 (0x10e37e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : stat (0x10e2ec)
Line          : stat.c:79 (0x10e385)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x129710)
Line          : symlink.c:33 (0x129734)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x129710)
Line          : symlink.c:41 (0x129754)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x129710)
Line          : symlink.c:48 (0x12978a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : symlink (0x129710)
Line          : symlink.c:48 (0x129791)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sync_per_thread (0x109394)
Line          : sync.c:65 (0x1093a6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : tcsetattr (0x114c14)
Line          : tcsetattr.c:37 (0x114c24)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:50 (0x10a47b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:56 (0x10a482)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:59 (0x10a488)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10a558)
Line          : timersettime.c:42 (0x10a568)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10a558)
Line          : timersettime.c:48 (0x10a585)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ualarm (0x10a370)
Line          : ualarm.c:70 (0x10a3c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:48 (0x111cd7)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:65 (0x111d32)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:66 (0x111d3d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:66 (0x111d48)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:70 (0x111d67)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:78 (0x111d7f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:78 (0x111d86)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:79 (0x111d93)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:84 (0x111dc4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:93 (0x111e14)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:93 (0x111e1b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:95 (0x111e2f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unlink (0x111c8c)
Line          : unlink.c:95 (0x111e36)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:68 (0x129869)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:80 (0x12987f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:80 (0x129886)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:88 (0x1298a3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:88 (0x1298aa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:72 (0x1298bc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:73 (0x1298c5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:135 (0x129925)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:151 (0x129936)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:170 (0x12997f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : unmount (0x12983d)
Line          : unmount.c:170 (0x129986)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x1299b0)
Line          : utime.c:36 (0x1299ec)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x1299b0)
Line          : utime.c:43 (0x129a21)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : utime (0x1299b0)
Line          : utime.c:43 (0x129a28)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : vprintk (0x109d38)
Line          : vprintk.c:125 (0x109e63)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:37 (0x11e3fc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:39 (0x11e410)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:40 (0x11e414)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:42 (0x11e42c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:48 (0x11e443)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : write (0x11e3e8)
Line          : write.c:53 (0x11e460)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:41 (0x10ac45)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:44 (0x10ac5a)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:55 (0x10ac7d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:58 (0x10ac86)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:107 (0x10ace6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:112 (0x10acfd)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:115 (0x10ad04)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : writev (0x10ac30)
Line          : writev.c:120 (0x10ad1a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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