============================================
Symbol        : dev_zero_read (0x104d60)
Line          : devzero.c:69 (0x104d73)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dev_zero_read (0x104d60)
Line          : devzero.c:69 (0x104d78)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dev_zero_read (0x104d60)
Line          : devzero.c:69 (0x104d86)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : dev_zero_read (0x104d60)
Line          : devzero.c:69 (0x104d93)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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