============================================
Symbol        : IMFS_eval_path_devfs (0x40003bd0)
Line          : unknown:-1 (0x40003c38)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_eval_path_devfs (0x40003bd0)
Line          : unknown:-1 (0x40003c68)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_fsunmount (0x4000b0cc)
Line          : unknown:-1 (0x4000b1b4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mknod (0x40005f4c)
Line          : unknown:-1 (0x40005fc4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_mount (0x40005ffc)
Line          : unknown:-1 (0x4000601c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : IMFS_node_free (0x40006124)
Line          : unknown:-1 (0x40006140)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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