Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm.c __send_abnormal_io() -> __send_duplicate_bios()

Type Parameter Key Value
PARAM_VALUE 0 ci 6887950449381826560
PARAM_VALUE 0 ci->bio 4096-ptr_max
PARAM_VALUE 0 ci->io 4096-ptr_max
PARAM_VALUE 0 ci->is_abnormal_io 1
PARAM_VALUE 0 ci->map 4096-ptr_max
PARAM_VALUE 0 ci->map->num_targets 1-u32max
PARAM_VALUE 0 ci->sector 0-18446744073709551614
PARAM_VALUE 0 ci->sector_count 0-8388607
PARAM_VALUE 0 ci->submit_as_polled 0
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->table 4096-ptr_max
PARAM_VALUE 1 ti->table->md 4096-ptr_max
PARAM_VALUE 2 num_bios 1-u32max
PARAM_VALUE 3 len 6426697547335282688
PARAM_VALUE 3 *len 0-8388607
CAPPED_DATA 0 ci->map->depth 1
CAPPED_DATA 0 ci->sector 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 ti $1
DATA_SOURCE 2 num_bios $2
NOSPEC 0 ci->sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->sector 0-18446744073709551614[c]
USER_DATA 0 ci->sector 0-18446744073709551614[c]
LOCK2 &md->io_barrier
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm.c __send_empty_flush() -> __send_duplicate_bios()

Type Parameter Key Value
PARAM_VALUE 0 ci 6887950449381826560
PARAM_VALUE 0 ci->bio 3577610334751576064
PARAM_VALUE 0 ci->bio->__bi_cnt.counter 1
PARAM_VALUE 0 ci->bio->__bi_nr_segments u32max
PARAM_VALUE 0 ci->bio->__bi_remaining.counter 1
PARAM_VALUE 0 ci->bio->bi_bvec_gap_bit 0
PARAM_VALUE 0 ci->bio->bi_cookie u32max
PARAM_VALUE 0 ci->bio->bi_crypt_context 0
PARAM_VALUE 0 ci->bio->bi_end_io 0
PARAM_VALUE 0 ci->bio->bi_flags 0
PARAM_VALUE 0 ci->bio->bi_integrity 0
PARAM_VALUE 0 ci->bio->bi_io_vec 0
PARAM_VALUE 0 ci->bio->bi_iocost_cost 0
PARAM_VALUE 0 ci->bio->bi_ioprio 0
PARAM_VALUE 0 ci->bio->bi_iter.bi_idx 0
PARAM_VALUE 0 ci->bio->bi_iter.bi_offset 0
PARAM_VALUE 0 ci->bio->bi_iter.bi_sector 0
PARAM_VALUE 0 ci->bio->bi_iter.bi_size 0
PARAM_VALUE 0 ci->bio->bi_max_vecs 0
PARAM_VALUE 0 ci->bio->bi_next 0
PARAM_VALUE 0 ci->bio->bi_opf 264193,296961
PARAM_VALUE 0 ci->bio->bi_pool 0
PARAM_VALUE 0 ci->bio->bi_private 0
PARAM_VALUE 0 ci->bio->bi_status 0
PARAM_VALUE 0 ci->bio->bi_vcnt 0
PARAM_VALUE 0 ci->bio->bi_write_hint 0
PARAM_VALUE 0 ci->bio->bi_write_stream 0
PARAM_VALUE 0 ci->bio->issue_time_ns 0
PARAM_VALUE 0 ci->io 4096-ptr_max
PARAM_VALUE 0 ci->io->md 4096-ptr_max
PARAM_VALUE 0 ci->io->md->disk 4096-ptr_max
PARAM_VALUE 0 ci->io->orig_bio 4096-ptr_max
PARAM_VALUE 0 ci->io->tio.clone.bi_iter.bi_size 0
PARAM_VALUE 0 ci->map 4096-ptr_max
PARAM_VALUE 0 ci->map->flush_bypasses_map 0
PARAM_VALUE 0 ci->map->num_targets 1-u32max
PARAM_VALUE 0 ci->sector_count 0
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->num_flush_bios 1-u32max
PARAM_VALUE 2 num_bios 1-u32max
PARAM_VALUE 3 len 0
BUF_SIZE 0 ci->bio 144
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 ti r dm_table_get_target
NOSPEC 0 ci->sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->bio->bi_max_vecs 0[c]
HOST_DATA 0 ci->sector 0-u64max
USER_DATA 0 ci->bio->bi_max_vecs 0[c]
USER_DATA 0 ci->sector 0-u64max
LOCK2 &md->io_barrier
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm.c __send_zone_reset_all_native() -> __send_duplicate_bios()

Type Parameter Key Value
PARAM_VALUE 0 ci 6887950449381826560
PARAM_VALUE 0 ci->bio 4096-ptr_max
PARAM_VALUE 0 ci->io 4096-ptr_max
PARAM_VALUE 0 ci->map 1-u64max
PARAM_VALUE 0 ci->map->num_targets 1-u32max
PARAM_VALUE 0 ci->sector_count 0-8388607
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->zone_reset_all_supported 1
PARAM_VALUE 2 num_bios 1
PARAM_VALUE 3 len 0
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 ti $1
NOSPEC 0 ci->sector
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ci->sector 0-u64max
USER_DATA 0 ci->sector 0-u64max
LOCK2 &md->io_barrier
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mapped_device)->io_barrier