Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 46 files:

Smatch caller information:

net/ceph/messenger_v2.c do_recvmsg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-s32max
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r sock_recvmsg
NOCHECK_CALL
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c do_sendmsg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r sock_sendmsg
NOCHECK_CALL
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c do_try_sendpage() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->bvec 4096-ptr_max
PARAM_VALUE 0 i->iter_type 2
PARAM_VALUE 1 size 1-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r sock_sendmsg
NOCHECK_CALL
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/9p/trans_virtio.c p9_get_mapped_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 3
PARAM_VALUE 1 size 0
DATA_SOURCE 0 i $2
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
HALF_LOCKED2 &inode->i_rwsem

net/9p/trans_virtio.c p9_get_mapped_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 3
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $2
NOSPEC 0 i->count
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-u64max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem

mm/madvise.c vector_madvise() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 905764202780262400
DATA_SOURCE 0 i $1
NOCHECK_CALL

lib/iov_iter.c __iov_iter_get_pages_alloc() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 size 1-2147479552
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 size $2 [m]
NOSPEC 0 i->count
NOSPEC 1 size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 i->count 1-s32max[c]
HOST_DATA 0 i->iov_offset 1-6442450941[c]
HOST_DATA 1 size 1-2147479552[c]
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-2147479552[c]
UNITS 1 size unit_byte

