Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

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 &registration_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 &registration_lock