nfs_inode_attach_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 456 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 2 files:

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->dentry	4096-ptr_max
PARAM_VALUE	0	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	0	ctx->list.next	4096-ptr_max
PARAM_VALUE	0	ctx->lock_context.count.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->state->inode->i_sb->s_umount.first_waiter->type	0-1
BUF_SIZE	0	ctx	200
BUF_SIZE	0	ctx->flock_owner	(-1)-s32max
BUF_SIZE	0	ctx->state	(-1),448
CAPPED_DATA	0	&ctx->list	1
DATA_SOURCE	0	ctx	$1
PARAM_COMPARE	0	&ctx->list	== $0->list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ctx->dentry->__d_name.hash	0-u32max[c]
USER_DATA	0	ctx->dentry->d_name->name	0-255
USER_DATA	0	ctx->dentry->d_parent->__d_name.hash	0-u32max[c]
USER_DATA	0	ctx->dentry->d_sb->s_flags	0-u64max[c]
USER_DATA	0	ctx->lock_context.open_context->mode	0-3,32-35[c]
USER_DATA	0	ctx->mode	0-3,32-35[c]
USER_DATA	0	*ctx->dentry->__d_name.name	0-255
USER_DATA	0	*ctx->dentry->d_parent->__d_name.name	0-255
NO_OVERFLOW_SIMPLE	0	ctx->state->inode->i_bytes
NO_OVERFLOW_SIMPLE	0	ctx->state->inode->i_size
USER_PTR	0	ctx->dentry->__d_name.name

fs/nfs/nfs4proc.c _nfs4_open_and_get_state() -> nfs_inode_attach_open_context()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->cred->non_rcu	0
PARAM_VALUE	0	ctx->dentry	4096-ptr_max
PARAM_VALUE	0	ctx->dentry->d_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	0	ctx->dentry->d_parent->d_alias->next->pprev	1-u64max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	ctx->dentry->d_parent->d_hash.next->pprev	4096-ptr_max
PARAM_VALUE	0	ctx->dentry->d_parent->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctx->dentry->d_parent->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctx->dentry->d_parent->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	ctx->dentry->d_sb->s_fs_info->active.counter	s32min-s32max
PARAM_VALUE	0	ctx->lock_context.count.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	ctx->state	4096-ptr_max
PARAM_VALUE	0	ctx->state->inode	4096-ptr_max
PARAM_VALUE	0	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ctx->state->inode->i_sb->s_umount.first_waiter->type	0-1
PARAM_VALUE	0	ctx->state->open_states.next	4096-ptr_max
PARAM_VALUE	0	ctx->state->owner	4096-ptr_max
PARAM_VALUE	0	*ctx->dentry->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	*ctx->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name	0-255
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf	0-255
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*ctx->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev	4096-ptr_max
BUF_SIZE	0	ctx->flock_owner	(-1),1-s32max
BUF_SIZE	0	ctx->state	(-1),1-s32max
DATA_SOURCE	0	ctx	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ctx->dentry->__d_name.hash	0-u32max[c]
USER_DATA	0	ctx->dentry->d_sb->s_flags	0-u64max[c]
USER_DATA	0	ctx->lock_context.open_context->mode	0-3,32-35[c]
USER_DATA	0	ctx->mode	0-3,32-35[c]
USER_DATA	0	ctx->state->state	0-u32max[c]
USER_DATA	0	*ctx->dentry->__d_name.name	0-255
USER_DATA	0	*ctx->dentry->d_parent->__d_name.name	0-255
USER_PTR	0	ctx->dentry->__d_name.name
HALF_LOCKED2	0	&ctx->dentry->d_lockref.lock