Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-zoned.c blk_revalidate_seq_zone() -> disk_get_or_alloc_zone_wplug()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_hash 1-u64max
PARAM_VALUE 2 gfp_mask 3072
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 sector 0-u64max
NO_OVERFLOW_SIMPLE 1 sector
UNITS 1 sector unit_byte
HALF_LOCKED2 &vblk->vdev_mutex

block/blk-zoned.c blk_zone_wplug_handle_write() -> disk_get_or_alloc_zone_wplug()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->zone_wplugs_hash 1-u64max
PARAM_VALUE 2 gfp_mask 3072,10240
FUZZY_MAX 2 gfp_mask 10240
BIT_INFO 2 gfp_mask 0x800,0x2c00
NOSPEC 1 sector
NOSPEC 1 sector
HARD_MAX 2 gfp_mask 10240
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 sector 0-u64max
USER_DATA 1 sector 0-u64max
UNITS 1 sector unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &md->io_barrier