Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4proc.c nfsd4_shutdown_copy() -> nfsd4_unhash_copy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_callback_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->wq_dev | 0-s64max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->opcode | 0,3-6,8,13,15 |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->prepare | 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528 |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->release | 0,4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_confirm.data | 0-u32max |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_name | 0,3279946168012029952 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_oid.len | 0-32 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_ops | 0,608393847869476864 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_owner | 0 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_pf_num | 0,3 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_pfs | 0,3116866246497927168 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_upcall_enctypes | 0,3635466832211886080 |
| PARAM_VALUE | 0 | clp->cl_idhash.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_idhash.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_idhash.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | clp->cl_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | clp->cl_ownerstr_hashtbl | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ra->ra_cb.cb_ops->opcode | 0,3-6,8,13,15 |
| PARAM_VALUE | 0 | clp->cl_ra->ra_cb.cb_ops->prepare | 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528 |
| PARAM_VALUE | 0 | clp->cl_spo_must_allow.u.words | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_time | 0 |
| PARAM_VALUE | 0 | clp->cl_verifier.data | 0-u32max |
| PARAM_VALUE | 0 | clp->net | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->net->gen | 4096-ptr_max |
| BUF_SIZE | 0 | clp | (-1)-s32max |
| BUF_SIZE | 0 | clp | (-1)-s32max |
| CAPPED_DATA | 0 | clp->net->gen | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_nfsd_dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_nfsd_dentry->d_inode->i_size | |
| HALF_LOCKED2 | global &nfsd_mutex |
fs/nfsd/nfs4proc.c nfsd4_shutdown_copy() -> nfsd4_unhash_copy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clp | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->async_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | clp->cl_callback_wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_callback_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_callback_wq->wq_dev | 0-s64max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->opcode | 0,3-6,8,13,15 |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->prepare | 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528 |
| PARAM_VALUE | 0 | clp->cl_cb_null.cb_ops->release | 0,4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_confirm.data | 0-u32max |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_name | 0,3279946168012029952 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_oid.len | 0-32 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_ops | 0,608393847869476864 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_owner | 0 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_pf_num | 0,3 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_pfs | 0,3116866246497927168 |
| PARAM_VALUE | 0 | clp->cl_cred.cr_gss_mech->gm_upcall_enctypes | 0,3635466832211886080 |
| PARAM_VALUE | 0 | clp->cl_idhash.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_idhash.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_idhash.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | clp->cl_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | clp->cl_ownerstr_hashtbl | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ra->ra_cb.cb_ops->opcode | 0,3-6,8,13,15 |
| PARAM_VALUE | 0 | clp->cl_ra->ra_cb.cb_ops->prepare | 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528 |
| PARAM_VALUE | 0 | clp->cl_spo_must_allow.u.words | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_time | 0 |
| PARAM_VALUE | 0 | clp->cl_verifier.data | 0-u32max |
| PARAM_VALUE | 0 | clp->net | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->net->gen | 4096-ptr_max |
| BUF_SIZE | 0 | clp | (-1)-s32max |
| BUF_SIZE | 0 | clp | (-1)-s32max |
| CAPPED_DATA | 0 | clp->net->gen | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| PARAM_COMPARE | 0 | &clp->async_copies | != $0->async_copies.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_nfsd_dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_nfsd_dentry->d_inode->i_size | |
| HALF_LOCKED2 | global &nfsd_mutex |