Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/v3d/v3d_submit.c v3d_get_multisync_submit_deps() -> v3d_get_multisync_post_deps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | file_priv->driver_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | file_priv->master->lessor | 0 |
| PARAM_VALUE | 0 | file_priv->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | file_priv->minor | 4096-ptr_max |
| PARAM_VALUE | 0 | file_priv->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | se | 989389068920287232,2413799588264804352,3180463756949078016,8497153274939752448 |
| PARAM_VALUE | 1 | se->flags | 0-2 |
| PARAM_VALUE | 1 | se->in_sync_count | 0 |
| PARAM_VALUE | 1 | se->out_sync_count | 0 |
| BUF_SIZE | 0 | file_priv | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | file_priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | file_priv | $0 |
| DATA_SOURCE | 1 | se | $2 |
| USER_DATA | 1 | se->in_syncs | 0-u64max |
| USER_DATA | 1 | se->wait_stage | 0-u32max |
| USER_DATA | 2 | count | 0-u32max |
| USER_DATA | 3 | handles | 0-u64max |