Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->first_minor 0-s32max
PARAM_VALUE 0 disk->flags s32min-(-1),2-s32max
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->poll_bio 0,7187272799208849408
PARAM_VALUE 0 disk->fops->submit_bio 0,4096-ptr_max
PARAM_VALUE 0 disk->major s32min-(-1),1-s32max
PARAM_VALUE 0 disk->minors 0-256
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_nr_sectors 0-18014398509481983
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue->mq_ops 0-1
PARAM_VALUE 0 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type 0-1
BUF_SIZE 0 disk (-1),2000
BUF_SIZE 0 disk (-1),2000
BUF_SIZE 0 disk->fops (-1),144
BUF_SIZE 0 disk->private_data (-1),1168
DATA_SOURCE 0 disk $1
FUZZY_MAX 0 disk->first_minor 1048575
FUZZY_MAX 0 disk->major 259
FUZZY_MAX 0 disk->minors 256
STR_LEN 0 disk->disk_name (-1),31
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 0 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests
HALF_LOCKED2 &set->update_nr_hwq_lock