Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/iio/buffer/industrialio-buffer-dma.c, line 757
- drivers/iio/buffer/industrialio-buffer-dmaengine.c, line 206
Smatch caller information:
drivers/iio/industrialio-buffer.c iio_buffer_enqueue_dmabuf() -> (struct iio_buffer_access_funcs)->enqueue_dmabuf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | buffer->access | 4096-ptr_max |
| PARAM_VALUE | 0 | buffer->access->lock_queue | 0,2306046462289530880 |
| PARAM_VALUE | 2 | fence | 4096-ptr_max |
| PARAM_VALUE | 2 | fence->cb_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | fence->cb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 2 | fence->error | 0 |
| PARAM_VALUE | 2 | fence->extern_lock | 1-u64max |
| PARAM_VALUE | 2 | fence->flags | 1,3,5,7 |
| PARAM_VALUE | 2 | fence->ops | 7010403120146239488 |
| PARAM_VALUE | 2 | fence->seqno | 0-u32max |
| PARAM_VALUE | 4 | size | 1-u64max |
| PARAM_VALUE | 5 | cyclic | 0 |
| CAPPED_DATA | 4 | size | 1 |
| CAPPED_DATA | 4 | size | 1 |
| CONTAINER | 0 | -112-32+0 | $(-1) |
| NOSPEC | 4 | size | |
| NOSPEC | 4 | size | |
| USER_DATA | 4 | size | 1-s32max[c] |
| USER_DATA | 5 | cyclic | 0[c] |
| HALF_LOCKED2 | &queue->lock |