Defined in 1 files as a member:

Referenced in 61 files:

Smatch caller information:

fs/debugfs/file.c full_proxy_open_regular() -> (struct file_operations)->open()

Type Parameter Key Value

fs/debugfs/file.c open_proxy_open() -> (struct file_operations)->open()

Type Parameter Key Value

sound/core/sound.c snd_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/usb/core/file.c usb_open() -> (struct file_operations)->open()

Type Parameter Key Value

fs/char_dev.c chrdev_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/char/misc.c misc_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/gpu/drm/drm_drv.c drm_stub_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/hwtracing/intel_th/core.c intel_th_output_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/gpu/drm/../../accel/drm_accel.c accel_stub_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/media/dvb-core/dvbdev.c dvb_device_open() -> (struct file_operations)->open()

Type Parameter Key Value

sound/sound_core.c soundcore_open() -> (struct file_operations)->open()

Type Parameter Key Value

drivers/char/mem.c memory_open() -> (struct file_operations)->open()

Type Parameter Key Value

fs/ceph/file.c ceph_init_file() -> (struct file_operations)->open()

Type Parameter Key Value

fs/open.c do_dentry_open() -> do_dentry_open param 1()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_fop 4096-ptr_max
PARAM_VALUE 0 inode->i_fop->owner 0,4096-ptr_max
PARAM_VALUE 0 inode->i_fop->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 inode->i_fop->owner->state 0-1,3-u32max
PARAM_VALUE 0 inode->i_mapping 4096-ptr_max
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_inode 4096-ptr_max
PARAM_VALUE 1 file->f_mapping 4096-ptr_max
PARAM_VALUE 1 file->f_mode 0,4-u32max
PARAM_VALUE 1 file->f_op 4096-ptr_max
PARAM_VALUE 1 file->f_op->owner 0,4096-ptr_max
PARAM_VALUE 1 file->f_path.dentry 4096-ptr_max
PARAM_VALUE 1 file->f_path.dentry->d_inode 4096-ptr_max
PARAM_VALUE 1 file->f_path.dentry->d_inode->i_fop->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 file->f_path.dentry->d_inode->i_fop->owner->state 0-1,3-u32max
PARAM_VALUE 1 file->f_path.dentry->d_sb 4096-ptr_max
PARAM_VALUE 1 *file->f_path.dentry->d_shortname.string 0-255
BUF_SIZE 1 file (-1)-s32max
BUF_SIZE 1 file (-1)-s32max
BUF_SIZE 1 file->__f_path.dentry (-1)-s32max
BUF_SIZE 1 file->private_data (-1),232
CAPPED_DATA 1 file->f_path.dentry 1
DATA_SOURCE 1 file $0
BIT_INFO 1 file->f_flags 0x0,0xffdfffff
BIT_INFO 1 file->f_mode 0x1c,0xffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 file->__f_path.dentry->__d_name.hash 0-u32max[c]
USER_DATA 1 file->f_flags 0-u32max
USER_DATA 1 file->f_mode 0,4-u32max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_size
NO_OVERFLOW_SIMPLE 1 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 file->f_inode->i_size
NO_OVERFLOW_SIMPLE 1 file->f_path.dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 1 file->f_path.moved->d_inode->i_size
USER_PTR 1 file->__f_path.dentry->__d_name.name