Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ipcp->lock

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
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() -> use_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
DATA_SOURCE 0 pde r PDE