============================================ Symbol : ramdisk_allocate (0x4000cbc8) Line : ramdisk-init.c:41 (0x4000cbdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_allocate (0x4000cbc8) Line : ramdisk-init.c:47 (0x4000cc1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x4000ca64) Line : ramdisk-driver.c:109 (0x4000caa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x4000ca64) Line : ramdisk-driver.c:85 (0x4000cab8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x4000ca64) Line : ramdisk-driver.c:61 (0x4000cb64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_ioctl (0x4000ca64) Line : ramdisk-driver.c:61 (0x4000cb98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_register (0x4000f8c8) Line : ramdisk-register.c:49 (0x4000f8ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_register (0x4000f8c8) Line : ramdisk-register.c:54 (0x4000f904) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ramdisk_register (0x4000f8c8) Line : ramdisk-register.c:70 (0x4000f934) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4000f1a4) Line : bdbuf.c:1771 (0x4000f1bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4000f1a4) Line : bdbuf.c:794 (0x4000f1cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_get (0x4000f1a4) Line : bdbuf.c:1811 (0x4000f288) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:1771 (0x4000f2bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:794 (0x4000f2cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:2027 (0x4000f34c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:2075 (0x4000f3dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:2007 (0x4000f40c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:2032 (0x4000f484) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_read (0x4000f2a4) Line : bdbuf.c:2036 (0x4000f4b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4000f4c8) Line : bdbuf.c:2118 (0x4000f4d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4000f4c8) Line : bdbuf.c:2139 (0x4000f500) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release (0x4000f4c8) Line : bdbuf.c:2139 (0x4000f594) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4000f5e0) Line : bdbuf.c:2118 (0x4000f5e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4000f5e0) Line : bdbuf.c:2173 (0x4000f604) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_release_modified (0x4000f5e0) Line : bdbuf.c:2173 (0x4000f614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_set_block_size (0x4000f6f4) Line : bdbuf.c:1654 (0x4000f72c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_set_block_size (0x4000f6f4) Line : bdbuf.c:2888 (0x4000f784) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_set_block_size (0x4000f6f4) Line : chainimpl.h:663 (0x4000f7d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:2118 (0x40004d74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:2205 (0x40004d90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:2205 (0x40004da0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:1641 (0x40004e0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:1641 (0x40004e20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:1641 (0x40004e3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_bdbuf_sync (0x40004d6c) Line : bdbuf.c:1688 (0x40004e60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_create_partition (0x40003674) Line : blkdev-imfs.c:339 (0x400036a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_generic_ioctl (0x4000fc38) Line : blkdev.c:181 (0x4000fc54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f8c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f8d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:40 (0x4000f8ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f904) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f91c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f928) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:52 (0x4000f980) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_blkdev_ioctl (0x4000f884) Line : blkdev-ioctl.c:28 (0x4000f9a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_done (0x400034f4) Line : diskdevs.c:501 (0x40003508) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_done (0x400034f4) Line : diskdevs.c:551 (0x40003540) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x4000348c) Line : diskdevs.c:470 (0x4000349c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x4000348c) Line : diskdevs.c:484 (0x400034bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_io_initialize (0x4000348c) Line : diskdevs.c:490 (0x400034d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_next (0x4000b410) Line : diskdevs.c:470 (0x4000b420) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_next (0x4000b410) Line : diskdevs.c:484 (0x4000b44c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_next (0x4000b410) Line : diskdevs.c:492 (0x4000b490) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_next (0x4000b410) Line : diskdevs.c:466 (0x4000b510) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_disk_obtain (0x400033b8) Line : diskdevs.c:424 (0x400033d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2466 (0x40007460) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:245 (0x4000748c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2476 (0x400074f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2479 (0x40007500) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2500 (0x40007590) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:763 (0x400075b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:763 (0x40007618) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2500 (0x4000762c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2508 (0x40007640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2512 (0x40007658) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2518 (0x40007674) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2526 (0x400076bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2537 (0x400076cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:657 (0x400076e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:657 (0x40007710) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2547 (0x40007728) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2566 (0x40007744) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2559 (0x40007788) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2537 (0x400077a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2582 (0x400077bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2595 (0x400077d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_fdisk_initialize (0x40007450) Line : flashdisk.c:2479 (0x400077e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_create_and_register (0x4000d308) Line : sparse-disk.c:319 (0x4000d324) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x4000d23c) Line : sparse-disk.c:347 (0x4000d24c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x4000d23c) Line : sparse-disk.c:63 (0x4000d258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_sparse_disk_register (0x4000d23c) Line : sparse-disk.c:89 (0x4000d2b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================