Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/proc.c irq_affinity_list_proc_write() -> write_irq_affinity()

Type Parameter Key Value
PARAM_VALUE 0 type 1
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_op 4096-ptr_max
PARAM_VALUE 1 file->f_op->write 1-u64max
PARAM_VALUE 3 count 0-1000000000,2147479552
PARAM_VALUE 4 *pos 0-1000000000
BUF_SIZE 4 pos (-1),8
BUF_SIZE 4 pos (-1),8
DATA_SOURCE 1 file $0
DATA_SOURCE 2 buffer $1
DATA_SOURCE 3 count $2
DATA_SOURCE 4 pos $3
FUZZY_MAX 3 count 2147479552
BIT_INFO 1 file->f_mode 0x40002,0xffffffffffffffff
USER_DATA 2 buffer 0-u64max[c]
USER_DATA 3 count 0-1000000000
USER_DATA 4 *pos 0-1000000000
USER_PTR 4 pos

kernel/irq/proc.c irq_affinity_proc_write() -> write_irq_affinity()

Type Parameter Key Value
PARAM_VALUE 0 type 0
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_op 4096-ptr_max
PARAM_VALUE 1 file->f_op->write 1-u64max
PARAM_VALUE 3 count 0-1000000000,2147479552
PARAM_VALUE 4 *pos 0-1000000000
BUF_SIZE 4 pos (-1),8
BUF_SIZE 4 pos (-1),8
DATA_SOURCE 1 file $0
DATA_SOURCE 2 buffer $1
DATA_SOURCE 3 count $2
DATA_SOURCE 4 pos $3
FUZZY_MAX 3 count 2147479552
BIT_INFO 1 file->f_mode 0x40002,0xffffffffffffffff
USER_DATA 2 buffer 0-u64max[c]
USER_DATA 3 count 0-1000000000
USER_DATA 4 *pos 0-1000000000
USER_PTR 4 pos