Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c __iov_iter_get_pages_alloc() -> first_iovec_segment()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 *size 1-2147479552
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 i->count 1-s32max[c]
HOST_DATA 0 i->iov_offset 1-6442450941[c]
HOST_DATA 1 *size 1-2147479552[c]
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 *size 1-2147479552[c]
USER_PTR 1 size

lib/iov_iter.c iov_iter_extract_user_pages() -> first_iovec_segment()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->iter_type 0-1
PARAM_VALUE 1 *size 1-2147479552
DATA_SOURCE 0 i $0
NOSPEC 0 i->count
NOSPEC 1 *size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i->count 0-u64max
USER_DATA 0 i->iov_offset 0-u64max[c]
USER_DATA 1 *size 1-2147479551[c]
USER_PTR 1 size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk