Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev.c fuse_dev_splice_write() -> fuse_dev_do_write()

Type Parameter Key Value
PARAM_VALUE 0 fud 4096-ptr_max
PARAM_VALUE 1 cs 5275624651834953728
PARAM_VALUE 1 cs->currbuf 0
PARAM_VALUE 1 cs->is_uring 0
PARAM_VALUE 1 cs->iter 0
PARAM_VALUE 1 cs->len 0
PARAM_VALUE 1 cs->nr_segs 0-u32max
PARAM_VALUE 1 cs->offset 0
PARAM_VALUE 1 cs->pg 0
PARAM_VALUE 1 cs->pipe 4096-ptr_max
PARAM_VALUE 1 cs->pipebufs 1-18446744073709551614
PARAM_VALUE 1 cs->req 0
PARAM_VALUE 1 cs->ring.copied_sz 0
PARAM_VALUE 1 cs->write 0
BUF_SIZE 0 fud s32min-(-2),1-s32max
BUF_SIZE 0 fud s32min-(-2),1-s32max
CAPPED_DATA 2 nbytes 1
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes $3
MEM_ZERO 1 cs
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 nbytes 1-1000000000[c]
HALF_LOCKED2 &inode->i_rwsem

fs/fuse/dev.c fuse_dev_write() -> fuse_dev_do_write()

Type Parameter Key Value
PARAM_VALUE 0 fud 4096-ptr_max
PARAM_VALUE 1 cs 830036563090239488
PARAM_VALUE 1 cs->currbuf 0
PARAM_VALUE 1 cs->is_uring 0
PARAM_VALUE 1 cs->iter 4096-ptr_max
PARAM_VALUE 1 cs->len 0
PARAM_VALUE 1 cs->move_folios 0
PARAM_VALUE 1 cs->nr_segs 0
PARAM_VALUE 1 cs->offset 0
PARAM_VALUE 1 cs->pg 0
PARAM_VALUE 1 cs->pipe 0
PARAM_VALUE 1 cs->pipebufs 0
PARAM_VALUE 1 cs->req 0
PARAM_VALUE 1 cs->ring.copied_sz 0
PARAM_VALUE 1 cs->write 0
PARAM_VALUE 2 nbytes 0-1000000000
BUF_SIZE 0 fud s32min-(-2),1-s32max
BUF_SIZE 0 fud s32min-(-2),1-s32max
NOSPEC 2 nbytes
NOSPEC 2 nbytes
MEM_ZERO 1 cs
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 nbytes 0-1000000000
HALF_LOCKED2 &pool->lock