Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/nfs4client.c nfs4_update_server() -> nfs_server_remove_lists()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->client 4096-ptr_max
PARAM_VALUE 0 server->client->cl_auth 4096-ptr_max
PARAM_VALUE 0 server->client->cl_auth->au_cslack 0,4,37,200
PARAM_VALUE 0 server->client->cl_auth->au_flavor 0-1,7,390003-390005
PARAM_VALUE 0 server->client->cl_auth->au_ops 0,68801066539282432,3314901740667019264,4338909160095707136,8591259256799981568
PARAM_VALUE 0 server->client->cl_auth->au_verfsize 0,2-102
PARAM_VALUE 0 server->client->cl_clients.next 4096-ptr_max
PARAM_VALUE 0 server->client->cl_clients.prev 4096-ptr_max
PARAM_VALUE 0 server->client->cl_debugfs 4096-u64max
PARAM_VALUE 0 server->client->cl_debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 server->client->cl_debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_dname 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 server->client->cl_debugfs->d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 server->client->cl_debugfs->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 server->client->cl_debugfs->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 server->client->cl_debugfs->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 server->client->cl_debugfs->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 server->client->cl_debugfs->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 server->client->cl_debugfs->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 server->client->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->client->cl_parent 4096-ptr_max
PARAM_VALUE 0 server->client->cl_parent->cl_auth 4096-ptr_max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->rcu.func 1-u64max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 server->client->cl_parent->cl_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 server->client->cl_parent->cl_parent 4096-ptr_max
PARAM_VALUE 0 server->client->cl_parent->cl_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 server->client->cl_parent->cl_xprt 4096-ptr_max
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_alias.pprev 4096-ptr_max
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_children.first 4096-ptr_max
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_parent 4096-ptr_max
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_rcu.func 1-u64max
PARAM_VALUE 0 server->client->cl_pipedir_objects.pdh_dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 server->client->cl_sysfs 0
PARAM_VALUE 0 server->client->cl_xpi.xpi_cursor 0
PARAM_VALUE 0 server->client->cl_xprt 4096-ptr_max
PARAM_VALUE 0 server->client->pipefs_sb 1-u64max
PARAM_VALUE 0 server->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 server->nfs_client 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_cons_state (-12),(-4),0-s32max
PARAM_VALUE 0 server->nfs_client->cl_idmap 0
PARAM_VALUE 0 server->nfs_client->cl_idmap->idmap_pdo->pdo_data->idmap_pipe->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 server->nfs_client->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 server->nfs_client->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata->name 0-255
PARAM_VALUE 0 server->nfs_client->cl_mvops 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_mvops->call_sync_ops 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_mvops->mig_recovery_ops 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_mvops->mig_recovery_ops->get_locations 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_net->refcnt_tracker.dead 1
PARAM_VALUE 0 server->nfs_client->cl_nfs_mod->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 server->nfs_client->cl_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 server->nfs_client->cl_ns_tracker->dead 0-1
PARAM_VALUE 0 server->nfs_client->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_shutdown 1
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.flags 0-4294967295
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.is_hard 0-1
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.is_lazy 0-1
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.is_queued 0-1
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_work.is_soft 0-1
PARAM_VALUE 0 server->nfs_client->cl_uuid.net 0
PARAM_VALUE 0 server->super 4096-ptr_max
PARAM_VALUE 0 server->super->s_root 4096-ptr_max
PARAM_VALUE 0 *server->attr_bitmask 0-4294967295
PARAM_VALUE 0 *server->attr_bitmask_nl 0-4294967295
PARAM_VALUE 0 *server->cache_consistency_bitmask 0-4294967295
PARAM_VALUE 0 *server->client->cl_debugfs->d_inode->i_sb->s_fs_info->s_first_error_func 0-255
PARAM_VALUE 0 *server->client->cl_debugfs->d_inode->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 0 *server->client->cl_parent->cl_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 *server->client->cl_pipedir_objects.pdh_dentry->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *server->exclcreat_bitmask 0-4294967295
CAPPED_DATA 0 server->client 1
DATA_SOURCE 0 server $0
NOCHECK_CALL

fs/nfs/client.c nfs_free_server() -> nfs_server_remove_lists()

Type Parameter Key Value
PARAM_VALUE 0 server 1-u64max
PARAM_VALUE 0 server->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 server->nfs_client->cl_mvops->call_sync_ops 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_mvops->init_caps 16401,2147698737,2952482353
PARAM_VALUE 0 server->nfs_client->cl_nfs_mod->rpc_ops 4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 server->nfs_client->rpc_ops->version 2-4
PARAM_VALUE 0 *server->attr_bitmask 0-4294967295
PARAM_VALUE 0 *server->attr_bitmask_nl 0-4294967295
PARAM_VALUE 0 *server->cache_consistency_bitmask 0-4294967295
PARAM_VALUE 0 *server->exclcreat_bitmask 0-4294967295
BUF_SIZE 0 server (-1),8,1896,4416
BUF_SIZE 0 server (-1),8,1896,4416
DATA_SOURCE 0 server $0
STR_LEN 0 server (-1)
STR_LEN 0 server (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 server unit_byte