Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->client 4096-u64max
PARAM_VALUE 0 server->client->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->rcu.func 1-u64max
PARAM_VALUE 0 server->client->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client->cl_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 server->client->cl_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 server->client->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->client->cl_shutdown 1
PARAM_VALUE 0 server->client->cl_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 server->client_acl 4096-u64max
PARAM_VALUE 0 server->client_acl->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->rcu.func 1-u64max
PARAM_VALUE 0 server->client_acl->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 server->client_acl->cl_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 server->client_acl->cl_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 server->client_acl->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->client_acl->cl_shutdown 1
PARAM_VALUE 0 server->client_acl->cl_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 server->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 server->kobj.state_initialized 1
PARAM_VALUE 0 server->nfs_client 0,4096-ptr_max
PARAM_VALUE 0 server->nfs_client->cl_idmap 0
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_renewd.work.lockdep_map->name 0-255
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_cred->user_ns->work.entry.next->prev 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->cl_rpcclient->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->nfs_client->cl_rpcclient->cl_xprt->bc_pa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 server->nfs_client->cl_rpcwaitq.timer_list.dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 server->nfs_client->cl_uuid.list.next->prev 4096-ptr_max
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
CAPPED_DATA 0 server->nfs_client 1
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