Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxkad.c rxkad_verify_response() -> rxkad_decrypt_response()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 conn->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 conn->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 conn->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 conn->local 4096-ptr_max
PARAM_VALUE 0 conn->local->active_users.counter 0-s32max
PARAM_VALUE 0 conn->local->service 4096-ptr_max
PARAM_VALUE 0 conn->local->services_lock.dep_map->name 0-255
PARAM_VALUE 0 conn->rx_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->security 4096-ptr_max
PARAM_VALUE 0 conn->state 5
PARAM_VALUE 0 conn->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 resp 4096-ptr_max
PARAM_VALUE 1 resp->kvno 0-255
PARAM_VALUE 1 resp->ticket_len 8-1024
PARAM_VALUE 1 resp->version 2
PARAM_VALUE 2 session_key 1547902672834863104
BUF_SIZE 1 resp 0-s32max
BUF_SIZE 1 resp 0-s32max
DATA_SOURCE 0 conn $0
NOCHECK_CALL
LOCK2 &pool->lock