Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c unhash_open_stateid() -> release_open_stateid_locks()

Type Parameter Key Value
PARAM_VALUE 0 open_stp 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.next 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.next->next 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.next->prev 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.prev 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.prev->next 4096-ptr_max
PARAM_VALUE 0 open_stp->st_perfile.prev->prev 4096-ptr_max
PARAM_VALUE 0 open_stp->st_stateowner 4096-ptr_max
PARAM_VALUE 0 open_stp->st_stid.sc_file->fi_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 reaplist 597419998850183168,2803523761419919360,4605471695544107008,6408310676933812224
PARAM_VALUE 1 reaplist->next 1-u64max
PARAM_VALUE 1 reaplist->prev 597419998850183168,2803523761419919360,4605471695544107008,6408310676933812224
DATA_SOURCE 0 open_stp $0
DATA_SOURCE 1 reaplist $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &clp->cl_lock
HALF_LOCKED2 0 &open_stp->st_stid.sc_client->cl_lock
TYPE_LOCK (struct nfs4_client)->cl_lock