Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c iterate_iovec() -> iterate_iovec 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 1 progress 0-2147483646,18446744071562067970-u64max[c]
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_iovec() -> iterate_iovec 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 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_iovec() -> iterate_iovec 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

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

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 1 progress 0
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 2 len $1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
PARAM_COMPARE 3 to == $2
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 len 1-s32max[c]
USER_DATA 2 len 1-u64max[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
BYTE_COUNT 3 ==to2 8050
USER_PTR 3 to
HALF_LOCKED2 global &page_offline_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 1 progress 0
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 2 len $1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-u64max[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_ubuf() -> iterate_ubuf param 4()

Type Parameter Key Value
PARAM_VALUE 0 iter_from 4096-ptr_max
PARAM_VALUE 1 progress 0
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 2 len $1
DATA_SOURCE 3 to $2
DATA_SOURCE 4 priv2 $3
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 1-18446744073709551614[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