Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/bio.c btrfs_submit_chunk() -> btrfs_alloc_dummy_sum()

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->inode->root->fs_info->dev_replace.bio_counter.lock.dep_map->name 0-255
PARAM_VALUE 0 bbio->inode->root->fs_info->dev_replace.bio_counter.lock.owner (-1)
PARAM_VALUE 0 bbio->inode->root->fs_info->dev_replace.bio_counter.lock.owner_cpu u32max
PARAM_VALUE 0 bbio->inode->root->fs_info->dev_replace.replace_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 bbio->inode->root->fs_info->dev_replace.replace_wait.head.prev->next->next 4096-ptr_max
BUF_SIZE 0 bbio->private (-1),1-s32max
DATA_SOURCE 0 bbio $0 [m]
NOSPEC 0 bbio->bio.bi_iter.bi_bvec_done
NOSPEC 0 bbio->parent_check.owner_root
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bbio->bio.bi_iter.bi_bvec_done 0-4294967294[c]
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_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 &fs_info->remap_mutex
HALF_LOCKED2 &pool->lock