Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/base.c timens_offsets_write() -> proc_timens_set_offset()

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 p 4096-ptr_max
PARAM_VALUE 2 offsets 4096-ptr_max
PARAM_VALUE 3 noffsets 1-s32max
BUF_SIZE 2 offsets 48
DATA_SOURCE 0 file $0
DATA_SOURCE 1 p r get_proc_task
FUZZY_MAX 3 noffsets 2
BIT_INFO 0 file->f_mode 0x40002,0xffffffffffffffff
UNITS 3 noffsets unit_array_size