============================================
Symbol        : devFS_Show (0x40002bd4)
Line          : devfs_show.c:26 (0x40002bf8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_Show (0x40002bd4)
Line          : devfs_show.c:32 (0x40002c10)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_Show (0x40002bd4)
Line          : devfs_show.c:35 (0x40002c58)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_eval_path (0x40009ffc)
Line          : devfs_eval.c:35 (0x4000a044)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_eval_path (0x40009ffc)
Line          : devfs_eval.c:70 (0x4000a0c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_eval_path (0x40009ffc)
Line          : devfs_eval.c:79 (0x4000a0d0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_eval_path (0x40009ffc)
Line          : devfs_eval.c:78 (0x4000a0f8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x40002ae0)
Line          : devfs_mknod.c:34 (0x40002b4c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x40002ae0)
Line          : devfs_mknod.c:34 (0x40002b5c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x40002ae0)
Line          : devfs_mknod.c:34 (0x40002b6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : devFS_mknod (0x40002ae0)
Line          : devfs_mknod.c:56 (0x40002b84)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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