Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/nfsd/nfs4layouts.c nfsd4_cb_layout_done() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4layouts.c nfsd4_close_layout() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &nfsd_mutex

fs/nfsd/nfs4layouts.c nfsd4_layout_fence_worker() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4layouts.c nfsd4_layout_fence_worker() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4proc.c nfsd4_clone() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->count.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_op->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->lease_gen 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_hash.pprev 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_data.nr_thps.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_security 0
PARAM_VALUE 0 nf->nf_file->lo_owner.so_count.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->buf 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->htt->pending_tx.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->mark_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->txmgmt_idr.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark.connector->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->entry.next s64max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.function 1626621062881370112
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.ucounts->entry.next s64max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.ucounts->ns->work.function 1626621062881370112
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.magic 0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->prime.lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_rcu.next 0
PARAM_VALUE 0 nf->nf_ref.refs.counter s32min-s32max
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *nf->nf_file->f_security (-4611686018427387904)-4611686018427387903
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_clone() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->count.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_op->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->lease_gen 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_hash.pprev 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_data.nr_thps.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_security 0
PARAM_VALUE 0 nf->nf_file->lo_owner.so_count.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->buf 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->htt->pending_tx.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->mark_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->txmgmt_idr.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark.connector->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->entry.next s64max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.function 1626621062881370112
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->htt.pending_tx.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.ucounts->entry.next s64max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.ucounts->ns->work.function 1626621062881370112
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.magic 0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->prime.lock.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_flags 0-4294967295
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->txmgmt_idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_rcu.next 0
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *nf->nf_file->f_security (-4611686018427387904)-4611686018427387903
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_commit() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_net 4096-ptr_max
PARAM_VALUE 0 nf->nf_net->gen 4096-ptr_max
CAPPED_DATA 0 nf->nf_net->gen 1
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_fallocate() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_get_dir_delegation() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_read_release() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_seek() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_verify_copy() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_verify_copy() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4proc.c nfsd4_write() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4proc.c release_copy_files() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4proc.c release_copy_files() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/filecache.c nfsd_file_do_acquire() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_cred 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 nf->nf_may 1
CAPPED_DATA 0 nf->nf_net 1
BIT_INFO 0 nf->nf_may 0x0,0x6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/filecache.c nfsd_file_do_acquire() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_cred 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 nf->nf_may 1
CAPPED_DATA 0 nf->nf_net 1
BIT_INFO 0 nf->nf_may 0x0,0x6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/filecache.c nfsd_file_put_local() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c __nfs4_file_put_access() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c __nfs4_file_put_access() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_check_file() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 nf r nfs4_find_file
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_delegation_stat() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 nf r find_writeable_file
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_free_lock_stateid() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.func 1-u64max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.next 0
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->security 0
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_security 0
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 *nf->nf_file->f_cred->user->uidhash_node.next->pprev 1-u64max
CAPPED_DATA 0 nf->nf_file 1
DATA_SOURCE 0 nf r find_any_file
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_get_vfs_file() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_set_delegation() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb->s_export_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb->s_export_op->flags 127
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_set_delegation() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb->s_export_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_add_rdaccess_to_wrdeleg() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_cb_notify_prepare() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4state.c nfsd4_cb_notify_prepare() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4state.c nfsd4_lock() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 nf->nf_file->f_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
NOCHECK_CALL
LOCK2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_locku() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb->s_export_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.mnt->mnt_sb->s_export_op->flags 0,127
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 nf r find_any_file
NOCHECK_CALL
LOCK2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd_test_lock() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL

fs/nfsd/nfs4state.c put_deleg_file() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c put_deleg_file() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/nfs4state.c revoke_ol_stid() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.func 1-u64max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.next 0
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->security 0
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_security 0
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 *nf->nf_file->f_cred->user->uidhash_node.next->pprev 1-u64max
CAPPED_DATA 0 nf->nf_file 1
DATA_SOURCE 0 nf r find_any_file
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &stp->st_mutex
LOCK2 global &nfsd_mutex
TYPE_LOCK (struct nfs4_ol_stateid)->st_mutex

fs/nfsd/nfs3proc.c nfsd3_proc_commit() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_net 4096-ptr_max
PARAM_VALUE 0 nf->nf_net->gen 4096-ptr_max
CAPPED_DATA 0 nf->nf_net->gen 1
NOCHECK_CALL

fs/nfsd/localio.c nfsd_open_local_fh() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 0,4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/localio.c nfsd_open_local_fh() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 0,4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_ref.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/localio.c nfsd_open_local_fh() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->count.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.func 1-u64max
PARAM_VALUE 0 nf->nf_file->f_cred->rcu.next 0
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_cred->ucounts->ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_cred->user_ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_cdev->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 nf->nf_file->f_op->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_fsdata->name 0-255
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->d_parent->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->lease_gen 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_hash.pprev 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_inode 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_rcu.func 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_rcu.next 0
PARAM_VALUE 0 nf->nf_file->f_path.dentry->waiters 0
PARAM_VALUE 0 nf->nf_file->f_security 0
PARAM_VALUE 0 nf->nf_file->lo_owner.so_count.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->mark_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark.connector->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.g_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->node.node.next 0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->node.node.prev 0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.flags 0-4294967295
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.is_hard 0-1
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.is_lazy 0-1
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.is_queued 0-1
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fanotify_data.ucounts->ns->work.is_soft 0-1
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fillargs.nsid 0-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->idx s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->count 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->nr_values 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->offset 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr.idr_rt.xa_head->shift 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.idr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->mark_mutex.magic 0
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->notification_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->notification_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->user_ns->work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.obj_list->next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
PARAM_VALUE 0 nf->nf_rcu.func 1-u64max
PARAM_VALUE 0 nf->nf_rcu.next 0
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *nf->nf_file->f_path.dentry->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfsd/vfs.c nfsd_read() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_op 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL

fs/nfsd/vfs.c nfsd_write() -> nfsd_file_put()

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 nf->nf_file->f_path->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_path.dentry->d_parent->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 nf->nf_may 0,2,4,6
NOCHECK_CALL