============================================ Symbol : ramdisk_allocate (0x400324b0) Line : ramdisk-init.c:41 (0x400324e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_allocate (0x400324b0) Line : ramdisk-init.c:47 (0x40032528) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_free (0x400231d0) Line : ramdisk-init.c:66 (0x400231d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_initialize (0x40022f50) Line : ramdisk-config.c:45 (0x40022f78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_initialize (0x40022f50) Line : ramdisk-config.c:75 (0x40022ff4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_initialize (0x40022f50) Line : ramdisk-config.c:55 (0x4002305c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x40023070) Line : ramdisk-driver.c:109 (0x400230b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x40023070) Line : ramdisk-driver.c:78 (0x400230c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x40023070) Line : ramdisk-driver.c:53 (0x4002318c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x40023070) Line : ramdisk-driver.c:61 (0x400231b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_register (0x400224b0) Line : ramdisk-register.c:40 (0x400224e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_register (0x400224b0) Line : ramdisk-register.c:51 (0x40022504) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4002e7c0) Line : bdbuf.c:1771 (0x4002e7f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4002e7c0) Line : bdbuf.c:794 (0x4002e804) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4002e7c0) Line : bdbuf.c:1811 (0x4002e898) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:1771 (0x4002e918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:794 (0x4002e928) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:2075 (0x4002e9ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : chainimpl.h:147 (0x4002ea20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:2027 (0x4002ea84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:2032 (0x4002ea94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4002e8e0) Line : bdbuf.c:2036 (0x4002eac8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4002eae0) Line : bdbuf.c:2132 (0x4002eae0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4002eae0) Line : bdbuf.c:2139 (0x4002eb1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4002eae0) Line : bdbuf.c:2139 (0x4002eb44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4002ebe0) Line : bdbuf.c:2166 (0x4002ebe0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4002ebe0) Line : bdbuf.c:2173 (0x4002ec14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4002ebe0) Line : bdbuf.c:2173 (0x4002ec3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_set_block_size (0x4002eed0) Line : bdbuf.c:1070 (0x4002ef70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:2194 (0x4002ec70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:2205 (0x4002eca8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:2205 (0x4002ecd4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:931 (0x4002ed20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:1641 (0x4002ed30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:1641 (0x4002ed44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:1688 (0x4002ed68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x4002ec70) Line : bdbuf.c:944 (0x4002eda8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_syncdev (0x4002ede0) Line : bdbuf.c:931 (0x4002ee3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_syncdev (0x4002ede0) Line : event.h:557 (0x4002ee5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:40 (0x40020fb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:39 (0x40020fc0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:51 (0x40020fd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:57 (0x40020fe8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:63 (0x40021004) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:73 (0x40021034) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:83 (0x40021070) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:88 (0x40021080) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:115 (0x40021098) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:137 (0x400210b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_create (0x40020f90) Line : bdpart-create.c:130 (0x40021114) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:52 (0x40021174) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:59 (0x400211a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:59 (0x400211ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:59 (0x400211b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:59 (0x400211c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_dump (0x40021150) Line : bdpart-dump.c:58 (0x400211fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_get_disk_data (0x400214c0) Line : bdpart-read.c:85 (0x400214f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_get_disk_data (0x400214c0) Line : blkdev.h:226 (0x40021508) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_get_disk_data (0x400214c0) Line : bdpart-read.c:109 (0x40021528) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:235 (0x400215ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:236 (0x400215d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:254 (0x400215f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:260 (0x40021624) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:360 (0x4002162c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:268 (0x400216a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:274 (0x400216b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:291 (0x40021708) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:299 (0x40021714) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:304 (0x40021728) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:316 (0x4002174c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:323 (0x40021760) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:332 (0x40021774) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:346 (0x400217dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_read (0x40021590) Line : bdpart-read.c:364 (0x400217fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_register (0x40021850) Line : bdpart-register.c:83 (0x40021890) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_register (0x40021850) Line : bdpart-register.c:40 (0x400218c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_register (0x40021850) Line : bdpart-register.c:115 (0x400218fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_register (0x40021850) Line : bdpart-register.c:59 (0x40021930) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_register_from_disk (0x40021970) Line : bdpart-register.c:138 (0x4002199c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_unregister (0x400219c0) Line : bdpart-register.c:163 (0x400219f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_unregister (0x400219c0) Line : bdpart-register.c:40 (0x40021a2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_unregister (0x400219c0) Line : bdpart-register.c:190 (0x40021a58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_unregister (0x400219c0) Line : bdpart-register.c:59 (0x40021a80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:97 (0x40021b70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:96 (0x40021b78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:109 (0x40021b9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:115 (0x40021bac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:121 (0x40021bc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:126 (0x40021bd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:147 (0x40021bec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:135 (0x40021c0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:141 (0x40021c1c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:298 (0x40021c28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:97 (0x40021c58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:302 (0x40021ca8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:154 (0x40021cb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:165 (0x40021cc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:171 (0x40021cc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:186 (0x40021cf4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:199 (0x40021d3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:205 (0x40021d4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:216 (0x40021d6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:245 (0x40021e10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : endian.h:116 (0x40021e78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:266 (0x40021e9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:266 (0x40021f08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdpart_write (0x40021b50) Line : bdpart-write.c:171 (0x40021f88) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_create_partition (0x40022400) Line : blkdev-imfs.c:345 (0x40022440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_generic_ioctl (0x40021560) Line : blkdev.c:184 (0x40021580) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4002f0b0) Line : blkdev-ioctl.c:29 (0x4002f0f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4002f0b0) Line : blkdev-ioctl.c:41 (0x4002f100) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4002f0b0) Line : blkdev-ioctl.c:29 (0x4002f130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4002f0b0) Line : blkdev-ioctl.c:29 (0x4002f190) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4002f0b0) Line : blkdev-ioctl.c:53 (0x4002f1b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_create_log (0x40021b10) Line : diskdevs.c:397 (0x40021c08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_create_phys (0x40021a00) Line : diskdevs.c:397 (0x40021ae4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_delete (0x40021c50) Line : diskdevs.c:397 (0x40021c8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_done (0x40021ea0) Line : diskdevs.c:507 (0x40021ec4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_done (0x40021ea0) Line : diskdevs.c:553 (0x40021ef0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x40021e20) Line : diskdevs.c:520 (0x40021e38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x40021e20) Line : diskdevs.c:486 (0x40021e5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x40021e20) Line : diskdevs.c:71 (0x40021e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_obtain (0x40021ce0) Line : diskdevs.c:426 (0x40021d00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_release (0x40021d80) Line : diskdevs.c:397 (0x40021df4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:236 (0x40024608) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2459 (0x4002466c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2462 (0x40024670) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2480 (0x400246e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:754 (0x40024704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:757 (0x40024750) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2480 (0x40024760) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2488 (0x4002477c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2492 (0x40024790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2498 (0x400247a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2505 (0x400247dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2515 (0x400247e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:648 (0x400247fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:648 (0x4002482c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2525 (0x40024840) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2544 (0x40024854) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2537 (0x4002488c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2515 (0x400248c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2560 (0x400248dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2573 (0x400248ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x400245e0) Line : flashdisk.c:2462 (0x40024910) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_ide_part_table_initialize (0x40022dd0) Line : ide_part_table.c:419 (0x40022df0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_ide_part_table_initialize (0x40022dd0) Line : ide_part_table.c:423 (0x40022e0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_ide_part_table_initialize (0x40022dd0) Line : ide_part_table.c:447 (0x40022e20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_ide_part_table_initialize (0x40022dd0) Line : ide_part_table.c:587 (0x40022e8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_ide_part_table_initialize (0x40022dd0) Line : ide_part_table.c:419 (0x40022ed4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_create_and_register (0x40021ab0) Line : sparse-disk.c:49 (0x40021aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x400219a0) Line : sparse-disk.c:346 (0x400219a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x400219a0) Line : sparse-disk.c:55 (0x400219c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x400219a0) Line : sparse-disk.c:87 (0x40021a38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================