Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/input.c rxrpc_input_soft_rtt() -> rxrpc_add_data_rtt_sample()

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->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->tx_qtail->ever_retransmitted 0
PARAM_VALUE 0 call->tx_qtail->rtt_samples 0
PARAM_VALUE 0 call->tx_qtail->segment_lost 0
PARAM_VALUE 0 call->tx_qtail->segment_retransmitted 0
PARAM_VALUE 0 *call->rtt_serial 0-4294967295
PARAM_VALUE 0 *call->tx_queue->segment_xmit_ts 0-4294967295
PARAM_VALUE 1 summary 1332369096281161728
PARAM_VALUE 1 summary->ack_reason 0-10
PARAM_VALUE 1 summary->acked_serial 1-u32max
PARAM_VALUE 1 summary->change 0
PARAM_VALUE 2 tq 4096-ptr_max
PARAM_VALUE 2 tq->nr_reported_acks 0-64
PARAM_VALUE 2 tq->segment_serial 4096-ptr_max
PARAM_VALUE 3 ix 0-63
CAPPED_DATA 1 summary->acked_serial 1
DATA_SOURCE 0 call $0
DATA_SOURCE 1 summary $1
DATA_SOURCE 2 tq $2
FUZZY_MAX 3 ix 63
HARD_MAX 3 ix 63

net/rxrpc/input.c rxrpc_rotate_tx_window() -> rxrpc_add_data_rtt_sample()

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->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->tx_queue->bufs 4096-ptr_max
PARAM_VALUE 0 call->tx_queue->segment_serial 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 summary 1104077494941208576,1332369096281161728,8328347178376384512
PARAM_VALUE 1 summary->ack_reason 0-10
PARAM_VALUE 1 summary->change 0
PARAM_VALUE 2 tq 4096-ptr_max
PARAM_VALUE 2 tq->bufs 4096-ptr_max
PARAM_VALUE 2 tq->segment_serial 4096-ptr_max
CAPPED_DATA 1 summary->acked_serial 1
DATA_SOURCE 0 call $0
DATA_SOURCE 1 summary $2
NOCHECK_CALL
UNITS 3 ix unit_byte