Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/nouveau/nouveau_display.c nouveau_framebuffer_get_layout() -> nouveau_decode_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | tile_mode | 6007580962627481600,6831942643543011328,7857301195835953152 |
| PARAM_VALUE | 3 | kind | 421017194181722112,6825078848707579904,8731531869725302784 |
| BUF_SIZE | 0 | drm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drm | s32min-(-2),1-s32max |
| DATA_SOURCE | 2 | tile_mode | $1 |
| DATA_SOURCE | 3 | kind | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drm | unit_byte |
| HALF_LOCKED2 | &(plane->dev)->mode_config.panic_lock | ||
| HALF_LOCKED2 | flags |
drivers/gpu/drm/nouveau/nouveau_display.c nouveau_validate_decode_mod() -> nouveau_decode_mod()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drm | 4096-ptr_max |
| PARAM_VALUE | 0 | drm->client.device.info.family | 6-255 |
| PARAM_VALUE | 0 | drm->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | modifier | 0-72057594037927934,72057594037927936-u64max |
| PARAM_VALUE | 2 | tile_mode | 4582514804527185920 |
| PARAM_VALUE | 3 | kind | 8271826209772130304 |
| BUF_SIZE | 0 | drm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drm | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | modifier | 1 |
| CAPPED_DATA | 1 | modifier | 1 |
| DATA_SOURCE | 0 | drm | $0 |
| DATA_SOURCE | 1 | modifier | $1 |
| DATA_SOURCE | 2 | tile_mode | $2 |
| DATA_SOURCE | 3 | kind | $3 |
| FUZZY_MAX | 0 | drm->client.device.info.family | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | drm | unit_byte |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |