Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/gpu/drm/drm_framebuffer.c
- drivers/gpu/drm/i915/display/intel_fbdev.c, line 146
- drivers/gpu/drm/omapdrm/omap_fbdev.c
Smatch caller information:
drivers/gpu/drm/omapdrm/omap_fbdev.c omap_fbdev_driver_fbdev_probe() -> drm_framebuffer_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-u64max |
| 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 |
| PARAM_VALUE | 0 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->funcs | 4828567294893445120 |
| PARAM_VALUE | 0 | fb->funcs->create_handle | 2867967462721433600 |
| PARAM_VALUE | 0 | fb->funcs->destroy | 6951024642357657600 |
| PARAM_VALUE | 0 | fb->funcs->dirty | 9046494490652217344 |
| PARAM_VALUE | 0 | fb->height | 0 |
| PARAM_VALUE | 0 | *fb->offsets | 0-4294967295 |
| PARAM_VALUE | 0 | *fb->pitches | 0-4294967295 |
| BUF_SIZE | 0 | fb | (-1),192 |
| BUF_SIZE | 0 | fb | (-1),192 |
| DATA_SOURCE | 0 | fb | r omap_framebuffer_init |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->clientlist_mutex | ||
| LOCK2 | &helper->lock | ||
| TYPE_LOCK | (struct drm_device)->clientlist_mutex | ||
| TYPE_LOCK | (struct drm_fb_helper)->lock |
drivers/gpu/drm/omapdrm/omap_fbdev.c omap_fbdev_fb_destroy() -> drm_framebuffer_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global ®istration_lock |
drivers/gpu/drm/drm_framebuffer.c drm_mode_rmfb_work_fn() -> drm_framebuffer_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->filp_head.prev->next | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_fb_destroy() -> drm_framebuffer_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global ®istration_lock |