Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/client/smb2pdu.c SMB2_flush() -> SMB2_flush_init()

Type Parameter Key Value
PARAM_VALUE 1 rqst 3777228365560176640
PARAM_VALUE 1 rqst->rq_iov 5269807541469466624
PARAM_VALUE 1 rqst->rq_nvec 1
PARAM_VALUE 2 tcon 4096-ptr_max
PARAM_VALUE 2 tcon->ses 0,4096-ptr_max
PARAM_VALUE 2 tcon->ses->server 4096-ptr_max
PARAM_VALUE 2 tcon->ses->server->ops 4096-ptr_max
PARAM_VALUE 2 tcon->ses->server->ops->flush 6763967835962740736,7877875798912282624
PARAM_VALUE 2 tcon->ses->server->ops->llseek 0,1802391218220650496
PARAM_VALUE 2 *tcon->ses->ip_addr 0-255
PARAM_VALUE 2 *tcon->ses->preauth_sha_hash 0-255
PARAM_VALUE 2 *tcon->ses->server->cryptkey 0-255
PARAM_VALUE 2 *tcon->ses->server->fastest_cmd 0-4294967295
PARAM_VALUE 2 *tcon->ses->server->server_GUID 0-255
PARAM_VALUE 2 *tcon->ses->server->slowest_cmd 0-4294967295
PARAM_VALUE 2 *tcon->ses->server->ssocket->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 3 *server->fastest_cmd 0-4294967295
PARAM_VALUE 3 *server->slowest_cmd 0-4294967295
PARAM_VALUE 3 *server->ssocket->sk->sk_backlog.head->dev->name 0-255
DATA_SOURCE 0 xid $0
DATA_SOURCE 2 tcon $1
DATA_SOURCE 3 server r cifs_pick_channel
DATA_SOURCE 4 persistent_fid $2
DATA_SOURCE 5 volatile_fid $3
MEM_ZERO 1 rqst
RX_PATH
TASK_NOT_RUNNING