lib/iov_iter.c iov_iter_extract_bvec_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->bvec 4096-18446744073709547521
PARAM_VALUE 0 i->iter_type 2
CAPPED_DATA 0 i->nr_segs 1
DATA_SOURCE 0 i $0
PARAM_COMPARE 0 i->bvec->bv_len >= $0->iov_offset
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_kvec_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 3
PARAM_VALUE 0 i->nr_segs 1-u64max
PARAM_VALUE 1 size 1-2147479552
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-2147479552[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_user_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 size 1-2147479552
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 size $2 [m]
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-2147479552[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_xarray_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 5
PARAM_VALUE 1 size 1-2147479552
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 size $2 [m]
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-2147479551[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

fs/smb/client/compress.c collect_sample() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 1177622207325450240
PARAM_VALUE 1 size 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->iov_offset 0-u64max[c]

fs/netfs/misc.c netfs_reset_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->count 1-u64max
PARAM_VALUE 1 size 1-u64max
BUF_SIZE 0 i 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

io_uring/rsrc.c io_import_kbuf() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

net/kcm/kcmsock.c kcm_write_msgs() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4344436906162040848
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kcm->tx_mutex
HALF_LOCKED2 sk

fs/netfs/read_retry.c netfs_retry_read_subrequests() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6204553461569544192
PARAM_VALUE 0 i->folioq 1-u64max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
RX_PATH
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

fs/netfs/read_retry.c netfs_retry_read_subrequests() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6204553461569544192
PARAM_VALUE 0 i->folioq 1-u64max
PARAM_VALUE 1 size 0-u32max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
RX_PATH
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

net/core/datagram.c zerocopy_fill_skb_from_devmem() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 size 0-4096
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
RX_PATH
NOCHECK_CALL

drivers/vhost/vhost.c vhost_chr_write_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i->__iov 4096-u64max
PARAM_VALUE 0 i->bvec 4096-u64max
PARAM_VALUE 0 i->folioq 1-u64max
PARAM_VALUE 1 size 0,4
DATA_SOURCE 0 i $1
FUZZY_MAX 1 size 4
BIT_INFO 1 size 0x0,0x4
BIT_INFO 1 size 0x0,0x4
NOSPEC 0 i->count
HARD_MAX 1 size 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

net/packet/af_packet.c packet_snd_vnet_parse() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->__iov 4096-u64max
PARAM_VALUE 0 i->bvec 4096-u64max
PARAM_VALUE 0 i->folioq 1-u64max
PARAM_VALUE 1 size 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sunrpc/xprtsock.c xs_sock_recvmsg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6544760882105671696
PARAM_VALUE 1 size 1-u64max
DATA_SOURCE 1 size $3
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &pool->lock
LOCK2 &transport->recv_mutex
TYPE_LOCK (struct sock_xprt)->recv_mutex

fs/read_write.c do_loop_readv_writev() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4279757847342735360,8935935780545683456
PARAM_VALUE 1 size 0-9223372036854775807
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
NOCHECK_CALL

fs/cachefiles/io.c cachefiles_issue_write() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-4095
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-s32max[c]
USER_DATA 0 i->iov_offset 0-u64max[c]
UNITS 1 size unit_byte

drivers/vhost/net.c handle_rx() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 677290564554768
PARAM_VALUE 1 size 10,12,24
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_rx() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 2011516429624078336
PARAM_VALUE 1 size 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c init_iov_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4386511803419406352,6841281207476211728
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

net/ceph/messenger.c ceph_msg_data_iter_advance() -> iov_iter_advance()

Type Parameter Key Value
CAPPED_DATA 1 size 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-999999999[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

block/bio-integrity.c bio_integrity_map_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size r bio_integrity_bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

io_uring/mock_file.c io_mock_write_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r iov_iter_count
PARAM_COMPARE 0 i->count == $1
PARAM_COMPARE 1 size == $0->count
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

lib/tests/kunit_iov_iter.c iov_kunit_copy_from_folioq() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 8720362380157906944
PARAM_VALUE 1 size 2,39,20883,131072,147456,167936,1048573
NOCHECK_CALL

lib/tests/kunit_iov_iter.c iov_kunit_copy_to_folioq() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 664979133076451328
PARAM_VALUE 1 size 2,39,20883,131072,147456,167936,1048573
NOCHECK_CALL

lib/tests/kunit_iov_iter.c iov_kunit_extract_pages_folioq() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6036596409806766080
PARAM_VALUE 1 size 2,39,20883,131072,147456,167936,1048573
CAPPED_DATA 1 size 1
NOCHECK_CALL

drivers/net/tap.c __tun_vnet_hdr_get() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->__iov 4096-u64max
PARAM_VALUE 0 i->bvec 4096-u64max
PARAM_VALUE 0 i->folioq 1-u64max
PARAM_VALUE 1 size 0-999999990,4294967286-u32max
DATA_SOURCE 0 i $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/net/tap.c tap_get_user() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 1134071223711948800
PARAM_VALUE 1 size 14-3774
CAPPED_DATA 1 size 1
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
HALF_LOCKED2 &vq->mutex

fs/netfs/read_pgpriv2.c rolling_buffer_advance() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->folioq 4096-ptr_max
PARAM_VALUE 0 i->folioq_slot 0,31-255
PARAM_VALUE 0 i->iov_offset 0
PARAM_VALUE 0 i->nr_segs 0,31-255
PARAM_VALUE 0 i->xarray_start 0,31-255
DATA_SOURCE 1 size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

block/blk-map.c bio_copy_user_iov() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 978679771613659136
PARAM_VALUE 0 i->nr_segs 0-1024
DATA_SOURCE 0 i $2
HARD_MAX 0 i->nr_segs 1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-s32max[c]
UNITS 1 size unit_byte

fs/nfsd/vfs.c nfsd_write_dio_seg_init() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-u64max
DATA_SOURCE 1 size $4
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/md/dm-pcache/segment.c segment_copy_from_bio() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 7993747585502302208
PARAM_VALUE 0 i->iov_offset 0-u32max
PARAM_VALUE 1 size 1-u32max
DATA_SOURCE 1 size $4
NOSPEC 1 size
NOSPEC 1 size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 size 4194304[c]
USER_DATA 1 size 4194304[c][u]
UNITS 1 size unit_byte
HALF_LOCKED2 &cache_subtree->tree_lock
HALF_LOCKED2 &pool->lock

drivers/md/dm-pcache/segment.c segment_copy_to_bio() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 7775700520815276032
PARAM_VALUE 0 i->iov_offset 0-u32max
PARAM_VALUE 1 size 1-u32max
DATA_SOURCE 1 size $4
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &cache_seg->gen_lock
LOCK2 &cache_subtree->tree_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pcache_cache_segment)->gen_lock
TYPE_LOCK (struct pcache_cache_subtree)->tree_lock

lib/scatterlist.c extract_bvec_to_sg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-9223372036854775807
BUF_SIZE 0 i (-1),40
BUF_SIZE 0 i (-1),40
CAPPED_DATA 0 i->nr_segs 1
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-8589934590[c][u]
HALF_LOCKED2 &mr->mutex

lib/scatterlist.c extract_kvec_to_sg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-9223372036854775807
BUF_SIZE 0 i (-1),40
BUF_SIZE 0 i (-1),40
CAPPED_DATA 0 i->nr_segs 1
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-9223372036854775807[c][u]
HALF_LOCKED2 &mr->mutex

lib/scatterlist.c extract_xarray_to_sg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-9223372036854775807
BUF_SIZE 0 i (-1),40
BUF_SIZE 0 i (-1),40
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 2-2000000000[c][u]
HALF_LOCKED2 &mr->mutex

block/bio.c bio_iov_iter_get_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 2
PARAM_VALUE 1 size 0-1000000000
DATA_SOURCE 0 i $1
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000
UNITS 1 size unit_byte

fs/netfs/buffered_read.c rolling_buffer_advance() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
DATA_SOURCE 1 size $1
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-1000000000
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-18446744073709551614
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/smb/smbdirect/connection.c smbdirect_map_sges_from_bvec() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-9223372036854775807
CAPPED_DATA 0 i->nr_segs 1
DATA_SOURCE 0 i $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 size 1-2000000000[c][u]
HALF_LOCKED2 &conn->srv_mutex
HALF_LOCKED2 &server->_srv_mutex

fs/smb/smbdirect/connection.c smbdirect_map_sges_from_kvec() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-9223372036854775807
CAPPED_DATA 0 i->nr_segs 1
DATA_SOURCE 0 i $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 size 1-8190[c][u]
HALF_LOCKED2 &conn->srv_mutex
HALF_LOCKED2 &server->_srv_mutex

fs/netfs/direct_read.c netfs_prepare_dio_read_iterator() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-9223372036854775807
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-1000000000
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-9223372036854775806[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &cinode->lock_sem
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/direct_read.c netfs_unbuffered_read_iter_locked() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 2-255
PARAM_VALUE 1 size 1-1000000000
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r iov_iter_count
PARAM_COMPARE 0 i->count == $1
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-1000000000
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-1000000000
HALF_LOCKED2 &cinode->lock_sem
HALF_LOCKED2 &inode->i_rwsem

fs/smb/client/smb2ops.c receive_encrypted_read() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 8693320749376053248
PARAM_VALUE 1 size 0-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size r cifs_read_iter_from_socket
NOCHECK_CALL
UNITS 1 size unit_byte

net/sunrpc/svcsock.c svc_tcp_read_msg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6397154812814635024
PARAM_VALUE 1 size 1-u32max
DATA_SOURCE 1 size $2
RX_PATH
NOCHECK_CALL
UNITS 1 size unit_byte

fs/netfs/write_issue.c netfs_reissue_write() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 3717632311878074368
DATA_SOURCE 0 i $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

fs/netfs/write_issue.c rolling_buffer_advance() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->nr_segs 0-255
PARAM_VALUE 0 i->xarray_start 0-255
PARAM_VALUE 1 size 1-9223372036854775807
DATA_SOURCE 1 size $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/net/tun.c __tun_vnet_hdr_get() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->__iov 4096-u64max
PARAM_VALUE 0 i->bvec 4096-u64max
PARAM_VALUE 0 i->folioq 1-u64max
PARAM_VALUE 1 size 0-999999990,4294967272-u32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/net/tun.c tun_get_user() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 3773387415123451904
PARAM_VALUE 1 size 0-128,18446744071562067968-u64max
CAPPED_DATA 1 size 1
NOSPEC 0 i->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
HALF_LOCKED2 &vq->mutex

drivers/nvme/host/tcp.c nvme_tcp_advance_req() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->bvec 4096-ptr_max
PARAM_VALUE 1 size 1-s32max
DATA_SOURCE 1 size $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &queue->send_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nvme_tcp_queue)->send_mutex

net/sunrpc/socklib.c xprt_sendmsg() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 1391795104987058192,2187809181911461904,3169078629115584528,6955248247080628240
PARAM_VALUE 1 size 1-u64max
DATA_SOURCE 1 size $2
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &xprt->xpt_mutex

drivers/vhost/scsi.c vhost_scsi_handle_vq() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6159719202867474432
PARAM_VALUE 1 size 108
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_handle_vq() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6099215618416902144
PARAM_VALUE 1 size 1-s32max,18446744071562067968-18446744073709551614
CAPPED_DATA 1 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 i->count 0-u64max[c]
HOST_DATA 0 i->iov_offset 1-9223372036854775806[c]
HOST_DATA 1 size 2-s32max[c]
UNITS 1 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

fs/afs/dir.c afs_dir_iterate_contents() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4198229271780917248
PARAM_VALUE 1 size 0,2048-18446744073709549568
CAPPED_DATA 1 size 1
BIT_INFO 1 size 0x0,0x7ffffffffffff800
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dvnode->validate_lock

io_uring/rw.c __io_read() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 1 size 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

io_uring/rw.c loop_rw_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1,3-255
PARAM_VALUE 1 size 0-9223372036854775807
DATA_SOURCE 0 i $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/nbd.c nbd_send_cmd() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6169911749447102464
PARAM_VALUE 1 size 1-27
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &cmd->lock
LOCK2 &nsock->tx_lock
TYPE_LOCK (struct nbd_cmd)->lock
TYPE_LOCK (struct nbd_sock)->tx_lock

drivers/block/nbd.c nbd_send_cmd() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 6169911749447102464
PARAM_VALUE 1 size 1-999999999
CAPPED_DATA 1 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &cmd->lock
LOCK2 &nsock->tx_lock
TYPE_LOCK (struct nbd_cmd)->lock
TYPE_LOCK (struct nbd_sock)->tx_lock

fs/netfs/direct_write.c netfs_unbuffered_write() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->nr_segs 0-255
PARAM_VALUE 0 i->xarray_start 0-255
PARAM_VALUE 1 size 1-u64max
FUZZY_MAX 1 size 1
RX_PATH
NOCHECK_CALL
USER_DATA 0 i->iov_offset 0-u64max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/netfs/direct_write.c netfs_unbuffered_write_collect() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
NOSPEC 0 i->iov_offset
RX_PATH
NOCHECK_CALL
USER_DATA 0 i->iov_offset 0-u64max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

drivers/char/mem.c write_iter_null() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 0-1000000000
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r iov_iter_count
PARAM_COMPARE 1 size == $0->count
PARAM_COMPARE 1 size == $0->count
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-18446744073709551614
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-1000000000
HALF_LOCKED2 &pool->lock

fs/ceph/file.c ceph_aio_complete_req() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 3260517727918510080
PARAM_VALUE 1 size 0-s32max
CAPPED_DATA 1 size 1
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 size 2-s32max[c]
UNITS 1 size unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/ceph/file.c ceph_direct_read_write() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 304226021779845120
PARAM_VALUE 1 size 0-s32max
CAPPED_DATA 1 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_write_iter() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->count 0-18446744073709551614
PARAM_VALUE 1 size 1-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
NOSPEC 0 i->count
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 1-s32max[c]
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 1-s32max[c]
HALF_LOCKED2 &pool->lock

fs/nfs/localio.c nfs_local_iter_setup() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 1 size 1-u64max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 size $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock

fs/fuse/file.c fuse_get_user_pages() -> iov_iter_advance()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 3
PARAM_VALUE 1 size 0-u32max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 i $1
DATA_SOURCE 1 size r fuse_get_frag_size
NOSPEC 0 i->count
NOSPEC 0 i->iov_offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 size 0-4294967294[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iocb->ki_filp->f_inode->i_rwsem
HALF_LOCKED2 &pool->lock