Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfs/nfs42proc.c _nfs42_proc_clone() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 158641304498024480
PARAM_VALUE 0 stateid->seqid 0
PARAM_VALUE 0 stateid->type 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 1
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $3
RX_PATH
TASK_NOT_RUNNING

fs/nfs/nfs42proc.c _nfs42_proc_clone() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 158641304498024500
PARAM_VALUE 0 stateid->seqid 0
PARAM_VALUE 0 stateid->type 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 2
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $4
RX_PATH
TASK_NOT_RUNNING

fs/nfs/nfs42proc.c _nfs42_proc_copy() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 7826413353105403928
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 1
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $1
RX_PATH

fs/nfs/nfs42proc.c _nfs42_proc_copy() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 7826413353105403968
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 2
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $3
RX_PATH

fs/nfs/nfs42proc.c _nfs42_proc_copy_notify() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->dentry 4096-ptr_max
PARAM_VALUE 1 ctx->dentry->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 3 fmode 1
BUF_SIZE 1 ctx s32min-(-1),1-s32max
BUF_SIZE 1 ctx s32min-(-1),1-s32max
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 1 ctx r get_nfs_open_context
DATA_SOURCE 2 l_ctx r nfs_get_lock_context
RX_PATH

fs/nfs/nfs42proc.c _nfs42_proc_fallocate() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 2609736124302512152
PARAM_VALUE 0 stateid->seqid 0
PARAM_VALUE 0 stateid->type 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 2
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/nfs/nfs42proc.c _nfs42_proc_llseek() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 1359280159140409368
PARAM_VALUE 0 stateid->seqid 0
PARAM_VALUE 0 stateid->type 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx 4096-ptr_max
PARAM_VALUE 2 l_ctx->count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 l_ctx->open_context 4096-ptr_max
PARAM_VALUE 3 fmode 1
CAPPED_DATA 2 l_ctx->lockowner 1
DATA_SOURCE 2 l_ctx $1
RX_PATH
TASK_NOT_RUNNING

fs/nfs/nfs4proc.c nfs4_proc_pgio_rpc_prepare() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/nfs/nfs4proc.c nfs4_stateid_is_current() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 8103896260215902208
PARAM_VALUE 3 fmode 1-2
DATA_SOURCE 1 ctx $1
DATA_SOURCE 2 l_ctx $2
DATA_SOURCE 3 fmode $3
HARD_MAX 3 fmode 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/nfs/filelayout/filelayout.c filelayout_read_prepare() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 3 fmode 1
RX_PATH
TASK_NOT_RUNNING

fs/nfs/filelayout/filelayout.c filelayout_write_prepare() -> nfs4_set_rw_stateid()

Type Parameter Key Value
PARAM_VALUE 0 stateid 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 3 fmode 2
RX_PATH
TASK_NOT_RUNNING