Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

block/ioctl.c blkdev_roset() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 256
BUF_SIZE 0 bdev 2136
DATA_SOURCE 0 bdev $0
CAPABLE 0 21
NOCHECK_CALL

block/blk-core.c bio_check_ro() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bdev->bd_queue->last_merge->__sector 0-18446744073709551614
NO_OVERFLOW_SIMPLE 0 bdev->bd_disk->queue->queue_hw_ctx
NO_OVERFLOW_SIMPLE 0 bdev->bd_disk->queue->stats
UNITS 0 bdev unit_byte
HALF_LOCKED2 &cache->writeback_lock
HALF_LOCKED2 &head->srcu
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &zmd->mblk_sem
HALF_LOCKED2 global &bch_register_lock
HALF_LOCKED2 0 &bdev->bd_queue->queue_lock

block/bdev.c bdev_alloc() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->__bd_flags.counter 1-255
PARAM_VALUE 1 flag 1024
BUF_SIZE 0 bdev 2136
BUF_SIZE 0 bdev->bd_mapping 552
DATA_SOURCE 0 bdev r I_BDEV
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bdev->bd_queue->async_depth 0-10238[c]
HOST_DATA 0 bdev->bd_queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 bdev->bd_queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 bdev->bd_queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 bdev->bd_queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 bdev->bd_queue->limits.io_min 512-65536[c]
HOST_DATA 0 bdev->bd_queue->limits.max_active_zones 0-u32max
HOST_DATA 0 bdev->bd_queue->limits.max_open_zones 0-u32max
HOST_DATA 0 bdev->bd_queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 bdev->bd_queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 bdev->bd_queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 bdev->bd_queue->nr_requests 0-10238[c]
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->nr_requests
HALF_LOCKED2 &disk->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex

block/bdev.c bdev_open() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 512
BUF_SIZE 0 bdev 2136
CAPPED_DATA 0 bdev 1
CAPPED_DATA 0 bdev->bd_disk->part0 1
DATA_SOURCE 0 bdev $0
STR_LEN 0 bdev (-1),8
STR_LEN 0 bdev (-1),8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &disk->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex

block/partitions/core.c add_partition() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 256
BUF_SIZE 0 bdev 2136
BUF_SIZE 0 bdev->bd_holder_dir 248
BUF_SIZE 0 bdev->bd_meta_info (-1),101
CAPPED_DATA 0 bdev->bd_start_sect 1
DATA_SOURCE 0 bdev r bdev_alloc
NOSPEC 0 bdev->bd_start_sect
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 bdev->bd_nr_sectors 0-18014398509481983
USER_DATA 0 bdev->bd_start_sect 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 bdev->bd_disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bdev->bd_disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->nr_requests
HALF_LOCKED2 &disk->open_mutex
TYPE_LOCK (struct gendisk)->open_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 bdev->bd_queue->nr_requests

block/genhd.c part_fail_store() -> bdev_set_flag()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 1 flag 4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex