Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/genhd.c add_disk_fwnode() -> __add_disk()

Type Parameter Key Value
PARAM_VALUE 1 disk 4096-ptr_max
PARAM_VALUE 1 disk->queue 4096-ptr_max
PARAM_VALUE 1 disk->queue->mq_ops 1
PARAM_VALUE 1 disk->queue->tag_set 4096-ptr_max
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.wait_lock.owner (-1)
PARAM_VALUE 1 disk->queue->tag_set->update_nr_hwq_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 disk->random->last_time 0-s64max
PARAM_VALUE 3 fwnode 0,4096-ptr_max
BUF_SIZE 1 disk (-1),2000
BUF_SIZE 1 disk (-1),2000
BUF_SIZE 1 disk->fops (-1),144
BUF_SIZE 1 disk->private_data (-1),1168
BUF_SIZE 2 groups (-1),16
BUF_SIZE 2 groups (-1),16
DATA_SOURCE 0 parent $0
DATA_SOURCE 1 disk $1
DATA_SOURCE 2 groups $2
DATA_SOURCE 3 fwnode $3
STR_LEN 1 disk->disk_name (-1),31
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 1 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 1 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 1 disk->queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 1 disk->queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 1 disk->queue->nr_requests
UNITS 0 parent unit_byte
LOCK2 &set->update_nr_hwq_lock
TYPE_LOCK (struct blk_mq_tag_set)->update_nr_hwq_lock

block/genhd.c add_disk_fwnode() -> __add_disk()

Type Parameter Key Value
PARAM_VALUE 1 disk 4096-ptr_max
PARAM_VALUE 1 disk->queue 4096-ptr_max
PARAM_VALUE 1 disk->queue->mq_ops 0
PARAM_VALUE 1 disk->random->last_time 0-s64max
PARAM_VALUE 3 fwnode 0,4096-ptr_max
BUF_SIZE 1 disk (-1),2000
BUF_SIZE 1 disk (-1),2000
BUF_SIZE 1 disk->fops (-1),144
BUF_SIZE 1 disk->private_data (-1),1168
BUF_SIZE 2 groups (-1),16
BUF_SIZE 2 groups (-1),16
DATA_SOURCE 0 parent $0
DATA_SOURCE 1 disk $1
DATA_SOURCE 2 groups $2
DATA_SOURCE 3 fwnode $3
STR_LEN 1 disk->disk_name (-1),31
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 1 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 1 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 1 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 1 disk->queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 1 disk->queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 1 disk->queue->nr_requests
UNITS 0 parent unit_byte