Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/read_write.c do_pwritev() -> vfs_writev()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 *pos 0-s64max
DATA_SOURCE 1 vec $1
DATA_SOURCE 2 vlen $2
DATA_SOURCE 4 flags $4
USER_DATA 1 vec 0-u64max
USER_DATA 2 vlen 0-u64max
USER_DATA 3 *pos 0-s64max
USER_DATA 4 flags s32min-s32max
USER_PTR 3 pos

fs/read_write.c do_writev() -> vfs_writev()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 pos 0,834228938926374912
BUF_SIZE 3 pos (-1),8
BUF_SIZE 3 pos (-1),8
DATA_SOURCE 1 vec $1
DATA_SOURCE 2 vlen $2
DATA_SOURCE 4 flags $3
BIT_INFO 3 pos 0x0,0xb93c6ccce0ec000
BIT_INFO 3 pos 0x0,0xb93c6ccce0ec000
USER_DATA 1 vec 0-u64max
USER_DATA 2 vlen 0-u64max
USER_DATA 4 flags s32min-s32max