Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

fs/nfs/inode.c nfs_file_clear_open_context() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp->private_data (-1),26
CAPPED_DATA 0 filp 1
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_ino
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_linklen
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_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/delegation.c nfs_delegation_claim_locks() -> nfs_file_open_context()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 filp unit_byte
LOCK2 &flctx->flc_lock
LOCK2 &nfsi->rwsem
LOCK2 &sp->so_delegreturn_mutex
HALF_LOCKED2 &inode->i_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct file_lock_context)->flc_lock
TYPE_LOCK (struct nfs4_state_owner)->so_delegreturn_mutex
TYPE_LOCK (struct nfs_inode)->rwsem

fs/nfs/nfs3proc.c nfs3_proc_lock() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp->private_data (-1),26
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs3proc.c nfs_file_cred() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 1-u64max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_lockref.lock

fs/nfs/fscache.c nfs_netfs_init_request() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min-(-1),1-s32max
BUF_SIZE 0 filp s32min-(-1),1-s32max
DATA_SOURCE 0 filp $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 filp->f_inode->i_blocks 0-5859375[c]
USER_DATA 0 filp->f_ra.prev_pos s64min-(-9223372036854743042),0-s64max[c]
NO_OVERFLOW_SIMPLE 0 filp->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/direct.c nfs_file_direct_read() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

fs/nfs/direct.c nfs_file_direct_write() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

fs/nfs/file.c do_unlk() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp (-1)-s32max
BUF_SIZE 0 filp->private_data (-1),26
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
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_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/file.c nfs_write_end() -> nfs_file_open_context()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/nfs42proc.c _nfs42_proc_copy_notify() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),376
BUF_SIZE 0 filp (-1),376
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_inode->i_size 1
DATA_SOURCE 0 filp $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs42proc.c _nfs42_proc_copy_notify() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),376
BUF_SIZE 0 filp (-1),376
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_inode->i_size 1
DATA_SOURCE 0 filp $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs42proc.c _nfs42_proc_offload_status() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_op->copy_file_range 1
DATA_SOURCE 0 filp $1
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
HALF_LOCKED2 &inode_out->i_rwsem
HALF_LOCKED2 &pool->lock

fs/nfs/nfs42proc.c handle_async_copy() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_op->copy_file_range 1
DATA_SOURCE 0 filp $4
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode_out->i_rwsem

fs/nfs/nfs42proc.c handle_async_copy() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_inode->i_size 1
DATA_SOURCE 0 filp $3
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode_out->i_rwsem

fs/nfs/nfs42proc.c nfs42_do_offload_cancel_async() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
DATA_SOURCE 0 filp $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs42proc.c nfs42_proc_clone() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs42proc.c nfs42_proc_clone() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
DATA_SOURCE 0 filp $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs42proc.c nfs42_proc_copy() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_inode->i_size 1
DATA_SOURCE 0 filp $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &pool->lock

fs/nfs/nfs42proc.c nfs42_proc_copy() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
CAPPED_DATA 0 filp->f_inode 1
CAPPED_DATA 0 filp->f_op->copy_file_range 1
DATA_SOURCE 0 filp $2
RX_PATH
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &pool->lock

fs/nfs/nfs42proc.c nfs42_proc_fallocate() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
DATA_SOURCE 0 filp $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 filp->f_flags 0-u32max
USER_DATA 0 filp->f_mode 33554432-u32max
USER_DATA 0 filp->f_path.dentry->d_inode->i_mode 0-u16max
USER_DATA 0 filp->f_path.dentry->d_inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/nfs/nfs42proc.c nfs42_proc_llseek() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs4file.c __nfs42_ssc_close() -> nfs_file_open_context()

Type Parameter Key Value
DATA_SOURCE 0 filp $0

fs/lockd/clntproc.c nfs_file_cred() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 1-u64max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 filp unit_byte
HALF_LOCKED2 &host->h_rwsem

fs/nfs/read.c nfs_do_read_folio() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp s32min-(-1),1-s32max
BUF_SIZE 0 filp s32min-(-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 filp->f_inode->i_blocks 0-36028797018963967[c]
USER_DATA 0 filp->f_ra.prev_pos s64min-(-9223372036854743042),0-s64max[c]

fs/nfs/read.c nfs_readahead() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 1-u64max
BUF_SIZE 0 filp s32min-(-1),1-s32max
BUF_SIZE 0 filp s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/nfs/nfs4proc.c _nfs4_do_setlk() -> nfs_file_open_context()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 filp unit_byte
HALF_LOCKED2 &nfsi->rwsem
HALF_LOCKED2 &sp->so_delegreturn_mutex

fs/nfs/nfs4proc.c nfs4_proc_lock() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp (-1),1-s32max
BUF_SIZE 0 filp->private_data (-1),26
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 filp->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 filp->f_path.moved->d_inode->i_size

fs/nfs/nfs4proc.c nfs4_proc_setattr() -> nfs_file_open_context()

Type Parameter Key Value
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/nfs4proc.c nfs4_proc_unlck() -> nfs_file_open_context()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 filp unit_byte

fs/nfs/write.c nfs_flush_incompatible() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/write.c nfs_key_timeout_notify() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/nfs/write.c nfs_update_folio() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/proc.c nfs_file_cred() -> nfs_file_open_context()

Type Parameter Key Value
PARAM_VALUE 0 filp 1-u64max
BUF_SIZE 0 filp s32min,(-1),1-s32max
BUF_SIZE 0 filp s32min,(-1),1-s32max
DATA_SOURCE 0 filp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/nfs4state.c nfs4_reclaim_locks() -> nfs_file_open_context()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
UNITS 0 filp unit_byte
LOCK2 &flctx->flc_lock
LOCK2 &nfsi->rwsem
TYPE_LOCK (struct file_lock_context)->flc_lock
TYPE_LOCK (struct nfs_inode)->rwsem