Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/splice.c do_splice() -> splice_file_to_pipe()

Type Parameter Key Value
PARAM_VALUE 0 in 4096-ptr_max
PARAM_VALUE 1 opipe 1-u64max
PARAM_VALUE 2 offset 6564596398195531776
PARAM_VALUE 2 *offset 0-1000000000
PARAM_VALUE 3 len 1-1000000000
PARAM_VALUE 4 flags 0-2147483649
BUF_SIZE 1 opipe s32min-(-2),1-s32max
BUF_SIZE 1 opipe s32min-(-2),1-s32max
CAPPED_DATA 0 in 1
DATA_SOURCE 0 in $0
DATA_SOURCE 1 opipe r get_pipe_info
DATA_SOURCE 3 len $4
DATA_SOURCE 4 flags $5 [m]
BIT_INFO 0 in->f_mode 0x1,0xffffffff
BIT_INFO 4 flags 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *offset 0-1000000000
USER_DATA 3 len 1-1000000000
USER_DATA 4 flags 0-16[c]
USER_PTR 2 offset

fs/read_write.c do_sendfile() -> splice_file_to_pipe()

Type Parameter Key Value
PARAM_VALUE 0 in 0,4-u64max
PARAM_VALUE 1 opipe 1-u64max
PARAM_VALUE 2 offset 32538186440966144
PARAM_VALUE 2 *offset 0-1000000000
PARAM_VALUE 3 len 0-3147479551
PARAM_VALUE 4 flags 0,2
BUF_SIZE 1 opipe s32min-(-2),1-s32max
BUF_SIZE 1 opipe s32min-(-2),1-s32max
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 1 opipe r get_pipe_info
DATA_SOURCE 3 len $3 [m]
FUZZY_MAX 3 len 2147479552
BIT_INFO 4 flags 0x0,0x2
USER_DATA 2 *offset 0-1000000000[c]
USER_DATA 3 len 0-3147479551[c]
UNITS 3 len unit_byte
USER_PTR 2 offset