Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/gpu/drm/arm/display/komeda/komeda_framebuffer.c komeda_fb_destroy() -> drm_framebuffer_cleanup()

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->format 4096-ptr_max
PARAM_VALUE 0 fb->funcs 4096-ptr_max
CAPPED_DATA 0 fb->format->num_planes 1
DATA_SOURCE 0 fb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_cleanup() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 7946158766922342400
PARAM_VALUE 0 fb->base.id 0-s32max
PARAM_VALUE 0 fb->base.type 0,4227595259
PARAM_VALUE 0 fb->flags 0
PARAM_VALUE 0 fb->format 1590679125481877504
PARAM_VALUE 0 fb->funcs 0
PARAM_VALUE 0 fb->height 0
PARAM_VALUE 0 fb->modifier 0
PARAM_VALUE 0 fb->width 0
NOCHECK_CALL

drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_cleanup() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 5998845308395483136
PARAM_VALUE 0 fb->base.id 0-s32max
PARAM_VALUE 0 fb->base.type 0,4227595259
PARAM_VALUE 0 fb->dev 4096-ptr_max
PARAM_VALUE 0 fb->flags 0
PARAM_VALUE 0 fb->format 1590679125481877504
PARAM_VALUE 0 fb->funcs 0
PARAM_VALUE 0 fb->height 0
PARAM_VALUE 0 fb->modifier 0
PARAM_VALUE 0 fb->width 0
NOCHECK_CALL

drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_init() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 2300784081101783040
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.prev 4096-ptr_max
PARAM_VALUE 0 fb->flags 0
PARAM_VALUE 0 fb->format 2265375496661708800
PARAM_VALUE 0 fb->funcs 6874446578754646016
PARAM_VALUE 0 fb->height 0
PARAM_VALUE 0 fb->modifier 0
PARAM_VALUE 0 fb->width 0
NOCHECK_CALL

drivers/gpu/drm/tests/drm_framebuffer_test.c drm_test_framebuffer_lookup() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 3983846869338152960
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.prev 4096-ptr_max
PARAM_VALUE 0 fb->flags 0
PARAM_VALUE 0 fb->format 3483670428225687552
PARAM_VALUE 0 fb->funcs 0
PARAM_VALUE 0 fb->height 0
PARAM_VALUE 0 fb->modifier 0
PARAM_VALUE 0 fb->width 0
NOCHECK_CALL

drivers/gpu/drm/drm_gem_framebuffer_helper.c drm_gem_fb_destroy() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 4096-ptr_max
PARAM_VALUE 0 fb->base.id 0-s32max
PARAM_VALUE 0 fb->dev 4096-ptr_max
PARAM_VALUE 0 fb->dev->mode_config.helper_private->atomic_commit_tail 0,113,4096-ptr_max
PARAM_VALUE 0 fb->format 4096-ptr_max
PARAM_VALUE 0 fb->funcs 4096-ptr_max
PARAM_VALUE 0 fb->funcs->create_handle 0,136021296690790400,489985966628564992,1324109970670620672,2867967462721433600,3616651681677144064
PARAM_VALUE 0 fb->funcs->destroy 0,4096-ptr_max
PARAM_VALUE 0 fb->funcs->dirty 0,2907662053979725824,3676375001506254848,5202095228101689344,6546811231566618624,7307232787801481216,9046494490652217344
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
BUF_SIZE 0 fb->funcs (-1),24
CAPPED_DATA 0 fb->format->num_planes 1
DATA_SOURCE 0 fb $0
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]

drivers/gpu/drm/i915/display/intel_fb.c intel_user_framebuffer_destroy() -> drm_framebuffer_cleanup()

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/vmwgfx/vmwgfx_kms.c vmw_framebuffer_bo_destroy() -> drm_framebuffer_cleanup()

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/vmwgfx/vmwgfx_kms.c vmw_framebuffer_surface_destroy() -> drm_framebuffer_cleanup()

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/radeon/radeon_fbdev.c radeon_fbdev_fb_destroy() -> drm_framebuffer_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 fb 4096-ptr_max
PARAM_VALUE 0 fb->base.id 0
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock