Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 13 files:
- drivers/gpu/drm/amd/amdgpu/amdgpu_display.c
- drivers/gpu/drm/armada/armada_fb.c, line 17
- drivers/gpu/drm/drm_gem_framebuffer_helper.c
- drivers/gpu/drm/exynos/exynos_drm_fb.c, line 55
- drivers/gpu/drm/msm/msm_fb.c, line 50
- drivers/gpu/drm/nouveau/nouveau_display.c, line 128
- drivers/gpu/drm/omapdrm/omap_fb.c, line 83
- drivers/gpu/drm/qxl/qxl_display.c, line 470
- drivers/gpu/drm/radeon/radeon_display.c, line 1304
- drivers/gpu/drm/rockchip/rockchip_drm_fb.c, line 22
- drivers/gpu/drm/tegra/fb.c, line 101
- drivers/gpu/drm/virtio/virtgpu_display.c, line 66
- drivers/gpu/drm/xen/xen_drm_front_kms.c
Smatch caller information:
drivers/gpu/drm/xen/xen_drm_front_kms.c fb_create() -> drm_gem_fb_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->base.id | 0-s32max |
| PARAM_VALUE | 0 | fb->base.type | 4227595259 |
| PARAM_VALUE | 0 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->flags | 0-2 |
| PARAM_VALUE | 0 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->funcs | 4271168339807580160 |
| PARAM_VALUE | 0 | fb->funcs->create_handle | 0 |
| PARAM_VALUE | 0 | fb->funcs->destroy | 4855454296985776128 |
| PARAM_VALUE | 0 | fb->funcs->dirty | 0 |
| PARAM_VALUE | 0 | fb->height | 1-u32max |
| PARAM_VALUE | 0 | fb->obj | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->width | 1-u32max |
| PARAM_VALUE | 0 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 0 | *fb->pitches | 0-4294967295 |
| BUF_SIZE | 0 | fb | 192 |
| BUF_SIZE | 0 | fb->dev | (-1),3696 |
| BUF_SIZE | 0 | fb->funcs | 24 |
| CAPPED_DATA | 0 | fb->height | 1 |
| CAPPED_DATA | 0 | fb->width | 1 |
| DATA_SOURCE | 0 | fb | r drm_gem_fb_create_with_funcs |
| NOSPEC | 0 | fb->height | |
| NOSPEC | 0 | fb->width | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fb->flags | 0-2[u] |
| USER_DATA | 0 | fb->height | 1-s32max[c] |
| USER_DATA | 0 | fb->modifier | 0-u64max |
| USER_DATA | 0 | fb->width | 1-s32max[c] |
| HALF_LOCKED2 | &crtc->cursor->mutex | ||
| HALF_LOCKED2 | &crtc->mutex |
drivers/gpu/drm/xen/xen_drm_front_kms.c fb_destroy() -> drm_gem_fb_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->base.id | 0 |
| PARAM_VALUE | 0 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev->mode_config.helper_private->atomic_commit_tail | 0,113,234517204248432640,264416658693812224,1002985563129995264 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fb->funcs | 4096-ptr_max |
| DATA_SOURCE | 0 | fb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/drm_framebuffer.c drm_framebuffer_free() -> (struct drm_framebuffer_funcs)->destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->base.id | 0 |
| PARAM_VALUE | 0 | fb->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | fb->dev->mode_config.idr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fb->funcs | 4096-ptr_max |
| CAPPED_DATA | 0 | &fb->filp_head | 1 |
| CONTAINER | 0 | -0-80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |