Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/read_write.c do_preadv() -> vfs_readv()

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_readv() -> vfs_readv()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 pos 0,7170871972767162368
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,0x63840e10fa976000
BIT_INFO 3 pos 0x0,0x63840e10fa976000
USER_DATA 1 vec 0-u64max
USER_DATA 2 vlen 0-u64max
USER_DATA 4 flags s32min-s32max