Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/proc/proc_net.c get_proc_net() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_size

fs/proc/proc_net.c seq_open_net() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/proc_net.c seq_open_net() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/proc_net.c seq_open_net() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/proc_net.c single_open_net() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/generic.c proc_get_parent_data() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0

fs/proc/generic.c proc_getattr() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &lo->lo_mutex

fs/proc/generic.c proc_lookup() -> PDE()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
BIT_INFO 0 inode->i_flags 0x0,0xffffffef
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
HALF_LOCKED2 0 &inode->i_rwsem

fs/proc/generic.c proc_misc_d_delete() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dentry->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
TYPE_LOCK (struct lockref)->lock

fs/proc/generic.c proc_misc_d_revalidate() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/proc/generic.c proc_readdir() -> PDE()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/proc/generic.c proc_seq_open() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/generic.c proc_seq_release() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_size

fs/proc/generic.c proc_setattr() -> PDE()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/proc/generic.c proc_simple_write() -> PDE()

Type Parameter Key Value

fs/proc/generic.c proc_single_open() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits

fs/proc/inode.c proc_get_link() -> PDE()

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

fs/proc/inode.c proc_reg_compat_ioctl() -> PDE()

Type Parameter Key Value

fs/proc/inode.c proc_reg_get_unmapped_area() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/proc/inode.c proc_reg_llseek() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/proc/inode.c proc_reg_mmap() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ipcp->lock

fs/proc/inode.c proc_reg_open() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_size

fs/proc/inode.c proc_reg_poll() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

fs/proc/inode.c proc_reg_read() -> PDE()

Type Parameter Key Value

fs/proc/inode.c proc_reg_read_iter() -> PDE()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/proc/inode.c proc_reg_release() -> PDE()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_size

fs/proc/inode.c proc_reg_unlocked_ioctl() -> PDE()

Type Parameter Key Value

fs/proc/inode.c proc_reg_write() -> PDE()

Type Parameter Key Value