Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/gpu/drm/vmwgfx/vmwgfx_kms.c, line 1791
- drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c
- drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_do_bo_dirty() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1192513370913505280 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 1192513370913505320 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 1192513370913505336 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 1192513370913505304 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 1192513370913505304 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 1192513370913505288 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 1192513370913505288 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 0 |
| DATA_SOURCE | 2 | intr | $6 |
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_do_surface_dirty() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7585702269307932672 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 7585702269307932712 |
| PARAM_VALUE | 0 | ctx->bo_list.prev | 7585702269307932712 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 7585702269307932728 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 7585702269307932680 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 4096-ptr_max |
| PARAM_VALUE | 2 | intr | 1 |
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_readback() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7795159572736405504 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 7795159572736405544 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 7795159572736405560 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 7795159572736405528 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 7795159572736405528 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 7795159572736405512 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 7795159572736405512 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 0 |
| PARAM_VALUE | 2 | intr | 1 |
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_kms_stdu_readback() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8673141617206779904 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 8673141617206779944 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 8673141617206779960 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 8673141617206779928 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 8673141617206779928 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 8673141617206779912 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 8673141617206779912 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 0 |
| PARAM_VALUE | 2 | intr | 1 |
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_kms_stdu_surface_dirty() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2077809383998148608 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 2077809383998148648 |
| PARAM_VALUE | 0 | ctx->bo_list.prev | 2077809383998148648 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 2077809383998148664 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 2077809383998148616 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 4096-ptr_max |
| PARAM_VALUE | 2 | intr | 1 |
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_du_helper_plane_update() -> vmw_validation_prepare()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 940911487080480768 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 940911487080480808 |
| PARAM_VALUE | 0 | ctx->merge_dups | 0 |
| PARAM_VALUE | 0 | ctx->page_list.next | 940911487080480824 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 940911487080480776 |
| PARAM_VALUE | 0 | ctx->sw_context | 0 |
| PARAM_VALUE | 0 | ctx->ticket.acquired | 0 |
| PARAM_VALUE | 0 | ctx->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_countdown | 0 |
| PARAM_VALUE | 0 | ctx->ticket.deadlock_inject_interval | 0 |
| PARAM_VALUE | 0 | ctx->ticket.done_acquire | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.cpu | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.key | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.lock_type | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.name | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 0 | ctx->ticket.stamp | 0 |
| PARAM_VALUE | 0 | ctx->ticket.task | 0 |
| PARAM_VALUE | 0 | ctx->ticket.wounded | 0 |
| PARAM_VALUE | 1 | mutex | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |