Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 new_vps 4096-ptr_max
PARAM_VALUE 0 new_vps->cursor.update_type 2-3
PARAM_VALUE 0 new_vps->uo.buffer 0,4096-ptr_max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->active_display_unit 1-3
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->cman 0,4096-u64max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->ctx.cmd_bounce_size 0,4096-9437184
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->fifo_mem 1-u64max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->fifo_mem_size 0-u32max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->initial_height 800-u32max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->initial_width 1280-u32max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->map_mode 0-2
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->max_mob_pages 0-1073741823
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->max_primary_mem 0-u32max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->num_irq_vectors 0-s32max
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->otable_batch.num_otables 5-6
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->query_cid_valid 0-1
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->sm_type 0-4
PARAM_VALUE 0 new_vps->uo.surface->res.dev_priv->suspend_state 0,4096-u64max
PARAM_VALUE 0 new_vps->uo.surface->res.func->busy_domain 1,12,16
PARAM_VALUE 0 new_vps->uo.surface->res.func->dirty_prio 0-3
PARAM_VALUE 0 new_vps->uo.surface->res.func->domain 1,8,16
PARAM_VALUE 0 new_vps->uo.surface->res.func->prio 0-1,3
PARAM_VALUE 0 new_vps->uo.surface->res.func->res_type 0-7
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->dirty->bitmap_size 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->dirty->change_count 0-4294967295
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->dirty->end 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->dirty->method 0-4294967295
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->dirty->start 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.base._resv.lock.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.bdev->pool.dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->alloced_page 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->alloced_pages 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->first_dma 0-s64max
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->order 0-4294967295
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->page_caching 0-4294967295
PARAM_VALUE 0 new_vps->uo.surface->res.guest_memory_bo->tbo.ttm->restore->restored_pages 0-s64max
PARAM_VALUE 1 old_vps 4096-ptr_max
CAPPED_DATA 0 new_vps->base.crtc_h 1
CAPPED_DATA 0 new_vps->base.crtc_w 1
CAPPED_DATA 0 new_vps->base.fb 1
CAPPED_DATA 0 new_vps->base.hotspot_x 1
CAPPED_DATA 0 new_vps->base.hotspot_y 1
CAPPED_DATA 0 new_vps->cursor.legacy.hotspot_x 1
CAPPED_DATA 0 new_vps->cursor.legacy.hotspot_y 1
CAPPED_DATA 1 old_vps->base.crtc_h 1
CAPPED_DATA 1 old_vps->base.crtc_w 1
CAPPED_DATA 1 old_vps->base.fb 1
CAPPED_DATA 1 old_vps->base.hotspot_x 1
CAPPED_DATA 1 old_vps->base.hotspot_y 1
CAPPED_DATA 1 old_vps->cursor.legacy.hotspot_x 1
CAPPED_DATA 1 old_vps->cursor.legacy.hotspot_y 1
PARAM_COMPARE 1 old_vps->base.crtc_h == $0->base.crtc_h
PARAM_COMPARE 1 old_vps->base.crtc_w == $0->base.crtc_w
PARAM_COMPARE 1 old_vps->base.fb == $0->base.fb
PARAM_COMPARE 1 old_vps->base.hotspot_x == $0->base.hotspot_x
PARAM_COMPARE 1 old_vps->base.hotspot_y == $0->base.hotspot_y
PARAM_COMPARE 1 old_vps->cursor.legacy.hotspot_x == $0->cursor.legacy.hotspot_x
PARAM_COMPARE 1 old_vps->cursor.legacy.hotspot_y == $0->cursor.legacy.hotspot_y
RX_PATH
TASK_NOT_RUNNING