Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/rxrpc/io_thread.c rxrpc_queue_rx_call_packet() -> rxrpc_poke_call()

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->ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 call->rx_queue.next 4096-885368592007290880
PARAM_VALUE 0 call->rx_queue.prev 4096-885368592007290880
PARAM_VALUE 0 call->rx_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *call->rtt_serial 0-4294967295
PARAM_VALUE 0 *call->tx_queue->segment_xmit_ts 0-4294967295
PARAM_VALUE 1 what 5
DATA_SOURCE 0 call $0
RX_PATH
NOCHECK_CALL

net/rxrpc/conn_event.c rxrpc_abort_calls() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->_state 12
PARAM_VALUE 1 what 2
NOCHECK_CALL

net/rxrpc/recvmsg.c rxrpc_rotate_rx_window() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->recvmsg_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->rx_dec_buffer 1-u64max
PARAM_VALUE 1 what 4
CAPPED_DATA 0 &call->recvmsg_queue 1
DATA_SOURCE 0 call $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 call->rx_dec_len
LOCK2 0 &call->user_mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/sendmsg.c rxrpc_do_sendmsg() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 call->user_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 call->user_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 call->user_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 call->user_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 call->user_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 call->user_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 what 6
CAPPED_DATA 0 call->user_call_ID 1
CAPPED_DATA 0 &call->user_mutex 1
DATA_SOURCE 0 call r rxrpc_find_call_by_user_ID
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->user_call_ID 0-u64max[c]
LOCK2 0 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/sendmsg.c rxrpc_propose_abort() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->send_abort_seq 0
PARAM_VALUE 0 call->send_abort_why 0-6,8-11,84-86
PARAM_VALUE 1 what 0
DATA_SOURCE 0 call $0
NOSPEC 0 call->send_abort_err
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->send_abort_err s16min-s16max[c]
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
USER_DATA 0 call->user_call_ID 0-u64max[c]
HALF_LOCKED2 0 &call->user_mutex

net/rxrpc/sendmsg.c rxrpc_queue_packet() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->conn 4096-ptr_max
PARAM_VALUE 0 call->conn->state 0,2-u32max
PARAM_VALUE 0 call->interruptibility 0-2
PARAM_VALUE 0 call->rxnet 4096-ptr_max
PARAM_VALUE 0 call->security 4096-ptr_max
PARAM_VALUE 0 call->send_queue 0,4096-ptr_max
PARAM_VALUE 0 call->send_queue->bufs 4096-ptr_max
PARAM_VALUE 0 call->tx_pending 0
PARAM_VALUE 0 call->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 call->user_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 call->user_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 call->user_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 call->user_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 call->user_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 call->user_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 call->user_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 call->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 call->waitq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 what 7
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->user_call_ID 0-u64max[c]
HALF_LOCKED2 &rx->sk
HALF_LOCKED2 0 &call->user_mutex

net/rxrpc/call_accept.c rxrpc_queue_rx_call_packet() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->_state 8,12
PARAM_VALUE 0 call->cong_ssthresh 0-255
PARAM_VALUE 0 call->conn 4096-ptr_max
PARAM_VALUE 0 call->conn->local 4096-ptr_max
PARAM_VALUE 0 call->conn->peer 4096-ptr_max
PARAM_VALUE 0 call->conn->peer->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->conn->state 5-7
PARAM_VALUE 0 call->conn->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->error s16min-s16max
PARAM_VALUE 0 call->error_link->pprev 4096-ptr_max
PARAM_VALUE 0 call->error_link.pprev 4096-ptr_max
PARAM_VALUE 0 call->local 4096-ptr_max
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->notify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->peer 4096-ptr_max
PARAM_VALUE 0 call->peer->max_data 0-1500,4294903261-u32max
PARAM_VALUE 0 call->peer->srx.transport.family 2,10
PARAM_VALUE 0 call->rx_queue.next 4096-885368592007290880
PARAM_VALUE 0 call->rx_queue.prev 4096-885368592007290880
PARAM_VALUE 0 call->rx_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 call->socket 4096-ptr_max
PARAM_VALUE 0 call->socket->recvmsg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->socket->recvmsg_q.prev->next 4096-ptr_max
PARAM_VALUE 0 call->socket->recvmsg_q.prev->next->next 4096-ptr_max
PARAM_VALUE 1 what 5
DATA_SOURCE 0 call $0
FUZZY_MAX 0 call->conn->state 5
RX_PATH
NOCHECK_CALL

net/rxrpc/call_object.c rxrpc_call_timer_expired() -> rxrpc_poke_call()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->_state 0-11,13-u32max
PARAM_VALUE 1 what 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL