Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->can_use_append 1
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->block_group_cache_lock.dep_map->name 0-255
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
PARAM_VALUE 0 bbio->inode->root->fs_info->zone_size 1-u64max
PARAM_VALUE 0 bbio->inode->root->root_key.objectid 0-18446744073709551606,18446744073709551608-u64max
PARAM_VALUE 0 bbio->inode->vfs_inode.i_ino 0,2-u64max
PARAM_VALUE 1 map_length 0-u32max
BUF_SIZE 0 bbio->private (-1),1-s32max
CAPPED_DATA 1 map_length 1
CAPPED_DATA 1 map_length 1
DATA_SOURCE 0 bbio $0
NOSPEC 0 bbio->parent_check.owner_root
RX_PATH
TASK_NOT_RUNNING
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
UNITS 1 map_length unit_byte
HALF_LOCKED2 &fs_info->remap_mutex
HALF_LOCKED2 &pool->lock