Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->dev_replace.bio_counter.lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->dev_replace.replace_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fs_info->dev_replace.replace_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 orig_bbio 4096-ptr_max
PARAM_VALUE 1 orig_bbio->inode 4096-ptr_max
PARAM_VALUE 1 orig_bbio->inode->root 4096-ptr_max
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->dev_replace.bio_counter.lock.dep_map->name 0-255
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->dev_replace.bio_counter.lock.owner (-1)
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->dev_replace.bio_counter.lock.owner_cpu u32max
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->dev_replace.replace_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 orig_bbio->inode->root->fs_info->dev_replace.replace_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 2 map_length 0-4294967294
BUF_SIZE 1 orig_bbio->private (-1),1-s32max
CAPPED_DATA 2 map_length 1
CAPPED_DATA 2 map_length 1
DATA_SOURCE 1 orig_bbio $0
NOSPEC 1 orig_bbio->parent_check.owner_root
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 orig_bbio->file_offset 0-u64max
USER_DATA 1 orig_bbio->parent_check.owner_root 5,256-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 1 orig_bbio->inode->disk_i_size
NO_OVERFLOW_SIMPLE 1 orig_bbio->inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 1 orig_bbio->inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->bytes_left
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->disk_num_bytes
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->file_offset
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->num_bytes
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->ram_bytes
NO_OVERFLOW_SIMPLE 1 orig_bbio->ordered->truncated_len
UNITS 0 fs_info unit_byte
UNITS 2 map_length unit_byte
HALF_LOCKED2 &fs_info->remap_mutex
HALF_LOCKED2 &pool->lock