Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/dev.c fuse_copy_folio() -> fuse_copy_do()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cs | 463010508728725504,830036563090239488,2539242712833417216,3380494615396130816,5275624651834953728,9045465290001678336 |
| PARAM_VALUE | 0 | cs->currbuf->len | 0 |
| PARAM_VALUE | 0 | cs->currbuf->offset | 0 |
| PARAM_VALUE | 0 | cs->pg->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->pipebufs->offset | 0 |
| PARAM_VALUE | 0 | cs->pipebufs->page->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->req | 0,4096-ptr_max |
| PARAM_VALUE | 1 | val | 8961491056261042176 |
| PARAM_VALUE | 2 | size | 7506660026935799808 |
| PARAM_VALUE | 2 | *size | 1-u32max |
| BUF_SIZE | 0 | cs->pipe | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | cs | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->ring_size | |
| HALF_LOCKED2 | &fc->killsb |
fs/fuse/dev.c fuse_copy_folio() -> fuse_copy_do()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cs | 463010508728725504,830036563090239488,2539242712833417216,3380494615396130816,5275624651834953728,9045465290001678336 |
| PARAM_VALUE | 0 | cs->currbuf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cs->currbuf->len | 0 |
| PARAM_VALUE | 0 | cs->currbuf->offset | 0 |
| PARAM_VALUE | 0 | cs->currbuf->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cs->currbuf->page | 4096-ptr_max |
| PARAM_VALUE | 0 | cs->iter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cs->pg->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->pipe | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cs->pipebufs | 0,2-u64max |
| PARAM_VALUE | 0 | cs->pipebufs->offset | 0 |
| PARAM_VALUE | 0 | cs->pipebufs->page | 4096-ptr_max |
| PARAM_VALUE | 0 | cs->pipebufs->page->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->req | 4096-ptr_max |
| PARAM_VALUE | 1 | val | 0 |
| PARAM_VALUE | 2 | *size | 1-u32max |
| BUF_SIZE | 0 | cs->pipe | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | cs | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->ring_size |
fs/fuse/dev.c fuse_copy_one() -> fuse_copy_do()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cs | 463010508728725504,830036563090239488,2539242712833417216,3380494615396130816,5275624651834953728,9045465290001678336 |
| PARAM_VALUE | 0 | cs->currbuf->len | 0 |
| PARAM_VALUE | 0 | cs->currbuf->offset | 0 |
| PARAM_VALUE | 0 | cs->pg->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->pipebufs->len | 0 |
| PARAM_VALUE | 0 | cs->pipebufs->offset | 0 |
| PARAM_VALUE | 0 | cs->pipebufs->page->_refcount.counter | 1 |
| PARAM_VALUE | 0 | cs->req | 0,4096-ptr_max |
| PARAM_VALUE | 2 | *size | 1-u32max |
| BUF_SIZE | 0 | cs->pipe | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | cs | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | cs->pipe->ring_size |