Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_syncobj.c drm_syncobj_array_wait_timeout() -> drm_syncobj_fence_add_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | wait | 4096-ptr_max |
| NOCHECK_CALL |
drivers/gpu/drm/drm_syncobj.c drm_syncobj_find_fence() -> drm_syncobj_fence_add_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | syncobj | 4096-ptr_max |
| PARAM_VALUE | 0 | syncobj->fence | 0,4096-ptr_max |
| PARAM_VALUE | 0 | syncobj->fence->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | wait | 5706158192267046912 |
| CAPPED_DATA | 0 | syncobj->fence | 1 |
| DATA_SOURCE | 0 | syncobj | r drm_syncobj_find |
| MEM_ZERO | 1 | wait | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | wait->point | 0-u64max |
| HALF_LOCKED2 | &fpriv->lock | ||
| HALF_LOCKED2 | global &drm_unplug_srcu |