Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/socket.c ____sys_recvmsg() -> move_addr_to_user()

Type Parameter Key Value
PARAM_VALUE 0 kaddr 3436987221621841920
PARAM_VALUE 2 uaddr 1-u64max
PARAM_VALUE 3 ulen 4096-ptr_max
BUF_SIZE 3 ulen 4
DATA_SOURCE 2 uaddr $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 klen unit_byte

net/socket.c __sys_recvfrom() -> move_addr_to_user()

Type Parameter Key Value
PARAM_VALUE 0 kaddr 1643799491988107264
PARAM_VALUE 2 uaddr 1-u64max
DATA_SOURCE 2 uaddr $4
DATA_SOURCE 3 ulen $5
USER_DATA 3 ulen 0-u64max
UNITS 1 klen unit_byte

net/socket.c do_accept() -> move_addr_to_user()

Type Parameter Key Value
PARAM_VALUE 0 kaddr 323644661675274240
PARAM_VALUE 1 klen 0-s32max
PARAM_VALUE 2 uaddr 1-u64max
DATA_SOURCE 2 uaddr $2
DATA_SOURCE 3 ulen $3
FUZZY_MAX 1 klen 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 ulen 0-u64max

net/socket.c do_getsockname() -> move_addr_to_user()

Type Parameter Key Value
PARAM_VALUE 0 kaddr 1952953178822852608
PARAM_VALUE 1 klen 0-s32max
DATA_SOURCE 2 uaddr $2
DATA_SOURCE 3 ulen $3
FUZZY_MAX 1 klen 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 ulen 0-u64max