nfs_file_set_open_context identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/nfs_fs.h, line 457 (as a prototype)

Defined in 1 files as a function:

fs/nfs/inode.c, line 1280 (as a function)

Referenced in 3 files:

Smatch caller information:

fs/nfs/inode.c nfs_open() -> nfs_file_set_open_context()

Type	Parameter	Key	Value
PARAM_VALUE	0	filp	4096-ptr_max
PARAM_VALUE	0	filp->f_cred	0,4096-ptr_max
PARAM_VALUE	0	filp->f_cred->non_rcu	0
PARAM_VALUE	0	filp->f_path.dentry	4096-ptr_max
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	1	ctx	4096-ptr_max
PARAM_VALUE	1	ctx->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->error	0
PARAM_VALUE	1	ctx->flags	0
PARAM_VALUE	1	ctx->flock_owner	4096-ptr_max
PARAM_VALUE	1	ctx->list.next	4096-ptr_max
PARAM_VALUE	1	ctx->list.next->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->prev	4096-ptr_max
PARAM_VALUE	1	ctx->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.count.refs.counter	1
PARAM_VALUE	1	ctx->lock_context.io_count.counter	0
PARAM_VALUE	1	ctx->lock_context.open_context	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->error	0
PARAM_VALUE	1	ctx->lock_context.open_context->flags	0
PARAM_VALUE	1	ctx->lock_context.open_context->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.open_context->mode	0-3,32-35
PARAM_VALUE	1	ctx->lock_context.open_context->state	0
PARAM_VALUE	1	ctx->mdsthreshold	0
PARAM_VALUE	1	ctx->mode	0-3,32-35
PARAM_VALUE	1	ctx->nfl.nfs_uuid	0
PARAM_VALUE	1	ctx->nfl.ro_file	0
PARAM_VALUE	1	ctx->nfl.rw_file	0
PARAM_VALUE	1	ctx->state	0
BUF_SIZE	0	filp	(-1)-s32max
BUF_SIZE	0	filp	(-1)-s32max
BUF_SIZE	0	filp->__f_path.dentry	(-1)-s32max
BUF_SIZE	0	filp->private_data	(-1),232
BUF_SIZE	1	ctx	200
BUF_SIZE	1	ctx->flock_owner	(-1)-s32max
DATA_SOURCE	0	filp	$1
DATA_SOURCE	1	ctx	r alloc_nfs_open_context
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	filp->__f_path.dentry->__d_name.hash	0-u32max[c]
USER_DATA	0	filp->f_flags	0-u32max
USER_DATA	0	filp->f_mode	0,4-u32max[c]
USER_DATA	1	ctx->dentry->__d_name.hash	0-u32max[c]
USER_DATA	1	ctx->dentry->d_name->name	0-255
USER_DATA	1	ctx->dentry->d_parent->__d_name.hash	0-u32max[c]
USER_DATA	1	ctx->dentry->d_sb->s_flags	0-u64max[c]
USER_DATA	1	ctx->lock_context.open_context->mode	0-3,32-35[c]
USER_DATA	1	ctx->mode	0-3,32-35[c]
USER_DATA	1	*ctx->dentry->__d_name.name	0-255
USER_DATA	1	*ctx->dentry->d_parent->__d_name.name	0-255
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE	0	filp->f_path.dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	filp->f_path.moved->d_inode->i_size
USER_PTR	0	filp->__f_path.dentry->__d_name.name
USER_PTR	1	ctx->dentry->__d_name.name

fs/nfs/nfs4file.c __nfs42_ssc_open() -> nfs_file_set_open_context()

