Documented in 1 files:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/gpu/drm/vmwgfx/vmwgfx_context.c, line 736
- drivers/gpu/drm/vmwgfx/vmwgfx_drv.c, line 1092
- drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c
- drivers/gpu/drm/vmwgfx/vmwgfx_ioctl.c, line 101
- drivers/gpu/drm/vmwgfx/vmwgfx_mob.c, line 305
- drivers/gpu/drm/vmwgfx/vmwgfx_surface.c
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_driver_load() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev_priv->fman | 112 |
| BUF_SIZE | 0 | dev_priv->tdev | 272 |
| CAPPED_DATA | 0 | dev_priv->fb_max_width | 1 |
| CAPPED_DATA | 0 | dev_priv->fman->dev_priv->fb_max_width | 1 |
| DATA_SOURCE | 0 | dev_priv | $0 |
| BIT_INFO | 0 | dev_priv->fman->dev_priv->num_irq_vectors | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev_priv->capabilities | 32768-2147483646,2147483648-u32max |
| HOST_DATA | 0 | dev_priv->capabilities2 | 0-u32max |
| HOST_DATA | 0 | dev_priv->fb_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->fb_max_width | 0-u32max[c] |
| HOST_DATA | 0 | dev_priv->fifo_mem_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->capabilities | 32768-2147483646,2147483648-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->capabilities2 | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->fb_max_height | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->fb_max_width | 0-4294967295[c] |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->fifo_mem_size | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->initial_height | 801-4294967295[c] |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->initial_width | 1281-4294967295[c] |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->max_gmr_ids | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->max_gmr_pages | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->max_mob_pages | 0-1073741823[c] |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->max_mob_size | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->max_primary_mem | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->memory_size | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->stdu_max_height | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->stdu_max_width | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->texture_max_height | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->texture_max_width | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->fman->dev_priv->vram_size | 0-4294967295 |
| HOST_DATA | 0 | dev_priv->initial_height | 801-u32max[c] |
| HOST_DATA | 0 | dev_priv->initial_width | 1281-u32max[c] |
| HOST_DATA | 0 | dev_priv->max_gmr_ids | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_gmr_pages | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_mob_pages | 0-1073741823[c] |
| HOST_DATA | 0 | dev_priv->max_mob_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_primary_mem | 0-u32max |
| HOST_DATA | 0 | dev_priv->memory_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->stdu_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->stdu_max_width | 0-u32max |
| HOST_DATA | 0 | dev_priv->texture_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->texture_max_width | 0-u32max |
| HOST_DATA | 0 | dev_priv->vram_size | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | dev_priv->fman->dev_priv->drm.num_crtcs |
drivers/gpu/drm/vmwgfx/vmwgfx_ioctl.c vmw_getparam_ioctl() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev_priv | r vmw_priv |
drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_context_define() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev_priv | r vmw_priv |
drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_format_bpp_to_svga() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev_priv | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_gb_surface_define_internal() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev_priv->sm_type | 0-2 |
| DATA_SOURCE | 0 | dev_priv | r vmw_priv |
| HARD_MAX | 0 | dev_priv->sm_type | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_surface_dirty_sync() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_surface_dirty_sync() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_mob.c vmw_otables_setup() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev_priv->sm_type | 0-4 |
| BUF_SIZE | 0 | dev_priv->cman | (-1)-0,1272 |
| BUF_SIZE | 0 | dev_priv->fman | (-1),112 |
| BUF_SIZE | 0 | dev_priv->tdev | (-1),272 |
| CAPPED_DATA | 0 | dev_priv->cman->num_contexts | 1 |
| DATA_SOURCE | 0 | dev_priv | $0 |
| FUZZY_MAX | 0 | dev_priv->sm_type | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev_priv->capabilities | 32768-2147483646,2147483648-u32max |
| HOST_DATA | 0 | dev_priv->capabilities2 | 0-u32max |
| HOST_DATA | 0 | dev_priv->config_done_state | 0-u32max |
| HOST_DATA | 0 | dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags | 0,4-u32max |
| HOST_DATA | 0 | dev_priv->enable_state | 0-u32max |
| HOST_DATA | 0 | dev_priv->fb_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->fb_max_width | 0-u32max[c] |
| HOST_DATA | 0 | dev_priv->fifo_mem_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->initial_height | 801-u32max[c] |
| HOST_DATA | 0 | dev_priv->initial_width | 1281-u32max[c] |
| HOST_DATA | 0 | dev_priv->max_gmr_ids | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_gmr_pages | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_mob_pages | 0-1073741823[c] |
| HOST_DATA | 0 | dev_priv->max_mob_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->max_primary_mem | 0-u32max |
| HOST_DATA | 0 | dev_priv->memory_size | 0-u32max |
| HOST_DATA | 0 | dev_priv->stdu_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->stdu_max_width | 0-u32max |
| HOST_DATA | 0 | dev_priv->texture_max_height | 0-u32max |
| HOST_DATA | 0 | dev_priv->texture_max_width | 0-u32max |
| HOST_DATA | 0 | dev_priv->traces_state | 0-u32max |
| HOST_DATA | 0 | dev_priv->vram_size | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | dev_priv->cman->dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | dev_priv->fman->dev_priv->drm.num_crtcs |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_resource_context_res_add() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv->sm_type | 0-4 |
| DATA_SOURCE | 0 | dev_priv | $0 |
| HALF_LOCKED2 | &dev_priv->binding_mutex | ||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_resource_context_res_add() -> has_sm4_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev_priv->sm_type | 0-4 |
| CAPPED_DATA | 0 | &dev_priv->binding_mutex | 1 |
| DATA_SOURCE | 0 | dev_priv | $0 |
| LOCK2 | 0 | &dev_priv->binding_mutex | |
| HALF_LOCKED2 | &dev_priv->binding_mutex | ||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex | ||
| TYPE_LOCK | (struct vmw_private)->binding_mutex |