Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/rxrpc/conn_event.c rxrpc_call_is_secure() -> rxrpc_notify_socket()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
DATA_SOURCE 0 call $0
NOCHECK_CALL

net/rxrpc/recvmsg.c rxrpc_recvmsg() -> rxrpc_notify_socket()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->rx_dec_offset 0
CAPPED_DATA 0 &call->recvmsg_queue 1
CAPPED_DATA 0 &call->user_mutex 1
PARAM_COMPARE 0 &call->recvmsg_queue != $0->recvmsg_queue.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->rx_pkt_len 1-65534[c][u]
USER_DATA 0 call->rx_pkt_offset 0-u16max[c][u]
LOCK2 0 &call->user_mutex
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/input.c rxrpc_input_data() -> rxrpc_notify_socket()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->_state 12
PARAM_VALUE 0 call->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->send_abort 0
PARAM_VALUE 0 *call->ackr_sack_table 0-255
PARAM_VALUE 0 *call->rtt_serial 0-4294967295
PARAM_VALUE 0 *call->tx_queue->segment_xmit_ts 0-4294967295
DATA_SOURCE 0 call $0
NOCHECK_CALL

net/rxrpc/input.c rxrpc_input_split_jumbo() -> rxrpc_notify_socket()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->conn->local->socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->conn->local->socket->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->conn->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->conn->tx_response->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 call->local->socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 call->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->rx_oos_queue.next 4096-ptr_max
PARAM_VALUE 0 call->rx_oos_queue.prev 4096-ptr_max
PARAM_VALUE 0 call->rx_oos_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 call->rxnet 4096-ptr_max
PARAM_VALUE 0 call->rxnet->stat_rx_jumbo 4096-ptr_max
PARAM_VALUE 0 call->send_abort 0
PARAM_VALUE 0 *call->ackr_sack_table 0-255
PARAM_VALUE 0 *call->conn->local->socket->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 0 *call->rtt_serial 0-4294967295
PARAM_VALUE 0 *call->tx_queue->segment_xmit_ts 0-4294967295
DATA_SOURCE 0 call $0
NOCHECK_CALL

net/rxrpc/call_state.c rxrpc_set_call_completion() -> rxrpc_notify_socket()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->_state 12
PARAM_VALUE 0 call->conn->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->peer->local->io_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 call->waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *call->rtt_serial 0-4294967295
PARAM_VALUE 0 *call->tx_queue->segment_xmit_ts 0-4294967295
BUF_SIZE 0 call->rx_dec_buffer (-1),2048-u16max
DATA_SOURCE 0 call $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->dest_srx.srx_service 0[u]
USER_DATA 0 call->user_call_ID 0-u64max
NO_OVERFLOW_SIMPLE 0 call->hard_timo
NO_OVERFLOW_SIMPLE 0 call->rx_dec_len
HALF_LOCKED2 &conn->state_lock
HALF_LOCKED2 &local->services_lock
HALF_LOCKED2 &rx->incoming_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &call->recvmsg_queue.lock
HALF_LOCKED2 0 &call->user_mutex