Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/md/bcache/debug.c bch_data_verify() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bio->bi_end_io 2351913159879864320
PARAM_VALUE 0 bio->bi_io_vec 4096-ptr_max
PARAM_VALUE 0 bio->bi_io_vec->bv_len 1-4096
PARAM_VALUE 0 bio->bi_io_vec->bv_offset 0-4095
PARAM_VALUE 0 bio->bi_io_vec->bv_page 0,4096-ptr_max
PARAM_VALUE 0 bio->bi_io_vec->bv_page->_refcount.counter 1
PARAM_VALUE 0 bio->bi_iter.bi_idx 0
PARAM_VALUE 0 bio->bi_iter.bi_offset 0
PARAM_VALUE 0 bio->bi_iter.bi_size 1-u32max
PARAM_VALUE 0 bio->bi_max_vecs 0-1024
PARAM_VALUE 0 bio->bi_pool 0
PARAM_VALUE 0 bio->bi_private 7256720788822900736
PARAM_VALUE 1 iter 1519446973258764288
PARAM_VALUE 1 iter->bi_offset 0-4294967294
PARAM_VALUE 1 iter->bi_sector 0-8388607
BUF_SIZE 0 bio 144-16528
BUF_SIZE 0 bio 144-16528
CAPPED_DATA 0 bio->bi_vcnt 1
CAPPED_DATA 2 bytes 1
DATA_SOURCE 0 bio r bio_kmalloc
NOCHECK_CALL
UNITS 2 bytes unit_byte

net/ceph/messenger.c ceph_msg_data_bio_advance() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 2 bytes 0-4096
CAPPED_DATA 2 bytes 1
DATA_SOURCE 2 bytes $1
NOSPEC 2 bytes
NOSPEC 2 bytes
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 iter->bi_size 1-s32max[c]
USER_DATA 2 bytes 1-4096[c]
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

block/bio.c __bio_advance() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bio->bi_crypt_context 0
PARAM_VALUE 0 *bio->bi_crypt_context->bc_dun 1-4294967295
PARAM_VALUE 1 iter 4096-ptr_max
BUF_SIZE 0 bio (-1)-0,4,24,32,64,144-s32max
BUF_SIZE 0 bio (-1)-0,4,24,32,64,144-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
DATA_SOURCE 2 bytes $1
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
NOSPEC 0 bio->bi_iter.bi_sector
NOSPEC 0 bio->bi_iter.bi_size
NOSPEC 1 iter->bi_sector
NOSPEC 1 iter->bi_size
NOSPEC 2 bytes
NOSPEC 2 bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bio->bi_bdev->bd_queue->last_merge->__sector 0-s32max[c]
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]
HOST_DATA 1 iter->bi_sector 0-u64max
HOST_DATA 1 iter->bi_size 0-u32max[c]
HOST_DATA 2 bytes 0-u32max[c]
USER_DATA 0 bio->bi_ioprio 0-u16max
USER_DATA 0 bio->bi_iter.bi_sector 0-u64max
USER_DATA 0 bio->bi_iter.bi_size 0-u32max
USER_DATA 0 bio->bi_max_vecs 0-u16max[c]
USER_DATA 0 bio->bi_next->bi_ioprio 0-u16max[c]
USER_DATA 0 bio->bi_next->bi_max_vecs 0-256[c]
USER_DATA 1 iter->bi_sector 0-u64max
USER_DATA 1 iter->bi_size 0-u32max
USER_DATA 2 bytes 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 bio->bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 bio->bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 0 bio->bi_io_vec
NO_OVERFLOW_SIMPLE 0 bio->bi_next->bi_iter.bi_sector
NO_OVERFLOW_SIMPLE 0 bio->bi_next->bi_max_vecs
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_max_vecs
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wc->lock
HALF_LOCKED2 &zmd->mblk_sem
HALF_LOCKED2 0 &bio->bi_bdev->bd_queue->queue_lock

