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 |