Type	Parameter	Key	Value
PARAM_VALUE	0	filp	4096-ptr_max
PARAM_VALUE	0	filp->__f_path.dentry	4096-ptr_max
PARAM_VALUE	0	filp->__f_path.mnt	0
PARAM_VALUE	0	filp->f_cred	0,4096-ptr_max
PARAM_VALUE	0	filp->f_cred->non_rcu	0
PARAM_VALUE	0	filp->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	filp->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	filp->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	filp->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	filp->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	filp->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	filp->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	filp->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	filp->f_ep	0
PARAM_VALUE	0	filp->f_flags	0-18433,32770
PARAM_VALUE	0	filp->f_inode	4096-ptr_max
PARAM_VALUE	0	filp->f_iocb_flags	0,2,16,18,131072,131074,131088,131090
PARAM_VALUE	0	filp->f_mapping	4096-ptr_max
PARAM_VALUE	0	filp->f_mode	33554432,34078720-571342855
PARAM_VALUE	0	filp->f_op	4096-ptr_max
PARAM_VALUE	0	filp->f_owner	0
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_fs_info->active.counter	s32min-s32max
PARAM_VALUE	0	filp->f_pos	0
PARAM_VALUE	0	filp->f_pos_lock.dep_map->name	0-255
PARAM_VALUE	0	filp->f_pos_lock.first_waiter	0
PARAM_VALUE	0	filp->f_pos_lock.magic	4096-ptr_max
PARAM_VALUE	0	filp->f_pos_lock.osq.tail.counter	0
PARAM_VALUE	0	filp->f_pos_lock.owner.counter	0
PARAM_VALUE	0	filp->f_ra.async_size	0
PARAM_VALUE	0	filp->f_ra.mmap_miss	0
PARAM_VALUE	0	filp->f_ra.order	0
PARAM_VALUE	0	filp->f_ra.prev_pos	0
PARAM_VALUE	0	filp->f_ra.ra_pages	0
PARAM_VALUE	0	filp->f_ra.size	0
PARAM_VALUE	0	filp->f_ra.start	0
PARAM_VALUE	0	filp->f_ref.refcnt.counter	0
PARAM_VALUE	0	filp->f_sb_err	0
PARAM_VALUE	0	filp->f_wb_err	0
PARAM_VALUE	0	filp->private_data	0
PARAM_VALUE	1	ctx	4096-ptr_max
PARAM_VALUE	1	ctx->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->cred->non_rcu	0
PARAM_VALUE	1	ctx->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->error	0
PARAM_VALUE	1	ctx->flags	0
PARAM_VALUE	1	ctx->flock_owner	4096-ptr_max
PARAM_VALUE	1	ctx->list.next	4096-ptr_max
PARAM_VALUE	1	ctx->list.next->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->prev	4096-ptr_max
PARAM_VALUE	1	ctx->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.count.refs.counter	1
PARAM_VALUE	1	ctx->lock_context.io_count.counter	0
PARAM_VALUE	1	ctx->lock_context.open_context	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->error	0
PARAM_VALUE	1	ctx->lock_context.open_context->flags	0
PARAM_VALUE	1	ctx->lock_context.open_context->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.open_context->mode	0-3,32-35
PARAM_VALUE	1	ctx->lock_context.open_context->state	0
PARAM_VALUE	1	ctx->mdsthreshold	0
PARAM_VALUE	1	ctx->mode	0-3,32-35
PARAM_VALUE	1	ctx->nfl.nfs_uuid	0
PARAM_VALUE	1	ctx->nfl.ro_file	0
PARAM_VALUE	1	ctx->nfl.rw_file	0
PARAM_VALUE	1	ctx->state	4096-ptr_max
PARAM_VALUE	1	ctx->state->count.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	1	ctx->state->inode	4096-ptr_max
PARAM_VALUE	1	ctx->state->inode->i_sb	4096-ptr_max
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info	4096-ptr_max
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_cons_state	s32min-s32max
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter	s32min-s32max
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_exchange_flags	0-4294967295
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead	0-1
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr	0-255
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority	0-255
PARAM_VALUE	1	ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_slot_tbl->max_slots	0-4294967295
PARAM_VALUE	1	ctx->state->owner	4096-ptr_max
PARAM_VALUE	1	ctx->state->owner->so_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	*ctx->state->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security	(-4611686018427387904)-4611686018427387903
BUF_SIZE	1	ctx	200
BUF_SIZE	1	ctx->state	(-1),448
CAPPED_DATA	0	filp->f_cred	1
DATA_SOURCE	0	filp	r alloc_file_pseudo
DATA_SOURCE	1	ctx	r alloc_nfs_open_context
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_size
NO_OVERFLOW_SIMPLE	1	ctx->state->inode->i_size

fs/nfs/nfs4file.c nfs4_file_open() -> nfs_file_set_open_context()

