============================================
Symbol                            : devFS_Show
Total Size in Bytes               : 225
Total Size in Instructions        : 56
Total number Branches             : 6
Total Always Taken                : 2
Total Never Taken                 : 1
Percentage Uncovered Instructions : 42.86
Percentage Uncovered Bytes        : 43.11
============================================
============================================
Symbol                            : devFS_close
Total Size in Bytes               : 25
Total Size in Instructions        : 6
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 100.00
Percentage Uncovered Bytes        : 96.00
============================================
============================================
Symbol                            : devFS_eval_path
Total Size in Bytes               : 277
Total Size in Instructions        : 69
Total number Branches             : 12
Total Always Taken                : 1
Total Never Taken                 : 4
Percentage Uncovered Instructions : 2.90
Percentage Uncovered Bytes        : 2.89
============================================
============================================
Symbol                            : devFS_initialize
Total Size in Bytes               : 77
Total Size in Instructions        : 19
Total number Branches             : 1
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 0.00
Percentage Uncovered Bytes        : 0.00
============================================
============================================
Symbol                            : devFS_ioctl
Total Size in Bytes               : 25
Total Size in Instructions        : 6
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 100.00
Percentage Uncovered Bytes        : 96.00
============================================
============================================
Symbol                            : devFS_mknod
Total Size in Bytes               : 245
Total Size in Instructions        : 61
Total number Branches             : 7
Total Always Taken                : 1
Total Never Taken                 : 3
Percentage Uncovered Instructions : 14.75
Percentage Uncovered Bytes        : 14.69
============================================
============================================
Symbol                            : devFS_open
Total Size in Bytes               : 25
Total Size in Instructions        : 6
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 0.00
Percentage Uncovered Bytes        : 0.00
============================================
============================================
Symbol                            : devFS_read
Total Size in Bytes               : 25
Total Size in Instructions        : 6
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 100.00
Percentage Uncovered Bytes        : 96.00
============================================
============================================
Symbol                            : devFS_stat
Total Size in Bytes               : 61
Total Size in Instructions        : 15
Total number Branches             : 1
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 20.00
Percentage Uncovered Bytes        : 19.67
============================================
============================================
Symbol                            : devFS_write
Total Size in Bytes               : 25
Total Size in Instructions        : 6
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 100.00
Percentage Uncovered Bytes        : 96.00
============================================