Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/disk-events.c disk_check_events() -> inc_diskseq()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

block/disk-events.c disk_force_media_change() -> inc_diskseq()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &lo->lo_mutex
HALF_LOCKED2 &nbd->config_lock
HALF_LOCKED2 global &floppy_mutex
HALF_LOCKED2 global &open_lock

block/genhd.c __alloc_disk_node() -> inc_diskseq()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
BUF_SIZE 0 disk 2000
BUF_SIZE 0 disk->bdi 2552
BUF_SIZE 0 disk->part0 2136
BUF_SIZE 0 disk->part0->bd_disk 2000
CAPPED_DATA 0 disk->part0 1
DATA_SOURCE 0 disk r _kmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 disk->part0->bd_queue->async_depth 0-10238[c]
HOST_DATA 0 disk->part0->bd_queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->part0->bd_queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->part0->bd_queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->nr_requests 0-10238[c]
HOST_DATA 0 disk->queue->async_depth 0-10238[c]
HOST_DATA 0 disk->queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 disk->queue->nr_requests 0-10238[c]
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->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_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests