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_shutdown_net() -> nfsd_reply_cache_shutdown()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.done 0-4294967293,u32max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.lock.owner (-1)
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_ref.data 0,4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_ref.data->confirm_switch 0
PARAM_VALUE 0 nn->nfsd_net_ref.data->rcu.func 1-u64max
PARAM_VALUE 0 nn->nfsd_net_ref.data->rcu.next 0
DATA_SOURCE 0 nn r net_generic
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->drc_hashtbl 16,4096-ptr_max
PARAM_VALUE 0 nn->maskbits 0-31,u32max
PARAM_VALUE 0 nn->max_drc_entries 0-262144
PARAM_VALUE 0 nn->nfsd_info.serv 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->count_objects 6656745228928819200
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->debugfs_entry 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->debugfs_id 0-s32max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.done 0
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.lock.magic 3735899821
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.lock.owner (-1)
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->flags 3,7,11,15,19
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->id 0-s32max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->list.next 4581490576307081216
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->list.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->name 1-u64max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->nr_deferred 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->private_data 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->refcount.refs.counter 1
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->scan_objects 7878455592589561856
PARAM_VALUE 0 nn->nfsd_reply_cache_shrinker->seeks 1
PARAM_VALUE 0 nn->nfsd_ssc_mount_list.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_mount_list.next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_mount_list.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_mount_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_mount_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_waitq.head.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_ssc_waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 nn->num_drc_entries.counter 0
CAPPED_DATA 0 nn->drc_hashtbl 1
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
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nn->drc_hashsize
LOCK2 global &nfsd_mutex