Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/read_write.c ksys_pread64() -> vfs_read()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 *pos 0-s64max
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
USER_DATA 1 buf 0-u64max
USER_DATA 2 count 0-u64max
USER_DATA 3 *pos 0-s64max
USER_PTR 3 pos

fs/read_write.c ksys_read() -> vfs_read()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 pos 0,4693983546908577792
BUF_SIZE 3 pos (-1),8
BUF_SIZE 3 pos (-1),8
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
BIT_INFO 3 pos 0x0,0x4124612a87039000
BIT_INFO 3 pos 0x0,0x4124612a87039000
USER_DATA 1 buf 0-u64max
USER_DATA 2 count 0-u64max