Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/overlayfs/file.c ovl_splice_read() -> backing_file_splice_read()

Type Parameter Key Value
PARAM_VALUE 0 in 1-ptr_max
PARAM_VALUE 1 iocb 8392281925338537984
PARAM_VALUE 2 pipe 4096-ptr_max
PARAM_VALUE 3 len 0-2147479552
PARAM_VALUE 5 ctx 1576859726381125632
PARAM_VALUE 5 ctx->accessed 701988103851339776
BUF_SIZE 0 in (-1)-s32max
BUF_SIZE 0 in (-1)-s32max
BUF_SIZE 2 pipe s32min-(-1),1-s32max
BUF_SIZE 2 pipe s32min-(-1),1-s32max
CAPPED_DATA 0 in 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 in r ovl_real_file
DATA_SOURCE 2 pipe $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 flags $4
FUZZY_MAX 3 len 2147479552
BIT_INFO 3 len 0x0,0xffffffff
NOSPEC 1 iocb->ki_pos
NOSPEC 3 len
NOSPEC 3 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iocb->ki_pos 0-13442450941
USER_DATA 3 len 1-2147479552[c]
USER_DATA 4 flags 0-16[c]
NO_OVERFLOW_SIMPLE 2 pipe->max_usage
NO_OVERFLOW_SIMPLE 2 pipe->nr_accounted
NO_OVERFLOW_SIMPLE 2 pipe->ring_size
NO_OVERFLOW_SIMPLE 3 len

fs/fuse/passthrough.c fuse_passthrough_splice_read() -> backing_file_splice_read()

Type Parameter Key Value
PARAM_VALUE 1 iocb 4837219212298190848
PARAM_VALUE 2 pipe 4096-ptr_max
PARAM_VALUE 3 len 0-2147479552
PARAM_VALUE 5 ctx 7606003340084166656
PARAM_VALUE 5 ctx->accessed 4802084325175185408
BUF_SIZE 2 pipe s32min-(-1),1-s32max
BUF_SIZE 2 pipe s32min-(-1),1-s32max
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 2 pipe $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 flags $4
FUZZY_MAX 3 len 2147479552
BIT_INFO 3 len 0x0,0xffffffff
NOSPEC 1 iocb->ki_pos
NOSPEC 3 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 iocb->ki_pos 0-13442450941
USER_DATA 3 len 1-2147479552[c]
USER_DATA 4 flags 0-16[c]
NO_OVERFLOW_SIMPLE 2 pipe->max_usage
NO_OVERFLOW_SIMPLE 2 pipe->nr_accounted
NO_OVERFLOW_SIMPLE 2 pipe->ring_size
NO_OVERFLOW_SIMPLE 3 len