Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/file-item.c btrfs_csum_one_bio() -> csum_one_bio()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->inode 4096-ptr_max
PARAM_VALUE 0 bbio->inode->root 4096-ptr_max
PARAM_VALUE 0 bbio->inode->root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bbio->inode->root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 bbio->ordered 4096-ptr_max
PARAM_VALUE 0 bbio->ordered->csum_list.prev 4096-ptr_max
PARAM_VALUE 0 bbio->ordered->csum_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bbio->ordered->inode 4096-ptr_max
PARAM_VALUE 0 bbio->ordered->inode->ordered_tree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bbio->sums 4096-ptr_max
PARAM_VALUE 0 bbio->sums->list.next 4096-ptr_max
PARAM_VALUE 0 bbio->sums->list.prev 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 0 bbio->ordered (-1),1-s32max
BUF_SIZE 0 bbio->private (-1),1-s32max
BUF_SIZE 0 bbio->sums 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 bbio $0
BIT_INFO 0 bbio->bio.bi_opf 0x0,0xffffefff
NOSPEC 0 bbio->file_offset
NOSPEC 0 bbio->parent_check.owner_root
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 bbio->file_offset 0-u64max
USER_DATA 0 bbio->parent_check.owner_root 5,256-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 bbio->inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 bbio->inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 0 bbio->inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 bbio->ordered->bytes_left
NO_OVERFLOW_SIMPLE 0 bbio->ordered->disk_bytenr
NO_OVERFLOW_SIMPLE 0 bbio->ordered->disk_num_bytes
NO_OVERFLOW_SIMPLE 0 bbio->ordered->file_offset
NO_OVERFLOW_SIMPLE 0 bbio->ordered->num_bytes
NO_OVERFLOW_SIMPLE 0 bbio->ordered->ram_bytes
NO_OVERFLOW_SIMPLE 0 bbio->ordered->truncated_len
HALF_LOCKED2 &pool->lock

fs/btrfs/file-item.c csum_one_bio_work() -> csum_one_bio()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock