Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/mtd/mtdconcat.c concat_writev() -> mtd_writev()

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 0 mtd->size 1-u64max
PARAM_VALUE 1 vecs 4096-ptr_max
PARAM_VALUE 3 to s64min-(-2),0-s64max
PARAM_VALUE 4 retlen 424444652153995264
CAPPED_DATA 3 to 1
CAPPED_DATA 3 to 1
DATA_SOURCE 3 to $3 [m]
PARAM_COMPARE 0 mtd->size > $3
PARAM_COMPARE 3 to < $0->size
RX_PATH
TASK_NOT_RUNNING
UNITS 3 to unit_byte

fs/jffs2/writev.c jffs2_flash_direct_writev() -> mtd_writev()

Type Parameter Key Value
PARAM_VALUE 1 vecs 4096-ptr_max
PARAM_VALUE 2 count 1-2
PARAM_VALUE 4 retlen 324292679055605760,777189798100742144,1315719706755383296,3427118794496053248,3729217507808899072
BUF_SIZE 1 vecs (-1),32
BUF_SIZE 1 vecs (-1),32
DATA_SOURCE 1 vecs $1
DATA_SOURCE 2 count $2
DATA_SOURCE 3 to $3
DATA_SOURCE 4 retlen $4
FUZZY_MAX 2 count 2
HARD_MAX 2 count 2
RX_PATH
TASK_NOT_RUNNING
UNITS 3 to unit_byte
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
HALF_LOCKED2 &c->xattr_sem