Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfssvc.c nfsd_startup_net() -> nfsd_reply_cache_init()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv 4096-ptr_max
CAPPED_DATA 0 &nn->nfsd_info.serv->sv_permsocks 1
DATA_SOURCE 0 nn r net_generic
PARAM_COMPARE 0 &nn->nfsd_info.serv->sv_permsocks != $0->nfsd_info.serv->sv_permsocks.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nfsd_mutex