Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_cmd.c vmw_supports_3d() -> vmw_devcap_get()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 134217728-u32max
PARAM_VALUE 1 devcap 0
DATA_SOURCE 0 vmw $0
BIT_INFO 0 vmw->capabilities 0x8004000,0xffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> vmw_devcap_get()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 268435456-2147483646,2147483648-u32max
PARAM_VALUE 1 devcap 95
BUF_SIZE 0 vmw->fman 112
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
BIT_INFO 0 vmw->capabilities 0x10000000,0xffffffff
BIT_INFO 0 vmw->fman->dev_priv->num_irq_vectors 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vmw->capabilities 268435456-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->fman->dev_priv->capabilities 268435456-2147483646,2147483648-4294967295
HOST_DATA 0 vmw->fman->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 vmw->fman->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->memory_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->vram_size 0-4294967295
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

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> vmw_devcap_get()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 1 devcap 244
BUF_SIZE 0 vmw->fman 112
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
BIT_INFO 0 vmw->capabilities2 0x4,0xffffffff
BIT_INFO 0 vmw->fman->dev_priv->num_irq_vectors 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vmw->capabilities 32768-2147483646,2147483648-u32max
HOST_DATA 0 vmw->capabilities2 4-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->fman->dev_priv->capabilities 32768-2147483646,2147483648-4294967295
HOST_DATA 0 vmw->fman->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 vmw->fman->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->memory_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->vram_size 0-4294967295
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

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> vmw_devcap_get()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 32768-2147483646,2147483648-u32max
PARAM_VALUE 1 devcap 258
BUF_SIZE 0 vmw->fman 112
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
BIT_INFO 0 vmw->capabilities2 0x404,0xffffffff
BIT_INFO 0 vmw->fman->dev_priv->num_irq_vectors 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vmw->capabilities 32768-2147483646,2147483648-u32max
HOST_DATA 0 vmw->capabilities2 1024-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->fman->dev_priv->capabilities 32768-2147483646,2147483648-4294967295
HOST_DATA 0 vmw->fman->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 vmw->fman->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->memory_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->vram_size 0-4294967295
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

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> vmw_devcap_get()

Type Parameter Key Value
PARAM_VALUE 0 vmw 4096-ptr_max
PARAM_VALUE 0 vmw->capabilities 134217728-2147483646,2147483648-u32max
PARAM_VALUE 1 devcap 261
BUF_SIZE 0 vmw->fman 112
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
BIT_INFO 0 vmw->capabilities2 0x404,0xffffffffffffffff
BIT_INFO 0 vmw->fman->dev_priv->num_irq_vectors 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vmw->capabilities 134217728-2147483646,2147483648-u32max
HOST_DATA 0 vmw->capabilities2 1024-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->fman->dev_priv->capabilities 1048576-2147483646,2147483648-4294967295
HOST_DATA 0 vmw->fman->dev_priv->capabilities2 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->fb_max_width 0-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->fifo_mem_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->initial_height 801-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->initial_width 1281-4294967295[c]
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_ids 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_gmr_pages 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 vmw->fman->dev_priv->max_mob_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->max_primary_mem 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->memory_size 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->stdu_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_height 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->texture_max_width 0-4294967295
HOST_DATA 0 vmw->fman->dev_priv->vram_size 0-4294967295
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