Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_sou_primary_plane_cleanup_fb() -> vmw_user_object_unref()

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

drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_sou_primary_plane_prepare_fb() -> vmw_user_object_unref()

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

drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_sou_primary_plane_prepare_fb() -> vmw_user_object_unref()

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

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

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_stdu.c vmw_stdu_primary_plane_prepare_fb() -> vmw_user_object_unref()

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_stdu.c vmw_stdu_primary_plane_prepare_fb() -> vmw_user_object_unref()

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_stdu.c vmw_stdu_primary_plane_prepare_fb() -> vmw_user_object_unref()

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_destroy_state() -> vmw_user_object_unref()

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

drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_framebuffer_surface_destroy() -> vmw_user_object_unref()

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_kms_fb_create() -> vmw_user_object_unref()

Type Parameter Key Value
PARAM_VALUE 0 uo 6633407560607899648
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_kms.c vmw_kms_new_framebuffer_surface() -> vmw_user_object_unref()

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_cleanup_fb() -> vmw_user_object_unref()

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

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

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