Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_resource.c vmw_resource_do_evict() -> vmw_resource_check_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ticket 0,3141251131840983040
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->func 4096-ptr_max
PARAM_VALUE 1 res->func->may_evict 1
PARAM_VALUE 1 res->lru_head.next->prev 4096-ptr_max
PARAM_VALUE 1 res->lru_head.prev->next 4096-ptr_max
PARAM_VALUE 3 val_buf 4044815630507290624
PARAM_VALUE 3 val_buf->bo 0
PARAM_VALUE 3 val_buf->num_shared 0
DATA_SOURCE 0 ticket $0
DATA_SOURCE 1 res $1
DATA_SOURCE 2 interruptible $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev_priv->cmdbuf_mutex