Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/free-space-cache.c io_ctl_add_bitmap() -> io_ctl_set_crc()

Type Parameter Key Value
PARAM_VALUE 0 io_ctl 4096-ptr_max
PARAM_VALUE 0 io_ctl->bitmaps 0
PARAM_VALUE 0 io_ctl->cur->type 1-2
PARAM_VALUE 0 io_ctl->entries 0
PARAM_VALUE 0 io_ctl->inode 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_size s64min-(-1),1-s64max
PARAM_VALUE 0 io_ctl->orig 0,4096-ptr_max
PARAM_VALUE 0 io_ctl->pages 4096-ptr_max
PARAM_VALUE 0 *io_ctl->pages 4096-ptr_max
PARAM_VALUE 1 index (-1)
BUF_SIZE 0 io_ctl 72
CAPPED_DATA 0 io_ctl->inode->i_mapping 1
CAPPED_DATA 0 io_ctl->num_pages 1
DATA_SOURCE 0 io_ctl $0
PARAM_COMPARE 0 io_ctl->cur != $0->orig
MEM_ZERO 0 io_ctl
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 io_ctl->num_pages
LOCK2 &ctl->cache_writeout_mutex
LOCK2 &ctl->tree_lock
HALF_LOCKED2 &block_group->data_rwsem
HALF_LOCKED2 &cow->lock
HALF_LOCKED2 &dev_replace->lock_finishing_cancel_unmount
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reloc_mutex
HALF_LOCKED2 &fs_info->subvol_sem
HALF_LOCKED2 &fs_info->transaction_kthread_mutex
HALF_LOCKED2 &trans->transaction->cache_write_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->cache_writeout_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->tree_lock

fs/btrfs/free-space-cache.c io_ctl_add_bitmap() -> io_ctl_set_crc()

Type Parameter Key Value
PARAM_VALUE 0 io_ctl 4096-ptr_max
PARAM_VALUE 0 io_ctl->bitmaps 0
PARAM_VALUE 0 io_ctl->cur 0
PARAM_VALUE 0 io_ctl->cur->type 1-2
PARAM_VALUE 0 io_ctl->entries 0
PARAM_VALUE 0 io_ctl->index 0
PARAM_VALUE 0 io_ctl->inode 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_size s64min-(-1),1-s64max
PARAM_VALUE 0 io_ctl->num_pages 0
PARAM_VALUE 0 io_ctl->orig 0,4096-ptr_max
PARAM_VALUE 0 io_ctl->pages 4096-ptr_max
PARAM_VALUE 0 *io_ctl->pages 4096-ptr_max
PARAM_VALUE 1 index (-1)
BUF_SIZE 0 io_ctl 72
CAPPED_DATA 0 io_ctl->inode->i_mapping 1
CAPPED_DATA 0 io_ctl->orig 1
DATA_SOURCE 0 io_ctl $0
PARAM_COMPARE 0 io_ctl->cur <= $0->orig
PARAM_COMPARE 0 io_ctl->index impossible $0->num_pages
MEM_ZERO 0 io_ctl
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 io_ctl->num_pages
LOCK2 &ctl->cache_writeout_mutex
LOCK2 &ctl->tree_lock
HALF_LOCKED2 &block_group->data_rwsem
HALF_LOCKED2 &cow->lock
HALF_LOCKED2 &dev_replace->lock_finishing_cancel_unmount
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reloc_mutex
HALF_LOCKED2 &fs_info->subvol_sem
HALF_LOCKED2 &fs_info->transaction_kthread_mutex
HALF_LOCKED2 &trans->transaction->cache_write_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->cache_writeout_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->tree_lock

fs/btrfs/free-space-cache.c io_ctl_add_entry() -> io_ctl_set_crc()

