Open Menu /

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/drm_fbdev_shmem.c drm_fbdev_shmem_driver_fbdev_probe() -> drm_client_buffer_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb->pitches 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_shmem.c drm_fbdev_shmem_fb_destroy() -> drm_client_buffer_vunmap()

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_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 buffer->fb->funcs 4096-ptr_max
PARAM_VALUE 0 buffer->fb->funcs->dirty 2907662053979725824,3676375001506254848,5202095228101689344,6546811231566618624,7307232787801481216,9046494490652217344
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_vunmap()

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_shadowed_fb_destroy() -> drm_client_buffer_vunmap()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &registration_lock