Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c find_or_create_lock_stateid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->sc_client->cl_stateids.idr_base 1
DATA_SOURCE 0 s r nfs4_alloc_stid

fs/nfsd/nfs4state.c find_or_create_lock_stateid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->sc_client->cl_stateids.idr_base 1
DATA_SOURCE 0 s r nfs4_alloc_stid

fs/nfsd/nfs4state.c nfs4_alloc_open_stateid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->sc_client->cl_stateids.idr_base 1
DATA_SOURCE 0 s r nfs4_alloc_stid

fs/nfsd/nfs4state.c nfs4_free_lock_stateid() -> openlockstateid()

Type Parameter Key Value
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

fs/nfsd/nfs4state.c nfs4_free_ol_stateid() -> openlockstateid()

Type Parameter Key Value
BUF_SIZE 0 s->sc_file (-1)-s32max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

fs/nfsd/nfs4state.c nfs4_preprocess_seqid_op() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max

fs/nfsd/nfs4state.c nfs4_preprocess_stateid_op() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max

fs/nfsd/nfs4state.c nfs4_show_lock() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

fs/nfsd/nfs4state.c nfs4_show_open() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

fs/nfsd/nfs4state.c nfsd4_drop_revoked_stid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD
HALF_LOCKED2 &cl->cl_lock
HALF_LOCKED2 &clp->cl_lock
TYPE_LOCK (struct nfs4_client)->cl_lock

fs/nfsd/nfs4state.c nfsd4_drop_revoked_stid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD
HALF_LOCKED2 &cl->cl_lock
HALF_LOCKED2 &clp->cl_lock
TYPE_LOCK (struct nfs4_client)->cl_lock

fs/nfsd/nfs4state.c nfsd4_free_lock_stateid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $1
BIT_INFO 0 s->sc_status 0x0,0xfffa

fs/nfsd/nfs4state.c nfsd4_validate_stateid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s r find_stateid_locked
PREEMPT_ADD <- disables preempt
LOCK2 &cl->cl_lock
TYPE_LOCK (struct nfs4_client)->cl_lock

fs/nfsd/nfs4state.c revoke_one_stid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nfsd_mutex

fs/nfsd/nfs4state.c revoke_one_stid() -> openlockstateid()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nfsd_mutex