Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/amd/amdgpu/amdgpu_display.c amdgpu_display_framebuffer_init() -> amdgpu_display_get_fb_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | amdgpu_fb | 4096-ptr_max |
| PARAM_VALUE | 0 | amdgpu_fb->base->offsets | 0-u32max |
| PARAM_VALUE | 0 | amdgpu_fb->base->pitches | 0-u32max |
| PARAM_VALUE | 0 | amdgpu_fb->base.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | amdgpu_fb->base.flags | 0-2 |
| PARAM_VALUE | 0 | amdgpu_fb->base.format | 4096-ptr_max |
| PARAM_VALUE | 0 | amdgpu_fb->base.height | 1-u32max |
| PARAM_VALUE | 0 | amdgpu_fb->base.obj | 4096-ptr_max |
| PARAM_VALUE | 0 | amdgpu_fb->base.width | 1-u32max |
| PARAM_VALUE | 1 | tiling_flags | 4096-ptr_max |
| PARAM_VALUE | 2 | tmz_surface | 4096-ptr_max |
| PARAM_VALUE | 3 | gfx12_dcc | 4096-ptr_max |
| BUF_SIZE | 0 | amdgpu_fb | 216 |
| CAPPED_DATA | 0 | amdgpu_fb->base.format->num_planes | 1 |
| DATA_SOURCE | 0 | amdgpu_fb | $1 |
| NOSPEC | 0 | amdgpu_fb->base.height | |
| NOSPEC | 0 | amdgpu_fb->base.width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | amdgpu_fb->base.flags | 0-2[u] |
| USER_DATA | 0 | amdgpu_fb->base.height | 1-s32max[c] |
| USER_DATA | 0 | amdgpu_fb->base.modifier | 0-u64max |
| USER_DATA | 0 | amdgpu_fb->base.width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |