Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->flags 1-255
PARAM_VALUE 1 file 4096-ptr_max
DATA_SOURCE 0 pde r PDE
DATA_SOURCE 1 file $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 arg $2
USER_DATA 2 cmd 0-u32max
USER_DATA 3 arg 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PARAM_VALUE 0 pde->in_use.counter 0-s32max
PARAM_VALUE 1 file 4096-ptr_max
DATA_SOURCE 0 pde r PDE
DATA_SOURCE 1 file $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 arg $2
USER_DATA 2 cmd 0-u32max
USER_DATA 3 arg 0-u64max