Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c copy_to_user_iter_mc() -> copy_mc_to_user()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
CAPPED_DATA 0 dst 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $3
DATA_SOURCE 2 len $2
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 src 4096-ptr_max[c]
HOST_DATA 2 len 1-s32max[c]
USER_DATA 1 src 4096-ptr_max[c][u]
USER_DATA 2 len 0-u32max[c]
UNITS 0 dst unit_byte
UNITS 1 src unit_byte
UNITS 2 len unit_byte
BYTE_COUNT 1 ==src2 8050