Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/nfsd/nfs4proc.c _nfsd_copy_file_range() -> nfsd_reset_write_verifier()

Type Parameter Key Value
NOCHECK_CALL

fs/nfsd/filecache.c nfsd_file_check_write_error() -> nfsd_reset_write_verifier()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_cb_list.ready 0
PARAM_VALUE 0 nn->nfsd_info.serv->sv_is_pooled 1
PARAM_VALUE 0 nn->nfsd_info.serv->sv_max_mesg 8192-4198400
PARAM_VALUE 0 nn->nfsd_info.serv->sv_max_payload 1-4194304
PARAM_VALUE 0 nn->nfsd_info.serv->sv_name 0,4105759554861391872,4270887082634715136,6695499224320856064,8105100863058866176,8596292804145803264
PARAM_VALUE 0 nn->nfsd_info.serv->sv_nprogs 3
PARAM_VALUE 0 nn->nfsd_info.serv->sv_permsocks.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_permsocks.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_pools 16,4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_programs 8675889648095891456
PARAM_VALUE 0 nn->nfsd_info.serv->sv_stats 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_tempsocks.next 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_tempsocks.prev 4096-ptr_max
PARAM_VALUE 0 nn->nfsd_info.serv->sv_temptimer.flags 0-4194302
PARAM_VALUE 0 nn->nfsd_info.serv->sv_threadfn 6720037067631030272
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
BUF_SIZE 0 nn->nfsd_info.serv 368
CAPPED_DATA 0 nn->nfsd_info.serv->sv_max_mesg 1
CAPPED_DATA 0 nn->nfsd_info.serv->sv_max_payload 1
CAPPED_DATA 0 nn->nfsd_info.serv->sv_xdrsize 1
DATA_SOURCE 0 nn r net_generic
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex

fs/nfsd/vfs.c commit_reset_write_verifier() -> nfsd_reset_write_verifier()

Type Parameter Key Value
DATA_SOURCE 0 nn $0
NOCHECK_CALL