Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pnfs.c pnfs_destroy_all_layouts() -> nfs4_deviceid_mark_client_invalid()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 clp->cl_ns_tracker->dead 0-1
PARAM_VALUE 0 clp->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->type 0-1
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL