Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxgk.c rxgk_verify_packet() -> rxgk_verify_packet_encrypted()

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 4096-ptr_max
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->security_level 2
PARAM_VALUE 0 call->conn->security_use_lock.dep_map->name 0-255
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->rx_dec_buffer 1-u64max
PARAM_VALUE 0 call->rx_dec_offset 0
PARAM_VALUE 0 call->security 4096-ptr_max
PARAM_VALUE 1 gk 4096-ptr_max
PARAM_VALUE 1 gk->krb5 4096-ptr_max
PARAM_VALUE 2 skb 4096-ptr_max
BUF_SIZE 0 call->rx_dec_buffer (-1),2048-u16max
BUF_SIZE 1 gk (-1),88
BUF_SIZE 1 gk (-1),88
CAPPED_DATA 0 call->rx_dec_len 1
DATA_SOURCE 0 call $0
DATA_SOURCE 1 gk r rxgk_get_key
DATA_SOURCE 2 skb $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 call->hard_timo
NO_OVERFLOW_SIMPLE 0 call->rx_dec_len
NO_OVERFLOW_SIMPLE 2 skb->data
LOCK2 0 &call->user_mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex