Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/fops.c __blkdev_direct_IO() -> bio_iov_vecs_to_alloc()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 max_segs 256
DATA_SOURCE 0 iter $1
NOSPEC 0 iter->count
NOSPEC 0 iter->iov_offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->count 0-18446744073709551614
USER_DATA 0 iter->iov_offset 0-u64max[c]
HALF_LOCKED2 &pool->lock

block/fops.c blkdev_direct_IO() -> bio_iov_vecs_to_alloc()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 max_segs 257
DATA_SOURCE 0 iter $1
NOSPEC 0 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->count 0-18446744073709551614
USER_DATA 0 iter->iov_offset 0-u64max[c]
HALF_LOCKED2 &pool->lock

fs/iomap/direct-io.c __iomap_dio_read_simple() -> bio_iov_vecs_to_alloc()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 max_segs 256
DATA_SOURCE 0 iter $1
NOSPEC 0 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->count 1-1000000000
USER_DATA 0 iter->iov_offset 0-u64max[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/iomap/direct-io.c iomap_dio_bio_iter_one() -> bio_iov_vecs_to_alloc()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 max_segs 256
NOSPEC 0 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->count 0-u64max[c]
USER_DATA 0 iter->iov_offset 0-u64max[c]