Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/gpu/drm/drm_fbdev_shmem.c drm_fbdev_shmem_driver_fbdev_probe() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->fb->pitches 4096-ptr_max
PARAM_VALUE 0 buffer->map.is_iomem 0
PARAM_VALUE 0 buffer->map.vaddr 0
PARAM_VALUE 0 buffer->map.vaddr_iomem 0
DATA_SOURCE 0 buffer r drm_client_buffer_create_dumb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->clientlist_mutex
LOCK2 &fb_helper->lock
TYPE_LOCK (struct drm_device)->clientlist_mutex
TYPE_LOCK (struct drm_fb_helper)->lock

drivers/gpu/drm/drm_fbdev_shmem.c drm_fbdev_shmem_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->map.is_iomem 0
PARAM_VALUE 0 buffer->map.vaddr 0
PARAM_VALUE 0 buffer->map.vaddr_iomem 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/drm_fbdev_ttm.c drm_fbdev_ttm_driver_fbdev_probe() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer->gem 4096-ptr_max
DATA_SOURCE 0 buffer r drm_client_buffer_create_dumb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->clientlist_mutex
LOCK2 &fb_helper->lock
TYPE_LOCK (struct drm_device)->clientlist_mutex
TYPE_LOCK (struct drm_fb_helper)->lock

drivers/gpu/drm/drm_fbdev_ttm.c drm_fbdev_ttm_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/clients/drm_log.c drm_log_free_scanout() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->clientlist_mutex
LOCK2 &dlog->lock
TYPE_LOCK (struct drm_device)->clientlist_mutex
TYPE_LOCK (struct drm_log)->lock

drivers/gpu/drm/clients/drm_log.c drm_log_init_client() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/gpu/drm/tegra/fbdev.c tegra_fbdev_driver_fbdev_probe() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->fb->format 4096-ptr_max
DATA_SOURCE 0 buffer r drm_client_buffer_create
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/tegra/fbdev.c tegra_fbdev_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/drm_fbdev_dma.c drm_fbdev_dma_driver_fbdev_probe() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->fb->funcs 4096-ptr_max
PARAM_VALUE 0 buffer->fb->funcs->dirty 2907662053979725824,3676375001506254848,5202095228101689344,6546811231566618624,7307232787801481216,9046494490652217344
PARAM_VALUE 0 buffer->map.is_iomem 0
PARAM_VALUE 0 buffer->map.vaddr 0
PARAM_VALUE 0 buffer->map.vaddr_iomem 0
DATA_SOURCE 0 buffer r drm_client_buffer_create_dumb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->clientlist_mutex
LOCK2 &fb_helper->lock
TYPE_LOCK (struct drm_device)->clientlist_mutex
TYPE_LOCK (struct drm_fb_helper)->lock

drivers/gpu/drm/drm_fbdev_dma.c drm_fbdev_dma_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->map.is_iomem 0
PARAM_VALUE 0 buffer->map.vaddr 0
PARAM_VALUE 0 buffer->map.vaddr_iomem 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/drm_fbdev_dma.c drm_fbdev_dma_shadowed_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->map.is_iomem 0
PARAM_VALUE 0 buffer->map.vaddr 0
PARAM_VALUE 0 buffer->map.vaddr_iomem 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/gma500/fbdev.c psb_fbdev_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/msm/msm_fbdev.c msm_fbdev_driver_fbdev_probe() -> drm_client_buffer_delete()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb 4096-ptr_max
PARAM_VALUE 0 buffer->fb->format 4096-ptr_max
DATA_SOURCE 0 buffer r drm_client_buffer_create
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/msm/msm_fbdev.c msm_fbdev_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/exynos/exynos_drm_fbdev.c exynos_drm_fb_destroy() -> drm_client_buffer_delete()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock