Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->client_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nn->conf_id_hashtbl 4096-ptr_max
PARAM_VALUE 1 clp 4096-ptr_max
PARAM_VALUE 1 clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 clp->cl_time s64min-(-1),1-s64max
PARAM_VALUE 2 stid 4096-ptr_max
PARAM_VALUE 2 stid->sc_export 4096-ptr_max
PARAM_VALUE 2 stid->sc_status 0
PARAM_VALUE 2 stid->sc_type 1-u16max
CAPPED_DATA 1 clp->cl_stateids.idr_base 1
CAPPED_DATA 2 stid->sc_export->ex_path.dentry 1
CAPPED_DATA 2 stid->sc_export->ex_path.mnt 1
DATA_SOURCE 0 nn $0
DATA_SOURCE 2 stid r find_one_export_stid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->client_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nn->conf_id_hashtbl 4096-ptr_max
PARAM_VALUE 1 clp 4096-ptr_max
PARAM_VALUE 1 clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 clp->cl_time s64min-(-1),1-s64max
PARAM_VALUE 2 stid 4096-ptr_max
PARAM_VALUE 2 stid->sc_file 4096-ptr_max
PARAM_VALUE 2 stid->sc_file->fi_inode 4096-ptr_max
PARAM_VALUE 2 stid->sc_status 0
PARAM_VALUE 2 stid->sc_type 1-u16max
CAPPED_DATA 1 clp->cl_stateids.idr_base 1
CAPPED_DATA 2 stid->sc_file->fi_inode->i_sb 1
DATA_SOURCE 0 nn $0
DATA_SOURCE 2 stid r find_one_sb_stid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex