Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/blk-mq.c __blk_mq_alloc_map_and_rqs() -> blk_mq_alloc_map_and_rqs()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->map 4096-ptr_max
PARAM_VALUE 0 set->nr_maps 1-u32max
PARAM_VALUE 0 set->tags 1-u64max
BUF_SIZE 0 set->driver_data (-1),72,736,816,848,1000-s32max
BUF_SIZE 0 set->ops (-1),144
BUF_SIZE 0 set->shared_tags (-1),264
BUF_SIZE 0 set->srcu (-1),80
BUF_SIZE 0 set->tags (-1),8
CAPPED_DATA 0 set 1
CAPPED_DATA 0 set->nr_maps 1
DATA_SOURCE 0 set $0
DATA_SOURCE 1 hctx_idx $1
FUZZY_MAX 0 set->nr_maps 1
STR_LEN 0 set (-1),19
STR_LEN 0 set (-1),19
NOSPEC 0 set->queue_depth
NOSPEC 0 set->shared_tags->nr_tags
NOSPEC 2 depth
NOSPEC 2 depth
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 set->queue_depth 1-10238[c]
HOST_DATA 0 set->reserved_tags 0-u32max
HOST_DATA 0 set->shared_tags->bitmap_tags.sb.round_robin 0-1
HOST_DATA 0 set->shared_tags->breserved_tags.sb.round_robin 0-1
HOST_DATA 0 set->shared_tags->nr_reserved_tags 0-u32max
HOST_DATA 0 set->shared_tags->nr_tags 0-4294967294
HOST_DATA 2 depth 1-10238[c]
USER_DATA 0 set->nr_hw_queues 1-4096[c]
USER_DATA 0 set->queue_depth 1-4096[c]
USER_DATA 0 set->shared_tags->nr_tags 1-4096[c]
USER_DATA 2 depth 1-4096[c]
NO_OVERFLOW_SIMPLE 0 set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 set->queue_depth
NO_OVERFLOW_SIMPLE 0 set->shared_tags->bitmap_tags.sb.depth
NO_OVERFLOW_SIMPLE 0 set->shared_tags->breserved_tags.sb.depth
NO_OVERFLOW_SIMPLE 1 hctx_idx
NO_OVERFLOW_SIMPLE 2 depth
UNITS 1 hctx_idx unit_array_size
UNITS 2 depth unit_array_size

block/blk-mq.c __blk_mq_alloc_rq_maps() -> blk_mq_alloc_map_and_rqs()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->flags 8-u32max
PARAM_VALUE 0 set->map 4096-ptr_max
PARAM_VALUE 0 set->nr_maps 1-3
PARAM_VALUE 0 set->ops 4096-ptr_max
PARAM_VALUE 0 set->ops->queue_rq 1-u64max
PARAM_VALUE 0 set->queue_depth 1-10240
PARAM_VALUE 0 set->tags 1-u64max
PARAM_VALUE 0 set->update_nr_hwq_lock.count.counter 0
PARAM_VALUE 0 set->update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 0 set->update_nr_hwq_lock.first_waiter 0
PARAM_VALUE 0 set->update_nr_hwq_lock.magic 4096-ptr_max
PARAM_VALUE 0 set->update_nr_hwq_lock.owner.counter 0
PARAM_VALUE 1 hctx_idx u32max
PARAM_VALUE 2 depth 1-10240
BUF_SIZE 0 set->driver_data (-1),72,736,816,848,1000-s32max
BUF_SIZE 0 set->ops (-1),144
BUF_SIZE 0 set->srcu (-1),80
BUF_SIZE 0 set->tags 8
CAPPED_DATA 0 set 1
CAPPED_DATA 0 set->nr_maps 1
DATA_SOURCE 0 set $0
FUZZY_MAX 0 set->nr_maps 1
FUZZY_MAX 0 set->queue_depth 10240
FUZZY_MAX 2 depth 10240
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 set->queue_depth 1-10238[c]
HOST_DATA 0 set->reserved_tags 0-u32max
HOST_DATA 0 set->shared_tags->bitmap_tags.sb.round_robin 0-1
HOST_DATA 0 set->shared_tags->breserved_tags.sb.round_robin 0-1
HOST_DATA 2 depth 1-10238[c]
USER_DATA 0 set->nr_hw_queues 1-4096[c]
USER_DATA 0 set->queue_depth 1-4096[c]
USER_DATA 2 depth 1-4096[c]
NO_OVERFLOW_SIMPLE 0 set->nr_hw_queues
UNITS 2 depth unit_array_size
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &devices_mutex
HALF_LOCKED2 global &lock
HALF_LOCKED2 global &ublk_ctl_mutex

block/blk-mq.c blk_mq_prealloc_tag_set_tags() -> blk_mq_alloc_map_and_rqs()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->nr_hw_queues 0-2147483646
PARAM_VALUE 0 set->tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 set->tag_list_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 set->tag_list_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 set->tag_list_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 set->tag_list_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 set->tag_list_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 set->tag_list_lock.wait_lock.owner (-1)
PARAM_VALUE 0 set->tag_list_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 set->update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 0 set->update_nr_hwq_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 set->update_nr_hwq_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 set->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 0 set->update_nr_hwq_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 set->update_nr_hwq_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 set->update_nr_hwq_lock.wait_lock.owner (-1)
PARAM_VALUE 0 set->update_nr_hwq_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 set->update_nr_hwq_lock.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 hctx_idx 0-2147483646
CAPPED_DATA 0 set 1
CAPPED_DATA 0 set->nr_hw_queues 1
CAPPED_DATA 1 hctx_idx 1
DATA_SOURCE 0 set $0
PARAM_COMPARE 1 hctx_idx >= $0->nr_hw_queues
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 set->cmd_size 0-u32max
HOST_DATA 0 set->flags 0-u32max
HOST_DATA 0 set->nr_hw_queues 0-2147483646[c]
HOST_DATA 0 set->nr_maps 0,2-u32max
HOST_DATA 0 set->numa_node s32min-s32max
HOST_DATA 0 set->queue_depth 0-u32max
HOST_DATA 0 set->reserved_tags 0-u32max
HOST_DATA 0 set->tags_srcu.srcu_reader_flavor 0-255
HOST_DATA 0 set->timeout 0-u32max
HOST_DATA 0 set->update_nr_hwq_lock.osq.tail.counter 0-s32max
HOST_DATA 1 hctx_idx 1-2147483646[c]
HOST_DATA 2 depth 0-u32max
NO_OVERFLOW_SIMPLE 0 set->queue_depth
NO_OVERFLOW_SIMPLE 1 hctx_idx
NO_OVERFLOW_SIMPLE 2 depth
UNITS 1 hctx_idx unit_array_size
UNITS 2 depth unit_array_size
LOCK2 0 &set->tag_list_lock
LOCK2 0 &set->update_nr_hwq_lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &dev->shutdown_lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &lock
TYPE_LOCK (struct blk_mq_tag_set)->tag_list_lock
TYPE_LOCK (struct blk_mq_tag_set)->update_nr_hwq_lock

block/blk-mq-sched.c blk_mq_alloc_sched_tags() -> blk_mq_alloc_map_and_rqs()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->flags 8-u32max
PARAM_VALUE 1 hctx_idx u32max
PARAM_VALUE 2 depth 2048
DATA_SOURCE 0 set $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &set->update_nr_hwq_lock

block/blk-mq-sched.c blk_mq_alloc_sched_tags() -> blk_mq_alloc_map_and_rqs()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 1 hctx_idx 0-s32max
PARAM_VALUE 2 depth 0-2048
CAPPED_DATA 1 hctx_idx 1
CAPPED_DATA 2 depth 1
DATA_SOURCE 0 set $0
DATA_SOURCE 2 depth $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 hctx_idx
UNITS 1 hctx_idx unit_array_size
UNITS 2 depth unit_array_size
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &set->update_nr_hwq_lock