Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/oob.c rxrpc_respond_to_oob() -> (struct rxrpc_security)->sendmsg_respond_to_challenge()

Type Parameter Key Value
PARAM_VALUE 0 challenge 4096-ptr_max
PARAM_VALUE 0 challenge->mark 0
PARAM_VALUE 0 challenge->rbnode.rb_left 0,4096-ptr_max
PARAM_VALUE 0 challenge->rbnode.rb_right 0,4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->msg_controllen 16-u64max
PARAM_VALUE 1 msg->msg_flags 1-u32max
PARAM_VALUE 1 msg->msg_name->srx_family 33
PARAM_VALUE 1 msg->msg_name->transport.family 2,10
PARAM_VALUE 1 msg->msg_name->transport_len 16-u16max
PARAM_VALUE 1 msg->msg_name->transport_type 2
BUF_SIZE 1 msg->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 1 msg->msg_name (-1)-0,12,28,36,128
BUF_SIZE 1 msg->msg_ubuf (-1),16
CAPPED_DATA 0 challenge->skb_mstamp_ns 1
CAPPED_DATA 0 &challenge->rbnode 1
CAPPED_DATA 1 msg->msg_controllen 1
DATA_SOURCE 0 challenge r rxrpc_find_pending_oob
DATA_SOURCE 1 msg $2
BIT_INFO 1 msg->msg_flags 0x0,0xfffffffe
NOSPEC 1 msg->msg_controllen
NOSPEC 1 msg->msg_iter.count
TASK_NOT_RUNNING
USER_DATA 1 msg->msg_controllen 16-s32max[c]
USER_DATA 1 msg->msg_flags 1-u32max[c]
USER_DATA 1 msg->msg_iter.count 1-18446744073709551614
USER_DATA 1 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 1 msg->msg_namelen 0-128
USER_DATA 1 *msg->msg_name s64min-s64max
USER_PTR 1 msg->msg_control
USER_PTR 1 msg->msg_name
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk