Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4state.c nfs4_schedule_state_manager() -> nfs4_clear_state_manager_bit()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_confirm.data 0-u32max
PARAM_VALUE 0 clp->cl_cons_state (-12),(-4),0
PARAM_VALUE 0 clp->cl_mvops->init_client 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->minor_version 0-2
PARAM_VALUE 0 clp->cl_mvops->reboot_recovery_ops 1942191913176563712,4840182328370704384
PARAM_VALUE 0 clp->cl_mvops->session_trunk 0,4417617634892537856
PARAM_VALUE 0 clp->cl_mvops->state_renewal_ops 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->state_renewal_ops->get_state_renewal_cred 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfs_mod->owner 0
PARAM_VALUE 0 clp->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 clp->cl_rpcclient 4096-ptr_max
PARAM_VALUE 0 clp->cl_rpcclient->cl_xprt 4096-ptr_max
PARAM_VALUE 0 clp->rpc_ops->version 2-4
BUF_SIZE 0 clp (-1),128
BUF_SIZE 0 clp (-1),128
CAPPED_DATA 0 clp->cl_rpcclient->cl_xprt 1
DATA_SOURCE 0 clp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 global &nfs_clid_init_mutex