Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/dma-buf/dma-fence.c dma_fence_release() -> (struct dma_fence_ops)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 4096-ptr_max |
| PARAM_VALUE | 0 | f->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->enable_signaling | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->get_driver_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->get_timeline_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->release | 4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->set_deadline | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->signaled | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f->ops->wait | 0,4096-ptr_max |
| CAPPED_DATA | 0 | &f->cb_list | 1 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |