Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/sysfs/file.c sysfs_kf_bin_write() -> (struct bin_attribute)->write()

Type Parameter Key Value
PARAM_VALUE 0 filp 4096-ptr_max
PARAM_VALUE 2 a 4096-ptr_max
PARAM_VALUE 2 a->write 1-u64max
PARAM_VALUE 3 src 4096-ptr_max
PARAM_VALUE 5 src_size 1-4096
BUF_SIZE 1 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 1 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 2 a 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 2 a 40,136,480,696,928,1128,1160,1392,1624,1848,8192
CAPPED_DATA 5 src_size 1
CAPPED_DATA 5 src_size 1
DATA_SOURCE 1 kobj r sysfs_file_kobj
DATA_SOURCE 3 src $1
DATA_SOURCE 4 src_off $3
DATA_SOURCE 5 src_size $2 [m]
CONTAINER 2 -72+0 $(-1)
BIT_INFO 5 src_size 0x0,0x3fffffff
BIT_INFO 5 src_size 0x0,0x3fffffff
NOSPEC 5 src_size
NOSPEC 5 src_size
TERMINATED 3 src 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 src_off 0-4095
USER_DATA 5 src_size 1-4096
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex