Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gf119.c, line 1242
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gk104.c, line 314
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gk110.c, line 40
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gm107.c, line 94
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gm200.c, line 177
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gp100.c, line 67
- drivers/gpu/drm/nouveau/nvkm/engine/disp/gp102.c, line 182
Smatch caller information:
drivers/gpu/drm/nouveau/nvkm/engine/disp/nv50.c nv50_disp_oneinit() -> (struct nvkm_disp_func)->head.new()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | disp | 1557461564642263032 |
| PARAM_VALUE | 0 | disp->func | 4096-ptr_max |
| PARAM_VALUE | 0 | disp->func->oneinit | 1-u64max |
| PARAM_VALUE | 0 | disp->head.mask | 0-255 |
| PARAM_VALUE | 0 | disp->head.nr | 1-s32max |
| PARAM_VALUE | 1 | id | 0-64 |
| CAPPED_DATA | 1 | id | 1 |
| DATA_SOURCE | 0 | disp | $0 |
| DATA_SOURCE | 1 | id | r find_next_bit |
| PARAM_COMPARE | 0 | disp->head.nr | > $1 |
| PARAM_COMPARE | 1 | id | < $0->head.nr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | disp->head.mask | 0-255 |
| HOST_DATA | 0 | disp->head.nr | 1-s32max |
| HOST_DATA | 0 | disp->wndw.mask | 0-u32max |
| LOCK2 | &subdev->use.mutex | ||
| TYPE_LOCK | (struct nvkm_subdev)->use.mutex |