Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/namei.c dentry_create() -> fsnotify_open()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry (-1)
PARAM_VALUE 0 file->__f_path.mnt 4096-ptr_max
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 32832-32834,32960-32962
PARAM_VALUE 0 file->f_inode 0
PARAM_VALUE 0 file->f_iocb_flags 0
PARAM_VALUE 0 file->f_mapping 0
PARAM_VALUE 0 file->f_mode 67108864-67108867
PARAM_VALUE 0 file->f_op 0
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
CAPPED_DATA 0 file->f_cred 1
DATA_SOURCE 0 file r alloc_empty_file
BIT_INFO 0 file->f_flags 0x8040,0x80c3
BIT_INFO 0 file->f_mode 0x80000,0x7ffffff
NOCHECK_CALL
HALF_LOCKED2 &orig_dentry->d_lockref.lock

fs/namei.c lookup_open() -> fsnotify_open()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 0,(-1)
PARAM_VALUE 0 file->__f_path.mnt 0,4096-ptr_max
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_inode 0
PARAM_VALUE 0 file->f_iocb_flags 0
PARAM_VALUE 0 file->f_mapping 0
PARAM_VALUE 0 file->f_op 0
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
CAPPED_DATA 0 file->f_cred 1
DATA_SOURCE 0 file $1
BIT_INFO 0 file->f_mode 0x80000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 0,1048576,67108864-67108867,68157440-68157443[c]
LOCK2 &dir_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
TYPE_LOCK (struct inode)->i_rwsem

fs/namei.c vfs_tmpfile() -> fsnotify_open()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->__d_name.name 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_fsdata 0,4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_hash.next 0
PARAM_VALUE 0 file->__f_path.dentry->d_hash.pprev 0
PARAM_VALUE 0 file->__f_path.dentry->d_inode 0
PARAM_VALUE 0 file->__f_path.dentry->d_lockref.count 1
PARAM_VALUE 0 file->__f_path.dentry->d_lru.next 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_lru.prev 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_op 0,4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_parent 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->d_sib.pprev 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry->waiters 0
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_inode 0
PARAM_VALUE 0 file->f_iocb_flags 0
PARAM_VALUE 0 file->f_mapping 0
PARAM_VALUE 0 file->f_mode 67108864-67108867,603979776-603979779,620756992-620756995
PARAM_VALUE 0 file->f_op 0
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
BUF_SIZE 0 file (-1),376
BUF_SIZE 0 file (-1),376
CAPPED_DATA 0 file->f_cred 1
DATA_SOURCE 0 file $2
BIT_INFO 0 file->f_mode 0x80000,0x3fffffff
TERMINATED 0 file->__f_path.dentry->__d_name.name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 67108864-67108867,620756992-620756995[c]
HALF_LOCKED2 &child->d_lockref.lock

fs/open.c vfs_open() -> fsnotify_open()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,131072-u32max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->owner 0,4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode 4096-ptr_max
BUF_SIZE 0 file (-1),376
BUF_SIZE 0 file (-1),376
CAPPED_DATA 0 file->f_path.dentry 1
DATA_SOURCE 0 file $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 0,131072-u32max
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_size