Type	Parameter	Key	Value
PARAM_VALUE	0	filp	4096-ptr_max
PARAM_VALUE	0	filp->f_cred	0,4096-ptr_max
PARAM_VALUE	0	filp->f_cred->non_rcu	0
PARAM_VALUE	0	filp->f_path.dentry	4096-ptr_max
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	filp->f_path.dentry->d_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	1	ctx	4096-ptr_max
PARAM_VALUE	1	ctx->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_default_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->id	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->work.flags	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->work.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->gc_task->signal->flags	0,2-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->bad_count	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->dirty_size	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->free_size	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->offset	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->used_size	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nextblock->wasted_size	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->bitmap_size	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->max_nid	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_blkaddr	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_blocks	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->next_scan_nid	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->ra_nid_pages	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->ram_thresh	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sb->s_bdev->bd_dev	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sb->s_bdev->bd_holders	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sb->s_bdev->bd_writers	s32min-s32max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->ipu_policy	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->main_blkaddr	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->main_segments	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->min_ipu_util	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->ovp_segments	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->seg0_blkaddr	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->segment_count	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->sm_info->ssa_blkaddr	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->xa_cache.ht->tbl->nest	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_sb->s_fs_info->xa_cache.ht->tbl->size	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_security->flags	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_security->is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_security->is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_security->is_soft	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	1	ctx->error	0
PARAM_VALUE	1	ctx->flags	0
PARAM_VALUE	1	ctx->flock_owner	4096-ptr_max
PARAM_VALUE	1	ctx->list.next->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->next	4096-ptr_max
PARAM_VALUE	1	ctx->list.prev->prev	4096-ptr_max
PARAM_VALUE	1	ctx->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.io_count.counter	0
PARAM_VALUE	1	ctx->lock_context.open_context	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->cred	0,4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->lock_context.open_context->error	0
PARAM_VALUE	1	ctx->lock_context.open_context->flags	0
PARAM_VALUE	1	ctx->lock_context.open_context->ll_cred	0
PARAM_VALUE	1	ctx->lock_context.open_context->mode	0-3,32-35
PARAM_VALUE	1	ctx->lock_context.open_context->state	0
PARAM_VALUE	1	ctx->mode	0-3,32-35
PARAM_VALUE	1	ctx->nfl.nfs_uuid	0
PARAM_VALUE	1	ctx->nfl.ro_file	0
PARAM_VALUE	1	ctx->nfl.rw_file	0
PARAM_VALUE	1	ctx->state->inode	4096-ptr_max
PARAM_VALUE	1	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->state->inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	1	ctx->state->owner	4096-ptr_max
BUF_SIZE	0	filp	(-1)-s32max
BUF_SIZE	0	filp	(-1)-s32max
BUF_SIZE	0	filp->__f_path.dentry	(-1),1-s32max
BUF_SIZE	0	filp->private_data	(-1),232
BUF_SIZE	1	ctx	200
BUF_SIZE	1	ctx->flock_owner	(-1)-s32max
DATA_SOURCE	0	filp	$1
DATA_SOURCE	1	ctx	r alloc_nfs_open_context
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	filp->__f_path.dentry->__d_name.hash	0-u32max[c]
USER_DATA	0	filp->f_flags	0-u32max
USER_DATA	0	filp->f_mode	0,4-u32max
USER_DATA	1	ctx->dentry->__d_name.hash	0-u32max[c]
USER_DATA	1	ctx->dentry->d_name->name	0-255
USER_DATA	1	ctx->dentry->d_parent->__d_name.hash	0-u32max[c]
USER_DATA	1	ctx->dentry->d_sb->s_flags	0-u64max[c]
USER_DATA	1	ctx->lock_context.open_context->mode	0-3,32-35[c]
USER_DATA	1	ctx->mode	0-3,32-35[c]
USER_DATA	1	ctx->state->state	0-u32max[c]
USER_DATA	1	*ctx->dentry->__d_name.name	0-255
USER_DATA	1	*ctx->dentry->d_parent->__d_name.name	0-255
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_size
NO_OVERFLOW_SIMPLE	0	filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE	0	filp->f_path.dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE	0	filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	filp->f_path.moved->d_inode->i_size
USER_PTR	0	filp->__f_path.dentry->__d_name.name
USER_PTR	1	ctx->dentry->__d_name.name

fs/nfs/dir.c nfs_finish_open() -> nfs_file_set_open_context()

Type	Parameter	Key	Value
PARAM_VALUE	0	filp	4096-ptr_max
PARAM_VALUE	0	filp->__f_path.dentry	4096-ptr_max
PARAM_VALUE	0	filp->f_cred	0,4096-ptr_max
PARAM_VALUE	0	filp->f_cred->non_rcu	0
PARAM_VALUE	0	filp->f_inode	4096-ptr_max
PARAM_VALUE	0	filp->f_inode->i_writecount.counter	0-s32max
PARAM_VALUE	0	filp->f_iocb_flags	0,2,4,6,16,18,20,22,131072,131074,131076,131078,131088,131090,131092,131094
PARAM_VALUE	0	filp->f_mapping	4096-ptr_max
PARAM_VALUE	0	filp->f_mode	0,131072-u32max
PARAM_VALUE	0	filp->f_op	4096-ptr_max
PARAM_VALUE	0	filp->f_op->check_flags	0
PARAM_VALUE	0	filp->f_op->compat_ioctl	0
PARAM_VALUE	0	filp->f_op->copy_file_range	0
PARAM_VALUE	0	filp->f_op->fadvise	0
PARAM_VALUE	0	filp->f_op->fallocate	0
PARAM_VALUE	0	filp->f_op->fasync	0
PARAM_VALUE	0	filp->f_op->flock	0
PARAM_VALUE	0	filp->f_op->flush	0
PARAM_VALUE	0	filp->f_op->fop_flags	0
PARAM_VALUE	0	filp->f_op->fsync	0
PARAM_VALUE	0	filp->f_op->get_unmapped_area	0
PARAM_VALUE	0	filp->f_op->iopoll	0
PARAM_VALUE	0	filp->f_op->iterate_shared	0
PARAM_VALUE	0	filp->f_op->llseek	0
PARAM_VALUE	0	filp->f_op->lock	0
PARAM_VALUE	0	filp->f_op->mmap	0
PARAM_VALUE	0	filp->f_op->mmap_prepare	0
PARAM_VALUE	0	filp->f_op->open	0
PARAM_VALUE	0	filp->f_op->owner	0,4096-ptr_max
PARAM_VALUE	0	filp->f_op->poll	0
PARAM_VALUE	0	filp->f_op->read	0
PARAM_VALUE	0	filp->f_op->read_iter	0
PARAM_VALUE	0	filp->f_op->release	0
PARAM_VALUE	0	filp->f_op->remap_file_range	0
PARAM_VALUE	0	filp->f_op->setlease	0
PARAM_VALUE	0	filp->f_op->show_fdinfo	0
PARAM_VALUE	0	filp->f_op->splice_eof	0
PARAM_VALUE	0	filp->f_op->splice_read	0
PARAM_VALUE	0	filp->f_op->splice_write	0
PARAM_VALUE	0	filp->f_op->unlocked_ioctl	0
PARAM_VALUE	0	filp->f_op->uring_cmd	0
PARAM_VALUE	0	filp->f_op->uring_cmd_iopoll	0
PARAM_VALUE	0	filp->f_op->write	0
PARAM_VALUE	0	filp->f_op->write_iter	0
PARAM_VALUE	0	filp->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	filp->f_path.dentry->d_inode	4096-ptr_max
PARAM_VALUE	0	filp->f_path.dentry->d_inode->i_fop->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_alias->next->pprev	1-u64max
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_hash.next->pprev	4096-ptr_max
PARAM_VALUE	0	filp->f_path.dentry->d_parent->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	filp->f_ra.prev_pos	(-1)
PARAM_VALUE	0	*filp->f_path.dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*filp->f_path.dentry->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*filp->f_path.dentry->d_parent->d_inode->i_sb->s_fs_info->s_first_error_func	0-255
PARAM_VALUE	0	*filp->f_path.dentry->d_parent->d_inode->i_sb->s_fs_info->s_last_error_func	0-255
PARAM_VALUE	1	ctx	4096-ptr_max
PARAM_VALUE	1	ctx->dentry	4096-ptr_max
PARAM_VALUE	1	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	1	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	1	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ctx->state->inode->i_sb->s_umount.first_waiter->type	0-1
BUF_SIZE	1	ctx	200
DATA_SOURCE	0	filp	$2
DATA_SOURCE	1	ctx	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	filp->f_inode->i_blkbits