Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/nouveau/nouveau_dma.c nouveau_dma_wait() -> READ_GET()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->dma.free | s32min-17407 |
| PARAM_VALUE | 1 | prev_get | 1840376901986476032 |
| PARAM_VALUE | 1 | *prev_get | 0-u32max |
| PARAM_VALUE | 2 | timeout | 6434727853399900160 |
| CAPPED_DATA | 0 | chan->dma.free | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chan->dma.free | 0-17407[c] |
| HOST_DATA | 1 | *prev_get | 0-u32max[c] |
| HALF_LOCKED2 | &cli->mutex | ||
| HALF_LOCKED2 | &crtc->mutex | ||
| HALF_LOCKED2 | &file_priv->driver_priv->mutex | ||
| HALF_LOCKED2 | &plane->mutex | ||
| HALF_LOCKED2 | rcu_read |
drivers/gpu/drm/nouveau/nouveau_dma.c nouveau_dma_wait() -> READ_GET()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->dma.cur | 33-s32max |
| PARAM_VALUE | 0 | chan->dma.free | s32min-17407 |
| PARAM_VALUE | 0 | chan->push.addr | 0-u32max |
| PARAM_VALUE | 0 | chan->push.buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->userd | 4096-ptr_max |
| PARAM_VALUE | 1 | prev_get | 1840376901986476032 |
| PARAM_VALUE | 1 | *prev_get | 0-u32max |
| PARAM_VALUE | 2 | timeout | 6434727853399900160 |
| CAPPED_DATA | 0 | chan->dma.free | 1 |
| CAPPED_DATA | 0 | chan->push.addr | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *prev_get | 0-u32max[c] |
| HALF_LOCKED2 | &cli->mutex | ||
| HALF_LOCKED2 | &crtc->mutex | ||
| HALF_LOCKED2 | &file_priv->driver_priv->mutex | ||
| HALF_LOCKED2 | &plane->mutex | ||
| HALF_LOCKED2 | rcu_read |