Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfsd/nfssvc.c nfsd_create_serv() -> nfsd_reset_versions()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv 0
PARAM_VALUE 0 nn->nfsd_net_confirm_done.done 0
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.lock.magic 3735899821
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.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_confirm_done.wait.task_list.prev 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_free_done.done 0
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.lock.magic 3735899821
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.lock.owner (-1)
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_free_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_ref.data 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_ref.data->confirm_switch 0
PARAM_VALUE 0 nn->nfsd_net_ref.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 nn->nfsd_net_ref.data->ref 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_net_ref.percpu_count_ptr 4096-18446744073709547523
DATA_SOURCE 0 nn r net_generic
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex

fs/nfsd/nfsctl.c __write_versions() -> nfsd_reset_versions()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv 0
DATA_SOURCE 0 nn r net_generic
NOCHECK_CALL
LOCK2 global &nfsd_mutex