Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->writeverf_lock.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 nn->nfsd_info.serv (-1),368
DATA_SOURCE 0 nn $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &nn->writeverf_lock.lock
HALF_LOCKED2 global &nfsd_mutex
TYPE_LOCK (struct seqlock)->lock