Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfsd/nfs4proc.c nfsd4_open() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate 4096-ptr_max
PARAM_VALUE 0 cstate->clp 4096-ptr_max
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 cstate 928
CAPPED_DATA 0 &cstate->current_fh 1
DATA_SOURCE 0 cstate $1
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_close() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate->clp 0,4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
PARAM_VALUE 1 nfserr 0,10011,10023-10026,10047,10087,30001
BUF_SIZE 0 cstate 928
DATA_SOURCE 0 cstate $1
DATA_SOURCE 1 nfserr r nfs4_preprocess_seqid_op
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_lock() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate 4096-ptr_max
PARAM_VALUE 0 cstate->current_fh.fh_dentry 4096-ptr_max
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_sb->s_export_op 4096-ptr_max
PARAM_VALUE 0 cstate->current_fh.fh_dentry->d_sb->s_export_op->flags 0,127
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
BUF_SIZE 0 cstate 928
DATA_SOURCE 0 cstate $1
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_locku() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate->clp 0,4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
BUF_SIZE 0 cstate 928
DATA_SOURCE 0 cstate $1
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_open_confirm() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate 4096-ptr_max
PARAM_VALUE 0 cstate->clp 0,4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
PARAM_VALUE 1 nfserr 0,10011,10023-10026,10047,10087,30001
BUF_SIZE 0 cstate 928
DATA_SOURCE 0 cstate $1
FUZZY_MAX 1 nfserr 10025
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_open_downgrade() -> nfsd4_bump_seqid()

Type Parameter Key Value
PARAM_VALUE 0 cstate->clp 0,4096-ptr_max
PARAM_VALUE 0 cstate->clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cstate->current_fh.fh_post_saved 0
PARAM_VALUE 0 cstate->current_fh.fh_pre_saved 0
PARAM_VALUE 0 cstate->replay_owner 4096-ptr_max
PARAM_VALUE 1 nfserr 0,22,10011,10023-10026,10047,10087,30001
BUF_SIZE 0 cstate 928
DATA_SOURCE 0 cstate $1
FUZZY_MAX 1 nfserr 22
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
BIT_INFO 0 cstate 0x28,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &stp->st_mutex