Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/read_write.c ksys_pwrite64() -> vfs_write()

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_write() -> vfs_write()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 3 pos 0,7357732950350237696
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,0x661beb22a9d01000
BIT_INFO 3 pos 0x0,0x661beb22a9d01000
USER_DATA 1 buf 0-u64max
USER_DATA 2 count 0-u64max