Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c
- drivers/gpu/drm/vmwgfx/vmwgfx_kms.c, line 1855
- drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c
- drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c
- drivers/gpu/drm/vmwgfx/vmwgfx_validation.c
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_do_bo_dirty() -> vmw_validation_unref_lists()
| 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->resource_list.prev | 4096-ptr_max |
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_do_surface_dirty() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7585702269307932672 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 7585702269307932728 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_scrn.c vmw_kms_sou_readback() -> vmw_validation_unref_lists()
| 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->resource_list.prev | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_validation.c vmw_validation_done() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 940911487080480768,1192513370913505280,2077809383998148608,7585702269307932672,7795159572736405504,8673141617206779904 |
| 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,1192513370913505336,2077809383998148664,7585702269307932728,7795159572736405560,8673141617206779960 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctx->res_mutex->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->ticket.first_lock_dep_map->name | 0-255 |
| CAPPED_DATA | 0 | ctx->res_mutex | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_validation.c vmw_validation_revert() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 940911487080480768,1192513370913505280,7795159572736405504 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 940911487080480824,1192513370913505336,7795159572736405560 |
| PARAM_VALUE | 0 | ctx->res_mutex | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctx->res_mutex->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->res_mutex->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->res_mutex->wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.next->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | ctx->res_mutex | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_kms_stdu_readback() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8673141617206779904 |
| 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 | 8673141617206779960 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 8673141617206779912 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_stdu.c vmw_kms_stdu_surface_dirty() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2077809383998148608 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 2077809383998148664 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mode_config.mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c __vmw_execbuf_release_pinned_bo() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3081122521361199104 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 3081122521361199160 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 3081122521361199128 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 3081122521361199128 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 3081122521361199112 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 3081122521361199112 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev_priv->cmdbuf_mutex | ||
| TYPE_LOCK | (struct vmw_private)->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c __vmw_execbuf_release_pinned_bo() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3081122521361199104 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 3081122521361199160 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.next | 3081122521361199128 |
| PARAM_VALUE | 0 | ctx->resource_ctx_list.prev | 3081122521361199128 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 3081122521361199112 |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 3081122521361199112 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev_priv->cmdbuf_mutex | ||
| TYPE_LOCK | (struct vmw_private)->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_execbuf_process() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->mem_size_left | 0-2147483791 |
| PARAM_VALUE | 0 | ctx->merge_dups | 1 |
| PARAM_VALUE | 0 | ctx->page_list.next | 1255665894879240248 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 1255665894879240200 |
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_execbuf_process() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->mem_size_left | 0-2147483791 |
| PARAM_VALUE | 0 | ctx->merge_dups | 1 |
| PARAM_VALUE | 0 | ctx->page_list.next | 1255665894879240248 |
| PARAM_VALUE | 0 | ctx->resource_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->resource_list.prev | 1255665894879240200 |
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_kms.c vmw_du_helper_plane_update() -> vmw_validation_unref_lists()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 940911487080480768 |
| PARAM_VALUE | 0 | ctx->bo_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->page_list.next | 940911487080480824 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |