============================================
Symbol                            : devFS_Show
Total Size in Bytes               : 224
Total Size in Instructions        : 56
Total number Branches             : 6
Total Always Taken                : 2
Total Never Taken                 : 1
Percentage Uncovered Instructions : 37.50
Percentage Uncovered Bytes        : 37.50
============================================
============================================
Symbol                            : devFS_close
Total Size in Bytes               : 24
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        : 100.00
============================================
============================================
Symbol                            : devFS_eval_path
Total Size in Bytes               : 276
Total Size in Instructions        : 69
Total number Branches             : 12
Total Always Taken                : 1
Total Never Taken                 : 3
Percentage Uncovered Instructions : 1.45
Percentage Uncovered Bytes        : 1.45
============================================
============================================
Symbol                            : devFS_file_handlers
Total Size in Bytes               : 64
Total Size in Instructions        : 0
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 0.00
Percentage Uncovered Bytes        : 100.00
============================================
============================================
Symbol                            : devFS_initialize
Total Size in Bytes               : 76
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               : 24
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_mknod
Total Size in Bytes               : 244
Total Size in Instructions        : 61
Total number Branches             : 7
Total Always Taken                : 1
Total Never Taken                 : 3
Percentage Uncovered Instructions : 9.84
Percentage Uncovered Bytes        : 9.84
============================================
============================================
Symbol                            : devFS_open
Total Size in Bytes               : 24
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_ops
Total Size in Bytes               : 116
Total Size in Instructions        : 0
Total number Branches             : 0
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 0.00
Percentage Uncovered Bytes        : 100.00
============================================
============================================
Symbol                            : devFS_read
Total Size in Bytes               : 24
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_stat
Total Size in Bytes               : 60
Total Size in Instructions        : 15
Total number Branches             : 1
Total Always Taken                : 0
Total Never Taken                 : 0
Percentage Uncovered Instructions : 0.00
Percentage Uncovered Bytes        : 0.00
============================================
============================================
Symbol                            : devFS_write
Total Size in Bytes               : 24
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
============================================