Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/file.c fd_install() -> fd_install_slowpath()

Type Parameter Key Value
PARAM_VALUE 1 file 4096-ptr_max
BUF_SIZE 1 file (-1)-s32max
BUF_SIZE 1 file (-1)-s32max
BUF_SIZE 1 file->private_data s32min-(-1),1-s32max
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 file $1
BIT_INFO 1 file->f_mode 0x0,0xfeffffff
NOSPEC 0 fd
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fd 0-s32max[c]
USER_DATA 1 file->f_flags 0-18433,32768-51201,65538
USER_DATA 1 file->f_mode 33554432,34078720-571342855[c]
NO_OVERFLOW_SIMPLE 1 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 file->f_inode->i_size
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &dev_priv->cmdbuf_mutex
HALF_LOCKED2 &ne_pci_dev->enclaves_list_mutex
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &to_path.dentry->d_inode->i_rwsem
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 &u->iolock
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 &viommu->veventqs_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 sk