Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_cred 0,4096-ptr_max
PARAM_VALUE 0 nf->nf_file 4096-ptr_max
PARAM_VALUE 0 nf->nf_file->f_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_iocb_flags 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_mode 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_pos_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 nf->nf_file->f_ra.async_size 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_ra.mmap_miss 0-u16max
PARAM_VALUE 0 nf->nf_file->f_ra.order 0-u16max
PARAM_VALUE 0 nf->nf_file->f_ra.ra_pages 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_ra.size 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_sb_err 0-4294967295
PARAM_VALUE 0 nf->nf_file->f_wb_err 0-4294967295
PARAM_VALUE 0 nf->nf_may 0,2,4,6
CAPPED_DATA 0 nf->nf_may 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 nf 4096-ptr_max
PARAM_VALUE 0 nf->nf_file 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_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nf->nf_file->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
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_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->mnt_sb->s_export_op->flags 0,127
PARAM_VALUE 0 nf->nf_mark 0,4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark->group->buf 0-255
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.g_list.next->prev 4096-ptr_max
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.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->fillargs.nsid 0-s32max
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->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->inotify_data.ucounts->ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 nf->nf_mark->nfm_mark.group->inotify_data.ucounts->ns->work.entry.next->prev 4096-ptr_max
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->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.next 5159360019465732096
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->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->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_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
DATA_SOURCE 0 nf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nf->nf_file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 nf->nf_file->f_path.moved->d_inode->i_size