Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4proc.c nfsd4_async_copy_reaper() -> cleanup_async_copy()

Type Parameter Key Value
PARAM_VALUE 0 copy 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4proc.c nfsd4_copy() -> cleanup_async_copy()

Type Parameter Key Value
PARAM_VALUE 0 copy 4096-ptr_max
PARAM_VALUE 0 copy->copies.next 4096-ptr_max
PARAM_VALUE 0 copy->copies.next->next 4096-ptr_max
PARAM_VALUE 0 copy->copies.prev 4096-ptr_max
PARAM_VALUE 0 copy->copies.prev->next 4096-ptr_max
PARAM_VALUE 0 copy->copies.prev->prev 4096-ptr_max
PARAM_VALUE 0 copy->cp_copy.cp_nn 4096-ptr_max
PARAM_VALUE 0 copy->cp_copy.nf_dst->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 copy->cp_copy.nf_dst->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 copy->cp_copy.nf_src->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 copy->cp_copy.nf_src->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 copy->cp_ttl 10
PARAM_VALUE 0 copy->refcount.refs.counter 1
BUF_SIZE 0 copy->cp_copy.cp_src 1036,u64max
DATA_SOURCE 0 copy r nfs4_alloc_copy_stid
NOCHECK_CALL