Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c do_retry() -> __drbd_make_request()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->misc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 device->misc_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 device->resource 4096-ptr_max
PARAM_VALUE 0 device->resource->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->resource->susp 0
PARAM_VALUE 0 device->resource->susp_fen 0
PARAM_VALUE 0 device->resource->susp_nod 0
PARAM_VALUE 0 device->suspend_cnt.counter 0
NOCHECK_CALL
UNITS 0 device unit_byte
HALF_LOCKED2 &pool->lock

drivers/block/drbd/drbd_req.c drbd_submit_bio() -> __drbd_make_request()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->misc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 device->misc_wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 device->resource 4096-ptr_max
PARAM_VALUE 0 device->resource->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->resource->susp 0
PARAM_VALUE 0 device->resource->susp_fen 0
PARAM_VALUE 0 device->resource->susp_nod 0
PARAM_VALUE 0 device->suspend_cnt.counter 0
PARAM_VALUE 1 bio 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->bio_split.bio_slab 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->bio_split.rescue_work.entry.next 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->bio_split.rescue_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->fops 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->private_data 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->queue->blkg_list.next->prev 4096-ptr_max
PARAM_VALUE 1 bio->bi_bdev->bd_disk->zone_wplugs_worker_bio_done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 bio->bi_bdev->bd_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 bio->bi_end_io 57454840631967744
PARAM_VALUE 1 bio->bi_integrity->app_tag 0
PARAM_VALUE 1 bio->bi_integrity->bip_flags 0
PARAM_VALUE 1 bio->bi_integrity->bip_iter.bi_idx 0
PARAM_VALUE 1 bio->bi_integrity->bip_iter.bi_sector 0
PARAM_VALUE 1 bio->bi_integrity->bip_iter.bi_size 0
PARAM_VALUE 1 bio->bi_integrity->bip_vcnt 0
PARAM_VALUE 1 bio->bi_iter.bi_bvec_done 0-4294967294
PARAM_VALUE 1 bio->bi_iter.bi_idx 0
PARAM_VALUE 1 bio->bi_iter.bi_sector 0
PARAM_VALUE 1 bio->bi_iter.bi_size 512-4294966272
PARAM_VALUE 1 bio->bi_max_vecs 0-4,16,64,128,256
PARAM_VALUE 1 bio->bi_pool 4096-ptr_max
PARAM_VALUE 1 bio->bi_pool->bio_slab 4096-ptr_max
PARAM_VALUE 1 bio->bi_private 4096-ptr_max
PARAM_VALUE 1 bio->bi_vcnt 0
BUF_SIZE 0 device s32min-(-2),1-s32max
BUF_SIZE 0 device s32min-(-2),1-s32max
BUF_SIZE 1 bio (-1)-0,4,24,32,64,144-s32max
BUF_SIZE 1 bio (-1)-0,4,24,32,64,144-s32max
CAPPED_DATA 1 bio 1
DATA_SOURCE 1 bio r bio_split_to_limits
STR_LEN 1 bio->bi_private (-1)
NOSPEC 1 bio->bi_iter.bi_sector
NOSPEC 1 bio->bi_iter.bi_size
NOSPEC 1 bio->bi_next->bi_iter.bi_sector
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 bio->bi_bdev->bd_queue->last_merge->__sector 0-s64max
HOST_DATA 1 bio->bi_iter.bi_bvec_done 1024-s32max[c]
HOST_DATA 1 bio->bi_iter.bi_sector 0
HOST_DATA 1 bio->bi_iter.bi_size 512-4294966272[c]
HOST_DATA 1 bio->bi_max_vecs 0-4,16,64,128,256[c]
HOST_DATA 1 bio->bi_next->bi_iter.bi_sector 0-u64max
USER_DATA 1 bio->bi_ioprio 0-u16max
USER_DATA 1 bio->bi_iter.bi_bvec_done 0-4294967294[c]
USER_DATA 1 bio->bi_iter.bi_sector 0
USER_DATA 1 bio->bi_iter.bi_size 512-4294966272
USER_DATA 1 bio->bi_max_vecs 0-4,16,64,128,256[c]
USER_DATA 1 bio->bi_next->bi_ioprio 0-u16max[c]
USER_DATA 1 bio->bi_next->bi_iter.bi_sector 0-u64max
USER_DATA 1 bio->bi_next->bi_max_vecs 0-256[c]
NO_OVERFLOW_SIMPLE 1 bio->bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 1 bio->bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 1 bio->bi_io_vec
NO_OVERFLOW_SIMPLE 1 bio->bi_next->bi_iter.bi_sector
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 bio->bi_pool->bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 bio->bio.bi_bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 1 bio->bio.bi_bdev->bd_disk->queue->stats
NO_OVERFLOW_SIMPLE 1 bio->bio.bi_max_vecs
UNITS 0 device unit_byte
HALF_LOCKED2 1 &bio->bi_bdev->bd_queue->queue_lock