Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/client.c nfs_free_server() -> (struct nfs_server)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 server 4096-ptr_max
PARAM_VALUE 0 server->destroy 1-u64max
PARAM_VALUE 0 server->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 server->nfs_client 0,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->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)
CONTAINER 0 -1088+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL