Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfsctl.c nfsd_net_init() -> nfsd4_init_leases_net()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->cb_counter 4096-ptr_max
PARAM_VALUE 0 nn->counter 4096-ptr_max
PARAM_VALUE 0 nn->nfsd4_minorversions 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_cb 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_cb->program.name 8639935544145260544
PARAM_VALUE 0 nn->nfsd_cb->program.nrvers 2
PARAM_VALUE 0 nn->nfsd_cb->program.number 1073741824
PARAM_VALUE 0 nn->nfsd_cb->program.pipe_dir_name 5218039558504374272
PARAM_VALUE 0 nn->nfsd_cb->version4.nrprocs 9
PARAM_VALUE 0 nn->nfsd_cb->version4.number 1
PARAM_VALUE 0 nn->nfsd_cb->version4.procs 1641801557623853056
PARAM_VALUE 0 nn->nfsd_info.mutex 6887041853446017024
PARAM_VALUE 0 nn->nfsd_info.serv 0
PARAM_VALUE 0 nn->nfsd_svcstats.program 8675889648095891456
PARAM_VALUE 0 nn->nfsd_svcstats.program->pg_nvers 0
PARAM_VALUE 0 nn->nfsd_svcstats.vs_count 16,4096-ptr_max
PARAM_VALUE 0 nn->nfsd_versions 4096-ptr_max
BUF_SIZE 0 nn->nfsd_info.mutex 152
BUF_SIZE 0 nn->nfsd_svcstats.program 192
DATA_SOURCE 0 nn r net_generic
TERMINATED 0 nn->nfsd_cb->program.name 1
TERMINATED 0 nn->nfsd_cb->program.pipe_dir_name 1
MEM_ZERO 0 nn->nfsd_svcstats.program
MEM_ZERO 0 &nn->nfsd_svcstats
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem