Defined in 1 files as a function:

Referenced in 19 files:

Smatch caller information:

drivers/md/raid5-ppl.c ppl_flush_endio() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats
LOCK2 rcu_read

drivers/md/dm-rq.c map_request() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/md/md-linear.c linear_make_request() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier

block/kyber-iosched.c kyber_queue_data_alloc() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &q->sysfs_lock
HALF_LOCKED2 &set->tag_list_lock
HALF_LOCKED2 &set->update_nr_hwq_lock

drivers/md/md.c mddev_trace_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &md->io_barrier

mm/page_io.c end_swap_bio_write() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

mm/page_io.c end_swap_bio_write() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

mm/page_io.c swap_bio_read_end_io() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

mm/page_io.c swap_bio_read_end_io() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

kernel/power/swap.c hib_end_io() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

kernel/power/swap.c hib_end_io() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats

drivers/memstick/core/mspro_block.c mspro_block_bd_free_disk() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
CAPPED_DATA 0 disk->ev 1
CAPPED_DATA 0 disk->queue->td 1
CAPPED_DATA 0 disk->random 1
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex

drivers/md/dm-ioctl.c __dev_status() -> disk_devt()

Type Parameter Key Value
DATA_SOURCE 0 disk r dm_disk

drivers/md/dm-ioctl.c list_devices() -> disk_devt()

Type Parameter Key Value
LOCK2 global &_hash_lock

kernel/trace/blktrace.c blk_add_trace_bio_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
LOCK2 rcu_read

kernel/trace/blktrace.c blk_add_trace_rq_remap() -> disk_devt()

Type Parameter Key Value
LOCK2 rcu_read

drivers/block/ublk_drv.c ublk_ctrl_fill_params_devt() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ub->mutex
HALF_LOCKED2 &ctx->uring_lock
TYPE_LOCK (struct ublk_device)->mutex

drivers/block/ublk_drv.c ublk_ctrl_fill_params_devt() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ub->mutex
HALF_LOCKED2 &ctx->uring_lock
TYPE_LOCK (struct ublk_device)->mutex

drivers/md/dm.c __dm_destroy() -> disk_devt()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 global &_minor_lock

drivers/md/dm.c dm_get_md() -> disk_devt()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 global &_minor_lock
HALF_LOCKED2 global &_hash_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm.c dm_submit_bio_remap() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &md->io_barrier

drivers/md/dm.c free_dev() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max

drivers/char/random.c add_disk_randomness() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/md/raid1.c mddev_trace_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/raid0.c mddev_trace_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier

block/genhd.c disk_scan_partitions() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
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 $0
STR_LEN 0 disk->disk_name (-1),31
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_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->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests

drivers/md/dm-table.c dm_get_device() -> disk_devt()

Type Parameter Key Value
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/raid5.c mddev_trace_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/raid10.c mddev_trace_remap() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/sr.c sr_free_disk() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
CAPPED_DATA 0 disk->ev 1
CAPPED_DATA 0 disk->queue->td 1
CAPPED_DATA 0 disk->random 1
DATA_SOURCE 0 disk $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &sr_index_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex

drivers/nvme/host/multipath.c nvme_ns_head_submit_bio() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &head->srcu
TYPE_LOCK (struct nvme_ns_head)->srcu

drivers/md/dm-stripe.c stripe_end_io() -> disk_devt()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

drivers/md/dm-stripe.c stripe_end_io() -> disk_devt()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 disk->queue->stats
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock