Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c force_expire_client() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_time 0
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->net->gen 1
CAPPED_DATA 0 &clp->cl_lru 1
DATA_SOURCE 0 clp $0
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_process_client_reaplist() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4state.c nfsd4_create_session() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_rpc_users.counter 0
PARAM_VALUE 0 clp->cl_time 0
CAPPED_DATA 0 clp->cl_name.len 1
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp r find_confirmed_client_by_name
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_destroy_clientid() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_time 0
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->cl_clientid.cl_boot 1
CAPPED_DATA 0 clp->cl_clientid.cl_id 1
CAPPED_DATA 0 clp->cl_minorversion 1
CAPPED_DATA 0 clp->net->gen 1
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_exchange_id() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->async_copies.next->next 4096-ptr_max
PARAM_VALUE 0 clp->async_copies.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->async_copies.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_cb_null.cb_clp->cl_cs_slot.sl_status 0,10017,10063,10082
PARAM_VALUE 0 clp->cl_cb_null.cb_ops->done 0,4761991685085646848,4951998288713355264,5107742723170004992,6463507683566055424,7176242006274752512,7561723759094972416,8855713013769814016
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,2649951188937506816,2998409049542356992,4095934491169366016,4598868471442890752,6874552758448033792,8347903914680221696,8802793434733793280
PARAM_VALUE 0 clp->cl_cb_null.cb_referring_call_list.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_cb_null.cb_referring_call_list.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_cb_null.cb_referring_call_list.prev->prev 4096-ptr_max
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_delegations.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_delegations.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_delegations.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_fence_mutex.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_idhash.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_idhash.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_idhash.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_idhash.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_lo_states.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_lo_states.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_lo_states.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_lru.next->next 4096-ptr_max
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_lru.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_alias.pprev 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_children.first 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata 0
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_hash.next 0,4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_hash.pprev 0
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_inode->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_sib.pprev 0,4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->waiters 0
PARAM_VALUE 0 clp->cl_openowners.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_openowners.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_openowners.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_clp->cl_cs_slot.sl_status 0,10017,10063,10082
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_flags 0
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_held_slot (-1)
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_msg.rpc_argp 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_msg.rpc_proc 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_msg.rpc_resp 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops 3971448308665315328
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops->done 0,4761991685085646848,4951998288713355264,5107742723170004992,6463507683566055424,7176242006274752512,7561723759094972416,8855713013769814016
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_ra->ra_cb.cb_ops->release 0,2649951188937506816,2998409049542356992,4095934491169366016,4598868471442890752,6874552758448033792,8347903914680221696,8802793434733793280
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_referring_call_list.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_referring_call_list.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_referring_call_list.prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_referring_call_list.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_referring_call_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_status 0
PARAM_VALUE 0 clp->cl_revoked.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_revoked.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_revoked.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_rpc_users.counter 0
PARAM_VALUE 0 clp->cl_sessions.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_sessions.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_sessions.prev->prev 4096-ptr_max
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->gen 4096-ptr_max
PARAM_VALUE 0 *clp->cl_confirm.data 0-255
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_fsdata->lease_session->s_auth.authorizer->session_key.key (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name 0-255
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *clp->cl_nfsd_dentry->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 *clp->cl_verifier.data 0-255
TERMINATED 0 clp->cl_cb_waitq.name 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clp->cl_nfsd_dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 clp->cl_nfsd_dentry->d_inode->i_size

fs/nfsd/nfs4state.c nfsd4_exchange_id() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_time 0
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->cl_name.len 1
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp r find_unconfirmed_client_by_name
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_setclientid() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_time 0
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->cl_name.len 1
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp r find_unconfirmed_client_by_name
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_setclientid_confirm() -> expire_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_time 0
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->net->gen 1
NOCHECK_CALL