vmw_cmdbuf_man_process identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c, line 428

Defined in 1 files as a function:

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c, line 438 (as a function)

Referenced in 1 files:

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_ctx_add() -> vmw_cmdbuf_man_process()

Type	Parameter	Key	Value
PARAM_VALUE	0	man	4096-ptr_max
PARAM_VALUE	0	man->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die	0-s32max
PARAM_VALUE	0	man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->ctx	4096-ptr_max
PARAM_VALUE	0	man->cur	4096-ptr_max
PARAM_VALUE	0	man->cur->cb_header	4096-ptr_max
PARAM_VALUE	0	man->cur_pos	1-u64max
PARAM_VALUE	0	man->dev_priv->active_display_unit	1-3
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->dev_priv->drm.dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	man->dev_priv->fifo_mem	1-u64max
PARAM_VALUE	0	man->dev_priv->fifo_mem_size	0-u32max
PARAM_VALUE	0	man->dev_priv->initial_height	800-u32max
PARAM_VALUE	0	man->dev_priv->initial_width	1280-u32max
PARAM_VALUE	0	man->dev_priv->map_mode	0-2
PARAM_VALUE	0	man->dev_priv->max_mob_pages	0-1073741823
PARAM_VALUE	0	man->dev_priv->max_primary_mem	0-u32max
PARAM_VALUE	0	man->dev_priv->num_irq_vectors	0-s32max
PARAM_VALUE	0	man->dev_priv->sm_type	0-4
PARAM_VALUE	0	man->headers->size	0-4294967295
PARAM_VALUE	0	man->lock.rlock.dep_map->name	0-255
BUF_SIZE	0	man	(-1)-0,1272
BUF_SIZE	0	man	(-1)-0,1272
BUF_SIZE	0	man->dheaders	(-1),192
BUF_SIZE	0	man->headers	(-1),192
CAPPED_DATA	0	man->headers->size	1
DATA_SOURCE	0	man	$0
NOSPEC	0	man->cur->reserved
NOSPEC	0	man->cur_pos
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	man->dev_priv->capabilities	16777216-2147483646,2147483648-u32max
HOST_DATA	0	man->dev_priv->capabilities2	0-u32max
HOST_DATA	0	man->dev_priv->config_done_state	0-u32max
HOST_DATA	0	man->dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags	0,4-67108868
HOST_DATA	0	man->dev_priv->enable_state	0-u32max
HOST_DATA	0	man->dev_priv->fb_max_height	0-u32max
HOST_DATA	0	man->dev_priv->fb_max_width	0-u32max[c]
HOST_DATA	0	man->dev_priv->fifo_mem_size	0-u32max
HOST_DATA	0	man->dev_priv->initial_height	801-u32max[c]
HOST_DATA	0	man->dev_priv->initial_width	1281-u32max[c]
HOST_DATA	0	man->dev_priv->max_gmr_ids	0-u32max
HOST_DATA	0	man->dev_priv->max_gmr_pages	0-u32max
HOST_DATA	0	man->dev_priv->max_mob_pages	0-1073741823[c]
HOST_DATA	0	man->dev_priv->max_mob_size	0-u32max
HOST_DATA	0	man->dev_priv->max_primary_mem	0-u32max
HOST_DATA	0	man->dev_priv->memory_size	0-u32max
HOST_DATA	0	man->dev_priv->stdu_max_height	0-u32max
HOST_DATA	0	man->dev_priv->stdu_max_width	0-u32max
HOST_DATA	0	man->dev_priv->texture_max_height	0-u32max
HOST_DATA	0	man->dev_priv->texture_max_width	0-u32max
HOST_DATA	0	man->dev_priv->traces_state	0-u32max
HOST_DATA	0	man->dev_priv->vram_size	0-u32max
USER_DATA	0	man->cur->cb_header->length	0-u32max[c]
USER_DATA	0	man->cur->reserved	0[c]
USER_DATA	0	man->cur_pos	1-9223372036858970111[c]
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.bdev->pool.dev->cma_area->available_count
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.resource
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->backup
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->sg
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->swap_storage
NO_OVERFLOW_SIMPLE	0	man->cur->cb_header->length
NO_OVERFLOW_SIMPLE	0	man->cur_pos
NO_OVERFLOW_SIMPLE	0	man->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE	0	man->headers->allocation
NO_OVERFLOW_SIMPLE	0	man->size
NO_OVERFLOW_SIMPLE	0	man->using_mob
LOCK2	0	&man->lock
HALF_LOCKED2		&dev_priv->binding_mutex
HALF_LOCKED2		&dev_priv->cmdbuf_mutex
HALF_LOCKED2	0	&man->cur_mutex
TYPE_LOCK		(struct vmw_cmdbuf_man)->lock

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_irqthread() -> vmw_cmdbuf_man_process()

Type	Parameter	Key	Value
PARAM_VALUE	0	man	4096-ptr_max
PARAM_VALUE	0	man->lock.rlock.dep_map->name	0-255
DATA_SOURCE	0	man	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&man->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		irq
TYPE_LOCK		(struct vmw_cmdbuf_man)->lock

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_man_idle() -> vmw_cmdbuf_man_process()

Type	Parameter	Key	Value
PARAM_VALUE	0	man	4096-ptr_max
PARAM_VALUE	0	man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->cur_mutex.dep_map->name	0-255
PARAM_VALUE	0	man->cur_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	man->cur_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	man->dev_priv	4096-ptr_max
PARAM_VALUE	0	man->dev_priv->active_display_unit	1-3
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->dev_priv->drm.dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	man->dev_priv->fifo_mem	1-u64max
PARAM_VALUE	0	man->dev_priv->fifo_mem_size	0-u32max
PARAM_VALUE	0	man->dev_priv->initial_height	800-u32max
PARAM_VALUE	0	man->dev_priv->initial_width	1280-u32max
PARAM_VALUE	0	man->dev_priv->map_mode	0-2
PARAM_VALUE	0	man->dev_priv->max_mob_pages	0-1073741823
PARAM_VALUE	0	man->dev_priv->max_primary_mem	0-u32max
PARAM_VALUE	0	man->dev_priv->num_irq_vectors	0-s32max
PARAM_VALUE	0	man->dev_priv->sm_type	0-4
PARAM_VALUE	0	man->dev_priv->waiter_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	man->lock.rlock.dep_map->name	0-255
BUF_SIZE	0	man	(-1)-0,1272
BUF_SIZE	0	man	(-1)-0,1272
BUF_SIZE	0	man->dheaders	(-1),192
BUF_SIZE	0	man->headers	(-1),192
DATA_SOURCE	0	man	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	man->dev_priv->capabilities	16777216-2147483646,2147483648-u32max
HOST_DATA	0	man->dev_priv->capabilities2	0-u32max
HOST_DATA	0	man->dev_priv->config_done_state	0-u32max
HOST_DATA	0	man->dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags	0,4-u32max
HOST_DATA	0	man->dev_priv->enable_state	0-u32max
HOST_DATA	0	man->dev_priv->fb_max_height	0-u32max
HOST_DATA	0	man->dev_priv->fb_max_width	0-u32max[c]
HOST_DATA	0	man->dev_priv->fifo_mem_size	0-u32max
HOST_DATA	0	man->dev_priv->initial_height	801-u32max[c]
HOST_DATA	0	man->dev_priv->initial_width	1281-u32max[c]
HOST_DATA	0	man->dev_priv->last_read_seqno.counter	s32min-s32max
HOST_DATA	0	man->dev_priv->marker_seq.counter	s32min-s32max
HOST_DATA	0	man->dev_priv->max_gmr_ids	0-u32max
HOST_DATA	0	man->dev_priv->max_gmr_pages	0-u32max
HOST_DATA	0	man->dev_priv->max_mob_pages	0-1073741823[c]
HOST_DATA	0	man->dev_priv->max_mob_size	0-u32max
HOST_DATA	0	man->dev_priv->max_primary_mem	0-u32max
HOST_DATA	0	man->dev_priv->memory_size	0-u32max
HOST_DATA	0	man->dev_priv->stdu_max_height	0-u32max
HOST_DATA	0	man->dev_priv->stdu_max_width	0-u32max
HOST_DATA	0	man->dev_priv->texture_max_height	0-u32max
HOST_DATA	0	man->dev_priv->texture_max_width	0-u32max
HOST_DATA	0	man->dev_priv->traces_state	0-u32max
HOST_DATA	0	man->dev_priv->vram_size	0-u32max
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.resource
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->dma_address
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->pages
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->sg
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->swap_storage
NO_OVERFLOW_SIMPLE	0	man->cur_pos
NO_OVERFLOW_SIMPLE	0	man->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE	0	man->headers->allocation
NO_OVERFLOW_SIMPLE	0	man->size
LOCK2	0	&man->lock
TYPE_LOCK		(struct vmw_cmdbuf_man)->lock

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_try_alloc() -> vmw_cmdbuf_man_process()

