Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/messenger_v2.c prepare_message_secure() -> encode_epilogue_secure()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->ops->dispatch 0,4096-ptr_max
PARAM_VALUE 0 con->out_msg 4096-ptr_max
PARAM_VALUE 0 con->out_sent.prev 4096-ptr_max
PARAM_VALUE 0 con->out_sent.prev->next 4096-ptr_max
PARAM_VALUE 0 con->out_sent.prev->next->next 4096-ptr_max
PARAM_VALUE 0 con->sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 con->sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 con->sock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 con->state 12
PARAM_VALUE 0 con->v2.con_mode 2
PARAM_VALUE 0 con->v2.gcm_req->assoclen 0
PARAM_VALUE 0 con->v2.gcm_req->cryptlen 80
PARAM_VALUE 0 con->v2.gcm_req->dst 4837228935406977024
PARAM_VALUE 0 con->v2.gcm_req->iv 4096-ptr_max
PARAM_VALUE 0 con->v2.gcm_req->src 4837228935406977024
PARAM_VALUE 0 con->v2.out_buf 4096-ptr_max
PARAM_VALUE 0 con->v2.out_iter_sendpage 0
PARAM_VALUE 0 con->v2.out_kvec_cnt 1-8
PARAM_VALUE 0 con->v2.out_state 6
PARAM_VALUE 1 aborted 0
CAPPED_DATA 0 con 1
CAPPED_DATA 0 con->in_seq 1
CAPPED_DATA 0 con->v2.out_buf 1
DATA_SOURCE 0 con $0
NOCHECK_CALL
USER_DATA 0 con->v2.out_cursor.lastlen 1-4096[c]
USER_DATA 0 con->v2.out_cursor.resid 0-u64max
USER_DATA 0 con->v2.out_iter.count 0-9589934590