Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->channels 4096-ptr_max
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->security_level 0-2
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 session_key 1547902672834863104
PARAM_VALUE 2 expiry 0-4294967550
PARAM_VALUE 3 kvno 0-255
BUF_SIZE 1 session_key 8
CAPPED_DATA 0 conn->proto.cid 1
CAPPED_DATA 0 conn->proto.epoch 1
CAPPED_DATA 0 conn->security_ix 1
DATA_SOURCE 0 conn $0
USER_DATA 0 conn->security_level 0-2
USER_DATA 3 kvno 0-255
LOCK2 &pool->lock