Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_device_init() -> vmw_cmd_supported()

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.object_idr.idr_rt.xa_flags 0,4-67108868
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->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->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->fman->dev_priv->drm.num_crtcs

drivers/gpu/drm/vmwgfx/vmwgfx_ldu.c vmw_ldu_init() -> vmw_cmd_supported()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 0 vmw->fifo_mem 1-ptr_max
PARAM_VALUE 0 vmw->pci_id 1029-1030
BUF_SIZE 0 vmw->fman 112
BUF_SIZE 0 vmw->ldu_priv 32
BUF_SIZE 0 vmw->tdev 272
CAPPED_DATA 0 vmw->fb_max_width 1
CAPPED_DATA 0 vmw->fman->dev_priv->fb_max_width 1
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->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->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->vram_size 0-u32max
NO_OVERFLOW_SIMPLE 0 vmw->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vmwgfx/vmwgfx_ldu.c vmw_ldu_init() -> vmw_cmd_supported()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 0 vmw->fifo_mem 1-ptr_max
PARAM_VALUE 0 vmw->pci_id 1029-1030
BUF_SIZE 0 vmw->fman 112
BUF_SIZE 0 vmw->ldu_priv 32
BUF_SIZE 0 vmw->tdev 272
CAPPED_DATA 0 vmw->fb_max_width 1
CAPPED_DATA 0 vmw->fman->dev_priv->fb_max_width 1
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->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->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->vram_size 0-u32max
NO_OVERFLOW_SIMPLE 0 vmw->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 vmw->fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vmwgfx/vmwgfx_ldu.c vmw_ldu_primary_plane_atomic_update() -> vmw_cmd_supported()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
DATA_SOURCE 0 vmw r vmw_priv
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vkms_output->lock
HALF_LOCKED2 irq

drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_du_cleanup() -> vmw_cmd_supported()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
DATA_SOURCE 0 vmw r vmw_priv
RX_PATH
TASK_NOT_RUNNING