Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/recvmsg.c rxrpc_recvmsg_data() -> rxrpc_verify_data()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
CAPPED_DATA 0 &call->recvmsg_queue 1
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 call->tx_pending->alloc_size 0-1418[c]
USER_DATA 0 call->tx_pending->cksum 1-u16max[c]
USER_DATA 0 call->tx_pending->len 0-u16max[c][u]
USER_DATA 0 call->tx_pending->offset 0-u16max[c][u]
USER_DATA 0 call->tx_pending->pkt_len 0-u16max[c]
USER_DATA 0 call->tx_pending->space 0-u16max
NO_OVERFLOW_SIMPLE 0 call->rx_dec_len
NO_OVERFLOW_SIMPLE 1 skb->data
LOCK2 0 &call->user_mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex