Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/dev.c fuse_copy_folio() -> fuse_ref_folio()
| 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 | 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 | 0 | cs->req->args | 4096-ptr_max |
| PARAM_VALUE | 0 | cs->write | 1 |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 3 | count | 1-u32max |
| BUF_SIZE | 0 | cs->pipe | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | cs | $0 |
| DATA_SOURCE | 2 | offset | $2 |
| DATA_SOURCE | 3 | count | $3 |
| 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 | |
| UNITS | 2 | offset | unit_byte |
| UNITS | 3 | count | unit_byte |