Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_stdu_primary_plane_prepare_fb() -> vmw_user_object_ref()

Type Parameter Key Value
PARAM_VALUE 0 uo 4096-ptr_max
PARAM_VALUE 0 uo->buffer 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_du_plane_duplicate_state() -> vmw_user_object_ref()

Type Parameter Key Value
PARAM_VALUE 0 uo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &plane->dev->mode_config.connection_mutex
HALF_LOCKED2 &plane->dev->mode_config.mutex
HALF_LOCKED2 &plane->mutex
HALF_LOCKED2 &plane->mutex.mutex

drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_kms_new_framebuffer_surface() -> vmw_user_object_ref()

Type Parameter Key Value
PARAM_VALUE 0 uo 4096-ptr_max
PARAM_VALUE 0 uo->buffer 0,4096-ptr_max
PARAM_VALUE 0 uo->surface 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_cursor_plane.c vmw_cursor_plane_prepare_fb() -> vmw_user_object_ref()

Type Parameter Key Value
PARAM_VALUE 0 uo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL