Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/generic.c proc_simple_write() -> (struct proc_dir_entry)->write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->write 1-u64max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 size 1-4095
BUF_SIZE 1 buf 1-1000000001,2147479553
BUF_SIZE 1 buf 1-1000000001,2147479553
DATA_SOURCE 0 file $0
DATA_SOURCE 1 buf r memdup_user_nul
DATA_SOURCE 2 size $2
FUZZY_MAX 2 size 4095
BIT_INFO 0 file->f_mode 0x40002,0xffffffffffffffff
TERMINATED 1 buf 1
HARD_MAX 2 size 4095
USER_DATA 1 *buf 0-255
USER_DATA 2 size 1-4095
USER_PTR 1 buf