Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/drm_framebuffer.c legacy_remove_fb() -> drm_plane_force_disable()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->fb 4096-ptr_max
CAPPED_DATA 0 plane->fb 1
CAPPED_DATA 0 &plane->head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mode_config.mutex
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &helper->lock
TYPE_LOCK (struct drm_mode_config)->mutex

drivers/gpu/drm/drm_client_modeset.c drm_client_modeset_commit_legacy() -> drm_plane_force_disable()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->type 0,2-u32max
CAPPED_DATA 0 &plane->head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &client->modeset_mutex
LOCK2 &dev->mode_config.mutex
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &dev->master_mutex
HALF_LOCKED2 &fb_helper->lock
TYPE_LOCK (struct drm_client_dev)->modeset_mutex
TYPE_LOCK (struct drm_mode_config)->mutex

drivers/gpu/drm/nouveau/dispnv04/overlay.c nv04_overlay_init() -> drm_plane_force_disable()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->base.id 0-s32max
PARAM_VALUE 0 plane->base.properties 4096-ptr_max
PARAM_VALUE 0 plane->base.type 4008636142
PARAM_VALUE 0 plane->dev 4096-ptr_max
PARAM_VALUE 0 plane->format_count 2
PARAM_VALUE 0 plane->format_types 16,4096-ptr_max
PARAM_VALUE 0 plane->funcs 5821325875756367872
PARAM_VALUE 0 plane->head.next 4096-ptr_max
PARAM_VALUE 0 plane->hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 plane->hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 plane->index 0-31,2147483648-u32max
PARAM_VALUE 0 plane->modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 plane->name 1-u64max
PARAM_VALUE 0 plane->possible_crtcs 1
PARAM_VALUE 0 plane->type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 plane->format_count

drivers/gpu/drm/nouveau/dispnv04/overlay.c nv10_overlay_init() -> drm_plane_force_disable()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->base.id 0-s32max
PARAM_VALUE 0 plane->base.properties 4096-ptr_max
PARAM_VALUE 0 plane->base.type 4008636142
PARAM_VALUE 0 plane->dev 4096-ptr_max
PARAM_VALUE 0 plane->format_count 2,4
PARAM_VALUE 0 plane->format_types 16,4096-ptr_max
PARAM_VALUE 0 plane->funcs 7761829608795729920
PARAM_VALUE 0 plane->head.next 4096-ptr_max
PARAM_VALUE 0 plane->hotspot_x_property 4096-ptr_max
PARAM_VALUE 0 plane->hotspot_y_property 4096-ptr_max
PARAM_VALUE 0 plane->index 0-31,2147483648-u32max
PARAM_VALUE 0 plane->modifiers 0,16,4096-ptr_max
PARAM_VALUE 0 plane->name 1-u64max
PARAM_VALUE 0 plane->possible_crtcs 3
PARAM_VALUE 0 plane->type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 plane->format_count

drivers/gpu/drm/nouveau/dispnv04/overlay.c nv_destroy_plane() -> drm_plane_force_disable()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 0 plane->funcs 4096-ptr_max
BUF_SIZE 0 plane (-1),1488
BUF_SIZE 0 plane (-1),1488
BUF_SIZE 0 plane->dev s32min-(-1),1-s32max
DATA_SOURCE 0 plane $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 plane->base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 plane->base.format_count
HALF_LOCKED2 &device->clients_lock