Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c iterate_bvec() -> iterate_bvec param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 0-4096
PARAM_VALUE 4 priv2 0
BUF_SIZE 3 to (-1)-s32max
BUF_SIZE 3 to (-1)-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 len 0-4096[c]
USER_DATA 2 len 0-4095[c]
USER_DATA 3 to 4096-ptr_max[c][u]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to
HALF_LOCKED2 global &page_offline_rwsem

net/core/datagram.c iterate_bvec() -> iterate_bvec param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 0-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 3 *to 0-255
PARAM_VALUE 4 priv2 3505457010682322944
BUF_SIZE 4 priv2 4
BUF_SIZE 4 priv2 4
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 0-4095[c]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to

net/core/skbuff.c iterate_bvec() -> iterate_bvec param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 0-4096
PARAM_VALUE 4 priv2 4096-ptr_max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 0-4095[c]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
HALF_LOCKED2 &kcm->tx_mutex
HALF_LOCKED2 sk

fs/smb/client/cifsencrypt.c iterate_bvec() -> iterate_bvec param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 0-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 4 priv2 0
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-4095[c]
UNITS 2 len unit_byte
HALF_LOCKED2 &server->_srv_mutex

lib/iov_iter.c iterate_kvec() -> iterate_kvec param 4()

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 4 priv2 0
BUF_SIZE 3 to (-1)-s32max
BUF_SIZE 3 to (-1)-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 len 1-s32max[c]
USER_DATA 2 len 1-s32max[c]
USER_DATA 3 to 4096-ptr_max[c][u]
UNITS 0 iter_from unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to
HALF_LOCKED2 global &page_offline_rwsem

net/core/datagram.c iterate_kvec() -> iterate_kvec param 4()

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 3 *to 0-255
PARAM_VALUE 4 priv2 3505457010682322944
BUF_SIZE 4 priv2 4
BUF_SIZE 4 priv2 4
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-s32max[c]
UNITS 0 iter_from unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to

net/core/skbuff.c iterate_kvec() -> iterate_kvec param 4()

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 4 priv2 4096-ptr_max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-s32max[c]
UNITS 0 iter_from unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
HALF_LOCKED2 &kcm->tx_mutex
HALF_LOCKED2 sk

fs/smb/client/cifsencrypt.c iterate_kvec() -> iterate_kvec param 4()

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 4 priv2 0
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-1000000000[c]
UNITS 0 iter_from unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &server->_srv_mutex

lib/iov_iter.c iterate_folioq() -> iterate_folioq param 4()

Type Parameter Key Value
PARAM_VALUE 1 progress 0-4096,18446744073709547521-u64max
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 4 priv2 0
PARAM_VALUE 4 priv2->dir_ctx->count s32min-s32max
BUF_SIZE 3 to (-1)-s32max
BUF_SIZE 3 to (-1)-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
FUZZY_MAX 1 progress 0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 progress 0-4096,18446744073709547521-u64max[c]
HOST_DATA 2 len 1-4096[c]
USER_DATA 1 progress 0-4096,18446744073709547521-u64max[u]
USER_DATA 2 len 1-4096[c]
USER_DATA 3 to 4096-ptr_max[c][u]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to
HALF_LOCKED2 global &page_offline_rwsem

net/core/datagram.c iterate_folioq() -> iterate_folioq param 4()

Type Parameter Key Value
PARAM_VALUE 1 progress 0-4096,18446744073709547521-u64max
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 3 *to 0-255
PARAM_VALUE 4 priv2 3505457010682322944
BUF_SIZE 4 priv2 4
BUF_SIZE 4 priv2 4
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
FUZZY_MAX 1 progress 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 progress 0-4096,18446744073709547521-u64max[u]
USER_DATA 2 len 1-4096[c]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to

net/core/skbuff.c iterate_folioq() -> iterate_folioq param 4()

Type Parameter Key Value
PARAM_VALUE 1 progress 0-4096,18446744073709547521-u64max
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 4 priv2 4096-ptr_max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
FUZZY_MAX 1 progress 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 progress 0-4096,18446744073709547521-u64max[u]
USER_DATA 2 len 1-4096[c]
UNITS 2 len unit_byte
UNITS 3 to unit_byte
HALF_LOCKED2 &kcm->tx_mutex
HALF_LOCKED2 sk

fs/smb/client/cifsencrypt.c iterate_folioq() -> iterate_folioq param 4()

Type Parameter Key Value
PARAM_VALUE 1 progress 0-4096,18446744073709547521-u64max
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 4 priv2 0
PARAM_VALUE 4 priv2->dir_ctx->count s32min-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
FUZZY_MAX 1 progress 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 progress 0-4095,18446744073709547521-u64max[u]
USER_DATA 2 len 1-4095[c]
UNITS 2 len unit_byte
HALF_LOCKED2 &server->_srv_mutex

fs/afs/dir.c iterate_folioq() -> iterate_folioq param 4()

Type Parameter Key Value
PARAM_VALUE 1 progress 0-4096,18446744073709547520-u64max
PARAM_VALUE 2 len 0-4096
PARAM_VALUE 3 to 0,4096-ptr_max
PARAM_VALUE 4 priv2 0,8518412927373230080
BUF_SIZE 4 priv2 (-1),16
BUF_SIZE 4 priv2 (-1),16
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
FUZZY_MAX 1 progress 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 progress 0-4095,18446744073709547520-u64max[u]
USER_DATA 2 len 0-4095[c]
HALF_LOCKED2 &dvnode->validate_lock

lib/iov_iter.c iterate_xarray() -> iterate_xarray param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 4 priv2 0
BUF_SIZE 3 to (-1)-s32max
BUF_SIZE 3 to (-1)-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 len 1-4095[c]
USER_DATA 2 len 1-4095[c]
USER_DATA 3 to 4096-ptr_max[c][u]
UNITS 1 progress unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to
LOCK2 rcu_read
HALF_LOCKED2 global &page_offline_rwsem

net/core/datagram.c iterate_xarray() -> iterate_xarray param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 3 *to 0-255
PARAM_VALUE 4 priv2 3505457010682322944
BUF_SIZE 4 priv2 4
BUF_SIZE 4 priv2 4
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-4095[c]
UNITS 1 progress unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
USER_PTR 3 to
LOCK2 rcu_read

net/core/skbuff.c iterate_xarray() -> iterate_xarray param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 4 priv2 4096-ptr_max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-4095[c]
UNITS 1 progress unit_byte
UNITS 2 len unit_byte
UNITS 3 to unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &kcm->tx_mutex
HALF_LOCKED2 sk

fs/smb/client/cifsencrypt.c iterate_xarray() -> iterate_xarray param 4()

Type Parameter Key Value
PARAM_VALUE 2 len 1-4096
PARAM_VALUE 3 to 4096-ptr_max
PARAM_VALUE 4 priv2 0
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 iter_from r kmap_local_folio
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-4095[c]
UNITS 1 progress unit_byte
UNITS 2 len unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &server->_srv_mutex