Type Parameter Key Value
PARAM_VALUE 0 io_ctl 4096-ptr_max
PARAM_VALUE 0 io_ctl->bitmaps 0
PARAM_VALUE 0 io_ctl->cur 4096-ptr_max
PARAM_VALUE 0 io_ctl->entries 0
PARAM_VALUE 0 io_ctl->inode 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_size s64min-(-1),1-s64max
PARAM_VALUE 0 io_ctl->orig 0,4096-ptr_max
PARAM_VALUE 0 io_ctl->pages 4096-ptr_max
PARAM_VALUE 0 *io_ctl->pages 4096-ptr_max
PARAM_VALUE 1 index (-1)
BUF_SIZE 0 io_ctl 72
CAPPED_DATA 0 io_ctl->inode->i_mapping 1
CAPPED_DATA 0 io_ctl->num_pages 1
DATA_SOURCE 0 io_ctl $0
MEM_ZERO 0 io_ctl
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 io_ctl->num_pages
LOCK2 &ctl->cache_writeout_mutex
LOCK2 &ctl->tree_lock
HALF_LOCKED2 &block_group->data_rwsem
HALF_LOCKED2 &cow->lock
HALF_LOCKED2 &dev_replace->lock_finishing_cancel_unmount
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reloc_mutex
HALF_LOCKED2 &fs_info->subvol_sem
HALF_LOCKED2 &fs_info->transaction_kthread_mutex
HALF_LOCKED2 &trans->transaction->cache_write_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->cache_writeout_mutex
TYPE_LOCK (struct btrfs_free_space_ctl)->tree_lock

fs/btrfs/free-space-cache.c io_ctl_zero_remaining_pages() -> io_ctl_set_crc()

Type Parameter Key Value
PARAM_VALUE 0 io_ctl 4096-ptr_max
PARAM_VALUE 0 io_ctl->bitmaps 0
PARAM_VALUE 0 io_ctl->cur 18379471554275704832,18446612682070032384
PARAM_VALUE 0 io_ctl->entries 0
PARAM_VALUE 0 io_ctl->inode 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_mapping 0
PARAM_VALUE 0 io_ctl->inode->i_size 0
PARAM_VALUE 0 io_ctl->num_pages 0
PARAM_VALUE 0 io_ctl->pages 4096-ptr_max
PARAM_VALUE 0 io_ctl->size 4096
PARAM_VALUE 0 *io_ctl->pages 4096-ptr_max
PARAM_VALUE 1 index (-1)
BUF_SIZE 0 io_ctl 72
DATA_SOURCE 0 io_ctl $0
PARAM_COMPARE 0 io_ctl->cur > $0->orig
MEM_ZERO 0 io_ctl
MEM_ZERO 0 io_ctl->inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 io_ctl->num_pages
HALF_LOCKED2 &block_group->data_rwsem
HALF_LOCKED2 &trans->transaction->cache_write_mutex

fs/btrfs/free-space-cache.c io_ctl_zero_remaining_pages() -> io_ctl_set_crc()

Type Parameter Key Value
PARAM_VALUE 0 io_ctl 4096-ptr_max
PARAM_VALUE 0 io_ctl->bitmaps 0
PARAM_VALUE 0 io_ctl->cur 0
PARAM_VALUE 0 io_ctl->entries 0
PARAM_VALUE 0 io_ctl->inode 4096-ptr_max
PARAM_VALUE 0 io_ctl->inode->i_mapping 0
PARAM_VALUE 0 io_ctl->inode->i_size 0
PARAM_VALUE 0 io_ctl->orig 0
PARAM_VALUE 0 io_ctl->pages 4096-ptr_max
PARAM_VALUE 0 io_ctl->size 4096
PARAM_VALUE 0 *io_ctl->pages 4096-ptr_max
BUF_SIZE 0 io_ctl 72
DATA_SOURCE 0 io_ctl $0
PARAM_COMPARE 0 io_ctl->index impossible $0->num_pages
MEM_ZERO 0 io_ctl
MEM_ZERO 0 io_ctl->inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 io_ctl->index
NO_OVERFLOW_SIMPLE 0 io_ctl->num_pages
HALF_LOCKED2 &block_group->data_rwsem
HALF_LOCKED2 &trans->transaction->cache_write_mutex