Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/recvmsg.c rxrpc_notify_socket() -> (struct rxrpc_call)->notify_rx()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-6
PARAM_VALUE 1 call 4096-ptr_max
PARAM_VALUE 1 call->conn->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 1 call->notify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 call->notify_rx 1-u64max
PARAM_VALUE 1 call->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 1 call->socket 1-u64max
PARAM_VALUE 1 *call->rtt_serial 0-4294967295
PARAM_VALUE 1 *call->tx_queue->segment_xmit_ts 0-4294967295
BUF_SIZE 0 sk 1480
BUF_SIZE 1 call (-1),1-s32max
BUF_SIZE 1 call (-1),1-s32max
BUF_SIZE 1 call->local (-1),1744
BUF_SIZE 1 call->peer (-1),400
BUF_SIZE 1 call->rx_dec_buffer (-1),2048-u16max
DATA_SOURCE 1 call $0
FUZZY_MAX 0 sk->__sk_common.skc_state 6
CONTAINER 1 -512+0 $(-1)
CONTAINER 2 *(-512+760) $(-1)
HARD_MAX 0 sk->__sk_common.skc_state 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 call->dest_srx.srx_service 0[u]
USER_DATA 1 call->rx_pkt_len 1-65534[c][u]
USER_DATA 1 call->rx_pkt_offset 0-u16max[c][u]
USER_DATA 1 call->user_call_ID 0-u64max
USER_DATA 2 user_call_ID 0-u64max
NO_OVERFLOW_SIMPLE 1 call->hard_timo
NO_OVERFLOW_SIMPLE 1 call->rx_dec_len
LOCK2 irq
LOCK2 rcu_read
LOCK2 1 &call->notify_lock
HALF_LOCKED2 1 &call->recvmsg_queue.lock
HALF_LOCKED2 1 &call->user_mutex
TYPE_LOCK (struct rxrpc_call)->notify_lock