Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-lib.c __blkdev_issue_zeroout() -> __blkdev_issue_write_zeroes()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 3 gfp_mask 3264
PARAM_VALUE 4 biop 4449278916607873024
PARAM_VALUE 4 *biop 0
PARAM_VALUE 5 flags 0
PARAM_VALUE 6 limit 1-8388607
CAPPED_DATA 6 limit 1
CAPPED_DATA 6 limit 1
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 sector $1
DATA_SOURCE 2 nr_sects $2
DATA_SOURCE 3 gfp_mask $3
DATA_SOURCE 4 biop $4
DATA_SOURCE 5 flags $5
DATA_SOURCE 6 limit r bio_write_zeroes_limit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

block/blk-lib.c blkdev_issue_write_zeroes() -> __blkdev_issue_write_zeroes()

Type Parameter Key Value
PARAM_VALUE 0 bdev 4096-ptr_max
PARAM_VALUE 0 bdev->bd_disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 bdev->bd_holder_ops->freeze 4096-ptr_max
PARAM_VALUE 0 bdev->bd_holder_ops->sync 4096-ptr_max
PARAM_VALUE 0 bdev->bd_mapping->host->i_op->get_offset_ctx 0,2606890545167454208
PARAM_VALUE 0 bdev->bd_mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 0 bdev->bd_mapping->host->i_op->sync_lazytime 0,6951464784224747520
PARAM_VALUE 0 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bdev->bd_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 3 gfp_mask 3072,3136,3264
PARAM_VALUE 4 biop 4491623593207513088
PARAM_VALUE 4 *biop 0
PARAM_VALUE 5 flags 0-2,5
PARAM_VALUE 6 limit 0-8388607
BUF_SIZE 0 bdev (-1),2136
BUF_SIZE 0 bdev (-1),2136
CAPPED_DATA 6 limit 1
CAPPED_DATA 6 limit 1
DATA_SOURCE 0 bdev $0
DATA_SOURCE 1 sector $1
DATA_SOURCE 2 nr_sects $2
DATA_SOURCE 3 gfp_mask $3
DATA_SOURCE 5 flags $4
DATA_SOURCE 6 limit r bio_write_zeroes_limit
FUZZY_MAX 5 flags 2
STR_LEN 0 bdev (-1)
STR_LEN 0 bdev (-1)
NOSPEC 1 sector
NOSPEC 1 sector
HARD_MAX 3 gfp_mask 3264
HARD_MAX 5 flags 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sector 0-u64max
HOST_DATA 2 nr_sects 1-8388606[c]
USER_DATA 1 sector 0-u64max
USER_DATA 2 nr_sects 0-36028797018963967,18428729675200069632-u64max[c]
NO_OVERFLOW_SIMPLE 0 bdev->bd_mapping->host->i_bytes
UNITS 0 bdev unit_byte
UNITS 1 sector unit_byte
UNITS 2 nr_sects unit_byte
HALF_LOCKED2 &elr->lr_super->s_umount
HALF_LOCKED2 &grp->alloc_sem
HALF_LOCKED2 &hip->extents_lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &journal->j_checkpoint_mutex
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &mddev->bitmap_info.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sdp->sd_log_flush_lock
HALF_LOCKED2 0 &bdev->bd_mapping->host->i_rwsem
HALF_LOCKED2 0 &bdev->bd_mapping->invalidate_lock