Type	Parameter	Key	Value
PARAM_VALUE	0	man	4096-ptr_max
PARAM_VALUE	0	man->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die	0-1
PARAM_VALUE	0	man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->dev_priv->active_display_unit	1-3
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	man->dev_priv->drm.dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	man->dev_priv->fifo_mem	1-u64max
PARAM_VALUE	0	man->dev_priv->fifo_mem_size	0-u32max
PARAM_VALUE	0	man->dev_priv->initial_height	800-u32max
PARAM_VALUE	0	man->dev_priv->initial_width	1280-u32max
PARAM_VALUE	0	man->dev_priv->map_mode	0-2
PARAM_VALUE	0	man->dev_priv->max_mob_pages	0-1073741823
PARAM_VALUE	0	man->dev_priv->max_primary_mem	0-u32max
PARAM_VALUE	0	man->dev_priv->num_irq_vectors	0-s32max
PARAM_VALUE	0	man->dev_priv->otable_batch.num_otables	5-6
PARAM_VALUE	0	man->dev_priv->query_cid_valid	0-1
PARAM_VALUE	0	man->dev_priv->sm_type	0-4
PARAM_VALUE	0	man->dheaders->size	0-4294967295
PARAM_VALUE	0	man->has_pool	1
PARAM_VALUE	0	man->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	man->space_mutex.dep_map->name	0-255
PARAM_VALUE	0	man->space_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	man->space_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	man->space_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	man->space_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	man->space_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	man->space_mutex.wait_lock.owner_cpu	u32max
BUF_SIZE	0	man	(-1)-0,1272
BUF_SIZE	0	man	(-1)-0,1272
DATA_SOURCE	0	man	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.sg->orig_nents
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->dma_address
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->pages
NO_OVERFLOW_SIMPLE	0	man->cmd_space->tbo.ttm->swap_storage
NO_OVERFLOW_SIMPLE	0	man->cur->cb_header->length
NO_OVERFLOW_SIMPLE	0	man->cur_pos
NO_OVERFLOW_SIMPLE	0	man->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE	0	man->dheaders->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE	0	man->size
NO_OVERFLOW_SIMPLE	0	man->using_mob
LOCK2	0	&man->lock
LOCK2	0	&man->space_mutex
HALF_LOCKED2	0	&man->cur_mutex
TYPE_LOCK		(struct vmw_cmdbuf_man)->lock
TYPE_LOCK		(struct vmw_cmdbuf_man)->space_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_work_func() -> vmw_cmdbuf_man_process()

Type	Parameter	Key	Value
PARAM_VALUE	0	man	4096-ptr_max
PARAM_VALUE	0	man->ctx	4096-ptr_max
PARAM_VALUE	0	man->error_mutex.dep_map->name	0-255
PARAM_VALUE	0	man->error_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	man->error_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	man->error_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	man->error_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	man->error_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	man->error_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	man->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	man->num_contexts	0-s32max
CAPPED_DATA	0	man->num_contexts	1
CAPPED_DATA	0	&man->error	1
CAPPED_DATA	0	&man->error_mutex	1
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2	0	&man->error_mutex
LOCK2	0	&man->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct vmw_cmdbuf_man)->error_mutex
TYPE_LOCK		(struct vmw_cmdbuf_man)->lock