block/blk-merge.c bio_get_last_bvec() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bio->bi_iter.bi_size 1-u32max
PARAM_VALUE 1 iter 8881224341789433856
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
BUF_SIZE 0 bio (-1)-0,4,24,32,64,144-s32max
BUF_SIZE 0 bio (-1)-0,4,24,32,64,144-s32max
CAPPED_DATA 0 bio->bi_iter.bi_size 1
CAPPED_DATA 2 bytes 1
DATA_SOURCE 0 bio $0
STR_LEN 0 bio->bi_private (-1)
NOSPEC 0 bio->bi_iter.bi_sector
NOSPEC 0 bio->bi_iter.bi_size
NOSPEC 0 bio->bi_next->bi_iter.bi_sector
NOSPEC 0 bio->bi_next->bi_iter.bi_size
NOSPEC 1 iter->bi_sector
NOSPEC 1 iter->bi_size
NOSPEC 2 bytes
NOSPEC 2 bytes
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bio->bi_bdev->bd_queue->last_merge->__sector 0-s32max[c]
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 1-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]
HOST_DATA 0 bio->bi_next->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_next->bi_iter.bi_size 0,512-4294966784[c]
HOST_DATA 0 bio->bi_next->bi_max_vecs 0-4,16,64,128,256[c]
HOST_DATA 1 iter->bi_sector 0-u64max
HOST_DATA 1 iter->bi_size 1-u32max[c]
HOST_DATA 2 bytes 1-u32max[c]
USER_DATA 0 bio->bi_ioprio 0-u16max
USER_DATA 0 bio->bi_iter.bi_sector 0-u64max
USER_DATA 0 bio->bi_iter.bi_size 1-u32max[c]
USER_DATA 0 bio->bi_max_vecs 0-u16max[c]
USER_DATA 0 bio->bi_next->bi_ioprio 0-u16max
USER_DATA 0 bio->bi_next->bi_iter.bi_sector 0-u64max
USER_DATA 0 bio->bi_next->bi_iter.bi_size 0-u32max
USER_DATA 0 bio->bi_next->bi_max_vecs 0-u16max[c]
USER_DATA 1 iter->bi_sector 0-u64max
USER_DATA 1 iter->bi_size 1-u32max[c]
USER_DATA 2 bytes 1-u32max[c]
NO_OVERFLOW_SIMPLE 0 bio->bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 bio->bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bio->bi_pool->bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 0 bio->bio.bi_max_vecs
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 0 &bio->bi_bdev->bd_queue->queue_lock

drivers/md/dm-integrity.c __journal_read_write() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
DATA_SOURCE 0 bio $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 bytes unit_byte
HALF_LOCKED2 &md->io_barrier

drivers/block/rbd.c copy_bio_bvecs() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 1637263498925199384,8653208627311337496
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
CAPPED_DATA 2 bytes 1
NOCHECK_CALL
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 &obj_req->state_mutex

drivers/block/rbd.c count_bio_bvecs() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 1637263498925199384,3368947239493287960,8653208627311337496
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
CAPPED_DATA 2 bytes 1
NOCHECK_CALL
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 &obj_req->state_mutex

drivers/block/rbd.c set_bio_pos() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 1 iter 1637263498925199384,3368947239493287960,8653208627311337496
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
CAPPED_DATA 2 bytes 1
NOCHECK_CALL
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
HALF_LOCKED2 &obj_req->state_mutex

drivers/block/rbd.c zero_bios() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
CAPPED_DATA 2 bytes 1
NOSPEC 2 bytes
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 2 bytes 1-s32max[c]
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
LOCK2 &obj_req->state_mutex
HALF_LOCKED2 &img_req->state_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rbd_obj_request)->state_mutex

drivers/block/rbd.c zero_bios() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter->bi_size 1-u32max
PARAM_VALUE 2 bytes 1-u32max
CAPPED_DATA 2 bytes 1
NOSPEC 2 bytes
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 2 bytes 1-s32max[c]
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
LOCK2 &obj_req->state_mutex
HALF_LOCKED2 &img_req->state_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rbd_obj_request)->state_mutex

drivers/md/dm-crypt.c crypt_convert_block_aead() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 1 iter->bi_size 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 bytes unit_byte

drivers/md/dm-crypt.c crypt_convert_block_aead() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 1 iter->bi_size 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 bytes unit_byte

drivers/md/dm-crypt.c crypt_convert_block_skcipher() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 1 iter->bi_size 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 bytes unit_byte

drivers/md/dm-crypt.c crypt_convert_block_skcipher() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4096-ptr_max
PARAM_VALUE 1 iter->bi_size 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 bytes unit_byte

drivers/block/aoe/aoecmd.c aoecmd_ata_rw() -> bio_advance_iter()

Type Parameter Key Value
PARAM_VALUE 1 iter 4096-ptr_max
CAPPED_DATA 2 bytes 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bio unit_jiffy
UNITS 2 bytes unit_byte
LOCK2 &d->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct aoedev)->lock