Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/bio-integrity-auto.c bio_integrity_verify_fn() -> bio_integrity_verify()

Type Parameter Key Value
PARAM_VALUE 1 saved_iter 4096-ptr_max
UNITS 0 bio unit_jiffy
HALF_LOCKED2 &pool->lock

block/bio-integrity-fs.c fs_bio_integrity_verify() -> bio_integrity_verify()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue 4096-ptr_max
PARAM_VALUE 0 bio->bi_bdev->bd_disk->queue->limits.integrity.metadata_size 0-1
PARAM_VALUE 0 bio->bi_integrity->bip_flags 32-u16max
PARAM_VALUE 1 saved_iter 7249328380163604480
PARAM_VALUE 1 saved_iter->bi_idx 0
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 saved_iter->bi_sector 0-36028797018963967[c]