Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_space_pool() -> vmw_cmdbuf_alloc_space()

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->sm_type 0-4
PARAM_VALUE 0 man->has_pool 1
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 size 961-u64max
BUF_SIZE 0 man (-1)-0,1272
BUF_SIZE 0 man (-1)-0,1272
DATA_SOURCE 0 man $0
DATA_SOURCE 2 size $2
DATA_SOURCE 3 interruptible $3
NOSPEC 2 size
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 size 961-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.bdev->pool.dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 man->cmd_space->tbo.ttm->backup
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
UNITS 2 size unit_byte
HALF_LOCKED2 0 &man->cur_mutex