Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/btrfs/extent_io.c submit_write_bio() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 1-u64max
PARAM_VALUE 1 status 0-19
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/extent_io.c write_one_eb() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->async_csum 0
PARAM_VALUE 0 bbio->bio.__bi_cnt.counter 0
PARAM_VALUE 0 bbio->bio.__bi_nr_segments 0
PARAM_VALUE 0 bbio->bio.__bi_remaining.counter 0
PARAM_VALUE 0 bbio->bio.bi_bdev->bd_disk->queue 4096-ptr_max
PARAM_VALUE 0 bbio->bio.bi_bdev->bd_queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bbio->bio.bi_bvec_gap_bit 0
PARAM_VALUE 0 bbio->bio.bi_cookie 0
PARAM_VALUE 0 bbio->bio.bi_crypt_context 0
PARAM_VALUE 0 bbio->bio.bi_end_io 0
PARAM_VALUE 0 bbio->bio.bi_flags 0
PARAM_VALUE 0 bbio->bio.bi_integrity 0
PARAM_VALUE 0 bbio->bio.bi_io_vec 0
PARAM_VALUE 0 bbio->bio.bi_iocost_cost 0
PARAM_VALUE 0 bbio->bio.bi_ioprio 0
PARAM_VALUE 0 bbio->bio.bi_iter.bi_idx 0
PARAM_VALUE 0 bbio->bio.bi_iter.bi_offset 0
PARAM_VALUE 0 bbio->bio.bi_iter.bi_sector 0-36028797018963967
PARAM_VALUE 0 bbio->bio.bi_max_vecs 0
PARAM_VALUE 0 bbio->bio.bi_next 0
PARAM_VALUE 0 bbio->bio.bi_pool 0
PARAM_VALUE 0 bbio->bio.bi_private 0
PARAM_VALUE 0 bbio->bio.bi_status 0
PARAM_VALUE 0 bbio->bio.bi_write_hint 0
PARAM_VALUE 0 bbio->bio.bi_write_stream 0
PARAM_VALUE 0 bbio->bio.issue_time_ns 0
PARAM_VALUE 0 bbio->can_use_append 0
PARAM_VALUE 0 bbio->csum 0
PARAM_VALUE 0 bbio->csum_done.done 0
PARAM_VALUE 0 bbio->csum_done.wait.lock.magic 0
PARAM_VALUE 0 bbio->csum_done.wait.lock.owner 0
PARAM_VALUE 0 bbio->csum_done.wait.lock.owner_cpu 0
PARAM_VALUE 0 bbio->csum_done.wait.lock.raw_lock.tail 0
PARAM_VALUE 0 bbio->csum_done.wait.lock.raw_lock.val.counter 0
PARAM_VALUE 0 bbio->csum_done.wait.task_list.next 0
PARAM_VALUE 0 bbio->csum_done.wait.task_list.prev 0
PARAM_VALUE 0 bbio->csum_saved_iter.bi_idx 0
PARAM_VALUE 0 bbio->csum_saved_iter.bi_offset 0
PARAM_VALUE 0 bbio->csum_saved_iter.bi_sector 0
PARAM_VALUE 0 bbio->csum_saved_iter.bi_size 0
PARAM_VALUE 0 bbio->csum_search_commit_root 0
PARAM_VALUE 0 bbio->csum_work.data.counter 0
PARAM_VALUE 0 bbio->csum_work.entry.next 0
PARAM_VALUE 0 bbio->csum_work.entry.prev 0
PARAM_VALUE 0 bbio->csum_work.func 0
PARAM_VALUE 0 bbio->end_io_work.data.counter 0
PARAM_VALUE 0 bbio->end_io_work.entry.next 0
PARAM_VALUE 0 bbio->end_io_work.entry.prev 0
PARAM_VALUE 0 bbio->end_io_work.func 0
PARAM_VALUE 0 bbio->inode 4096-ptr_max
PARAM_VALUE 0 bbio->is_remap 0
PARAM_VALUE 0 bbio->is_scrub 0
PARAM_VALUE 0 bbio->mirror_num 0
PARAM_VALUE 0 bbio->ordered 0
PARAM_VALUE 0 bbio->orig_logical 0
PARAM_VALUE 0 bbio->orig_physical 0
PARAM_VALUE 0 bbio->parent_check.first_key.objectid 0
PARAM_VALUE 0 bbio->parent_check.first_key.offset 0
PARAM_VALUE 0 bbio->parent_check.first_key.type 0
PARAM_VALUE 0 bbio->parent_check.has_first_key 0
PARAM_VALUE 0 bbio->parent_check.level 0
PARAM_VALUE 0 bbio->parent_check.owner_root 0
PARAM_VALUE 0 bbio->parent_check.transid 0
PARAM_VALUE 0 bbio->pending_ios.counter 1
PARAM_VALUE 0 bbio->saved_iter.bi_idx 0
PARAM_VALUE 0 bbio->saved_iter.bi_offset 0
PARAM_VALUE 0 bbio->saved_iter.bi_sector 0
PARAM_VALUE 0 bbio->saved_iter.bi_size 0
PARAM_VALUE 0 bbio->status 0
PARAM_VALUE 0 bbio->sums 0
PARAM_VALUE 1 status 0-19
DATA_SOURCE 0 bbio r btrfs_bio_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bbio->file_offset

fs/btrfs/compression.c btrfs_submit_compressed_read() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->inode 4096-ptr_max
PARAM_VALUE 0 bbio->inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 bbio->inode->root 4096-ptr_max
PARAM_VALUE 1 status 10
DATA_SOURCE 0 bbio $0
BIT_INFO 0 bbio->bio.bi_opf 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/compression.c end_bbio_compressed_read() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 1 status 1-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/bio.c btrfs_check_read_bio() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->bio.bi_pool 0-2219661640141885439,2219661640141885441-u64max
PARAM_VALUE 0 bbio->bio.bi_status 0,10
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->vfs_inode.i_ino 0,2-u64max
PARAM_VALUE 1 status 0,10
CAPPED_DATA 0 bbio->csum 1
DATA_SOURCE 0 bbio $0
FUZZY_MAX 0 bbio->bio.bi_status 0
FUZZY_MAX 1 status 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/bio.c btrfs_raid56_end_io() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
DATA_SOURCE 0 bbio r btrfs_bio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/bio.c btrfs_repair_done() -> btrfs_bio_end_io()

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

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

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 1 status 1-19
DATA_SOURCE 1 status r errno_to_blk_status
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fs_info->remap_mutex
HALF_LOCKED2 &pool->lock

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

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
PARAM_VALUE 1 status 0-19
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
NOCHECK_CALL
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

fs/btrfs/bio.c btrfs_submit_repair_write() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->bio.bi_end_io 0
PARAM_VALUE 0 bbio->bio.bi_iter.bi_sector 0-36028797018963967
PARAM_VALUE 0 bbio->bio.bi_private 0
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 4096-ptr_max
PARAM_VALUE 0 bbio->inode->root->fs_info->dev_replace.bio_counter.counters 4096-ptr_max
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->mapping_tree_lock.dep_map->name 0-255
PARAM_VALUE 0 bbio->inode->vfs_inode.i_ino 1
PARAM_VALUE 1 status 0-19
DATA_SOURCE 0 bbio $0
NOCHECK_CALL

fs/btrfs/bio.c orig_write_end_io_work() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->bio.bi_status 0,10
PARAM_VALUE 1 status 0,10
FUZZY_MAX 0 bbio->bio.bi_status 10
FUZZY_MAX 1 status 10
HARD_MAX 0 bbio->bio.bi_status 10
HARD_MAX 1 status 10
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/bio.c run_one_async_done() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio->bio.bi_status 1-255
PARAM_VALUE 1 status 1-255
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/bio.c simple_end_io_work() -> btrfs_bio_end_io()

Type Parameter Key Value
PARAM_VALUE 0 bbio 4096-ptr_max
PARAM_VALUE 0 bbio->inode 0,4096-ptr_max
PARAM_VALUE 0 bbio->inode->vfs_inode.i_ino 1
HALF_LOCKED2 &pool->lock

fs/btrfs/bio.c simple_end_io_work() -> btrfs_bio_end_io()

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