Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_do_bo_dirty() -> vmw_validation_revert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1192513370913505280 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->mem_size_left | 0-2147483791 |
| PARAM_VALUE | 0 | ctx->page_list.next | 1192513370913505336 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 1192513370913505288 |
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_readback() -> vmw_validation_revert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7795159572736405504 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->mem_size_left | 0-2147483791 |
| PARAM_VALUE | 0 | ctx->page_list.next | 7795159572736405560 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 7795159572736405512 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_du_helper_plane_update() -> vmw_validation_revert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 940911487080480768 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->mem_size_left | 0-2147483791 |
| PARAM_VALUE | 0 | ctx->page_list.next | 940911487080480824 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.next | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |