Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/dma-buf/st-dma-fence.c thread_signal_callback() -> __wait_for_callbacks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 4096-ptr_max |
| PARAM_VALUE | 0 | f->cb_list.next->next | 9027468483932250112 |
| PARAM_VALUE | 0 | f->cb_list.next->prev | 9027468483932250112 |
| PARAM_VALUE | 0 | f->cb_list.prev->next->next | 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 | 0,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 |
| DATA_SOURCE | 0 | f | r dma_fence_get_rcu_safe |
| NOCHECK_CALL |