Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxgk.c rxgk_get_key() -> rxgk_rekey()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->rxgk.keys 4096-ptr_max
PARAM_VALUE 0 conn->security_use_lock.dep_map->name 0-255
PARAM_VALUE 1 specific_key_number 0,6012312386937249792
PARAM_VALUE 1 *specific_key_number 0
DATA_SOURCE 0 conn $0
DATA_SOURCE 1 specific_key_number $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 conn->key->quotalen
NO_OVERFLOW_SIMPLE 0 conn->local->rx_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 conn->local->rx_queue.next->prev->data_len
HALF_LOCKED2 &call->user_mutex