Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_cmd.c vmw_cmd_send_fence() -> vmw_has_fences()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
DATA_SOURCE 0 vmw $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->backup
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->dma_address
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->pages
NO_OVERFLOW_SIMPLE 0 vmw->cman->cur_pos
NO_OVERFLOW_SIMPLE 0 vmw->cman->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->cman->headers->allocation
NO_OVERFLOW_SIMPLE 0 vmw->cman->size
NO_OVERFLOW_SIMPLE 0 vmw->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->fifo->static_buffer_size
NO_OVERFLOW_SIMPLE 0 vmw->fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &man->error_mutex
HALF_LOCKED2 0 &vmw->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_irq.c vmw_seqno_passed() -> vmw_has_fences()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->fifo_mem 1-u64max
BUF_SIZE 0 vmw->fman (-1),112
BUF_SIZE 0 vmw->tdev (-1),272
DATA_SOURCE 0 vmw $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vmw->capabilities 32768-2147483646,2147483648-u32max
HOST_DATA 0 vmw->capabilities2 0-u32max
HOST_DATA 0 vmw->config_done_state 0-u32max
HOST_DATA 0 vmw->drm.mode_config.max_height 0-u32max
HOST_DATA 0 vmw->drm.mode_config.max_width 0-u32max
HOST_DATA 0 vmw->drm.mode_config.object_idr.idr_rt.xa_flags 0,4-u32max
HOST_DATA 0 vmw->enable_state 0-u32max
HOST_DATA 0 vmw->fb_max_height 0-u32max
HOST_DATA 0 vmw->fb_max_width 0-u32max[c]
HOST_DATA 0 vmw->fifo_mem_size 0-u32max
HOST_DATA 0 vmw->initial_height 801-u32max[c]
HOST_DATA 0 vmw->initial_width 1281-u32max[c]
HOST_DATA 0 vmw->last_read_seqno.counter s32min-s32max
HOST_DATA 0 vmw->max_gmr_ids 0-u32max
HOST_DATA 0 vmw->max_gmr_pages 0-u32max
HOST_DATA 0 vmw->max_mob_pages 0-1073741823[c]
HOST_DATA 0 vmw->max_mob_size 0-u32max
HOST_DATA 0 vmw->max_primary_mem 0-u32max
HOST_DATA 0 vmw->memory_size 0-u32max
HOST_DATA 0 vmw->stdu_max_height 0-u32max
HOST_DATA 0 vmw->stdu_max_width 0-u32max
HOST_DATA 0 vmw->texture_max_height 0-u32max
HOST_DATA 0 vmw->texture_max_width 0-u32max
HOST_DATA 0 vmw->traces_state 0-u32max
HOST_DATA 0 vmw->vram_size 0-u32max
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->dma_address
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->pages
NO_OVERFLOW_SIMPLE 0 vmw->cman->cmd_space->tbo.ttm->sg
NO_OVERFLOW_SIMPLE 0 vmw->cman->cur_pos
NO_OVERFLOW_SIMPLE 0 vmw->cman->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->cman->headers->allocation
NO_OVERFLOW_SIMPLE 0 vmw->cman->size
NO_OVERFLOW_SIMPLE 0 vmw->drm.mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 vmw->drm.mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 vmw->drm.mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 vmw->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->fifo->static_buffer_size
NO_OVERFLOW_SIMPLE 0 vmw->fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &fifo_state->rwsem
HALF_LOCKED2 0 &vmw->cmdbuf_mutex