Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/smb2pdu.c smb2_sess_setup() -> krb5_authenticate()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 0 work->conn 4096-ptr_max
PARAM_VALUE 0 work->conn->ops->get_cmd_val 4096-ptr_max
PARAM_VALUE 0 work->conn->preferred_auth_mech 2-u32max
PARAM_VALUE 0 work->conn->session_lock.dep_map->name 0-255
PARAM_VALUE 0 work->conn->session_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 work->conn->session_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 work->conn->session_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 work->conn->session_lock.first_waiter->type 0-1
PARAM_VALUE 0 work->conn->srv_mutex.dep_map->name 0-255
PARAM_VALUE 0 work->conn->srv_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 work->conn->srv_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 work->conn->srv_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 work->conn->status 1,5
PARAM_VALUE 0 work->conn->vals->req_capabilities 0,4,6,8,12,14,16-416
PARAM_VALUE 0 work->response_buf 16,4096-ptr_max
PARAM_VALUE 0 work->sess 4096-ptr_max
PARAM_VALUE 0 work->sess->chann_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 work->sess->chann_lock.first_waiter->type 0-1
PARAM_VALUE 0 work->sess->rpc_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 work->sess->rpc_lock.first_waiter->type 0-1
PARAM_VALUE 0 work->sess->state s32min-(-1),1-s32max
PARAM_VALUE 0 work->sess->tree_conns_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 work->sess->tree_conns_lock.first_waiter->type 0-1
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->SecurityBufferOffset 88-u16max
PARAM_VALUE 1 *req (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 rsp 4096-ptr_max
PARAM_VALUE 2 rsp->SecurityBufferLength 0
PARAM_VALUE 2 rsp->SecurityBufferOffset 72
PARAM_VALUE 2 rsp->SessionFlags 0
PARAM_VALUE 2 rsp->StructureSize 9
PARAM_VALUE 2 *rsp (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 work->sess (-1),1136
CAPPED_DATA 1 req->hdr.SessionId 1
DATA_SOURCE 0 work $0
USER_DATA 1 req->Capabilities 0-u32max
USER_DATA 1 req->Channel 0-u32max
USER_DATA 1 req->Flags 0-255
USER_DATA 1 req->PreviousSessionId 0-u64max
USER_DATA 1 req->SecurityBufferLength 0-u16max
USER_DATA 1 req->SecurityBufferOffset 88-u16max
USER_DATA 1 req->SecurityMode 0-255
USER_DATA 1 req->StructureSize 0-u16max
USER_PTR 0 work->request_buf
USER_PTR 1 req
USER_PTR 1 req->Buffer
LOCK2 &conn->srv_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ksmbd_conn)->srv_mutex