Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/sysfs/file.c sysfs_kf_write() -> (struct sysfs_ops)->store()

Type Parameter Key Value
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 count 1-1000000000
BUF_SIZE 0 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 0 kobj 40,136,480,696,928,1128,1160,1392,1624,1848,8192
BUF_SIZE 1 attr 40,136,480,696,928,1128,1160,1392,1624,1848,8192
CAPPED_DATA 3 count 1
CAPPED_DATA 3 count 1
DATA_SOURCE 0 kobj r sysfs_file_kobj
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 count $2
NOSPEC 3 count
TERMINATED 2 buf 1
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 2 ==buf3 8052
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex