Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/compat.c __get_compat_msghdr() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 0 uaddr 1-u32max
PARAM_VALUE 1 ulen 1-128
BUF_SIZE 2 kaddr (-1),128
FUZZY_MAX 1 ulen 128
USER_DATA 1 ulen 1-128
USER_DATA 2 kaddr->ss_family 0-u16max[u]
UNITS 1 ulen unit_byte
UNITS 2 kaddr unit_byte
USER_PTR 2 kaddr
HALF_LOCKED2 &ctx->uring_lock

io_uring/net.c io_bind_prep() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 2 kaddr 16,4096-ptr_max
BUF_SIZE 2 kaddr 0,96,104,128,144,200,288
BUF_SIZE 2 kaddr 0,96,104,128,144,200,288
DATA_SOURCE 2 kaddr r io_uring_alloc_async_data
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/net.c io_connect_prep() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 2 kaddr 16,4096-ptr_max
BUF_SIZE 2 kaddr 0,96,104,128,144,200,288
BUF_SIZE 2 kaddr 0,96,104,128,144,200,288
DATA_SOURCE 2 kaddr r io_uring_alloc_async_data
UNITS 1 ulen unit_byte
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/net.c io_send_setup() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 0 uaddr 1-u64max
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

net/socket.c __copy_msghdr() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 0 uaddr 1-u64max
PARAM_VALUE 1 ulen 1-128
BUF_SIZE 2 kaddr (-1),128
FUZZY_MAX 1 ulen 128
USER_DATA 1 ulen 1-128
USER_DATA 2 kaddr->ss_family 0-u16max[u]
UNITS 1 ulen unit_byte
UNITS 2 kaddr unit_byte
USER_PTR 2 kaddr
HALF_LOCKED2 &ctx->uring_lock

net/socket.c __sys_bind() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 2 kaddr 3293503470008791040
DATA_SOURCE 0 uaddr $1
DATA_SOURCE 1 ulen $2
USER_DATA 1 ulen s32min-s32max

net/socket.c __sys_connect() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 2 kaddr 7329098384338829312
DATA_SOURCE 0 uaddr $1
DATA_SOURCE 1 ulen $2
USER_DATA 1 ulen s32min-s32max

net/socket.c __sys_sendto() -> move_addr_to_kernel()

Type Parameter Key Value
PARAM_VALUE 0 uaddr 1-u64max
PARAM_VALUE 2 kaddr 7228453767765291008
DATA_SOURCE 0 uaddr $4
DATA_SOURCE 1 ulen $5
USER_DATA 1 ulen s32min-s32max