Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_validation.c xe_validation_ctx_init() -> xe_validation_lock()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->exec 0,4096-ptr_max
PARAM_VALUE 0 ctx->exec_flags 0
PARAM_VALUE 0 ctx->lock_held 0
PARAM_VALUE 0 ctx->lock_held_exclusive 0
PARAM_VALUE 0 ctx->nr 0
PARAM_VALUE 0 ctx->request_exclusive 0
PARAM_VALUE 0 ctx->val 4096-ptr_max
PARAM_VALUE 0 ctx->val_flags.exclusive 0
DATA_SOURCE 0 ctx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/xe/xe_validation.c xe_validation_exec_lock() -> xe_validation_lock()

Type Parameter Key Value
PARAM_VALUE 0 ctx 251065536908820480,5026827700315058176
PARAM_VALUE 0 ctx->exec 453114700980219904,1916338652422352896
PARAM_VALUE 0 ctx->exec->contended 0
PARAM_VALUE 0 ctx->exec->flags 0
PARAM_VALUE 0 ctx->exec->max_objects 0
PARAM_VALUE 0 ctx->exec->num_objects 0
PARAM_VALUE 0 ctx->exec->objects 0
PARAM_VALUE 0 ctx->exec->prelocked 0
PARAM_VALUE 0 ctx->exec->ticket.acquired 0
PARAM_VALUE 0 ctx->exec->ticket.contending_lock 0
PARAM_VALUE 0 ctx->exec->ticket.done_acquire 0
PARAM_VALUE 0 ctx->exec->ticket.first_lock_dep_map.ip 0
PARAM_VALUE 0 ctx->exec->ticket.is_wait_die 0
PARAM_VALUE 0 ctx->exec->ticket.stamp 0
PARAM_VALUE 0 ctx->exec->ticket.task 0
PARAM_VALUE 0 ctx->exec->ticket.wounded 0
PARAM_VALUE 0 ctx->exec->ticket.ww_class 0
PARAM_VALUE 0 ctx->exec_flags 1
PARAM_VALUE 0 ctx->lock_held 0
PARAM_VALUE 0 ctx->nr 0
PARAM_VALUE 0 ctx->val 4096-ptr_max
PARAM_VALUE 0 ctx->val->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctx->val->lock.first_waiter->type 0-1
BUF_SIZE 0 ctx->exec 192
DATA_SOURCE 0 ctx $0
MEM_ZERO 0 ctx
LOCK2 &vm->lock
TYPE_LOCK (struct xe_vm)->lock

drivers/gpu/drm/xe/xe_validation.c xe_validation_should_retry() -> xe_validation_lock()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->exec 4096-ptr_max
PARAM_VALUE 0 ctx->exec->contended 0,4096-ptr_max,(-1)
PARAM_VALUE 0 ctx->exec->num_objects 1-u32max
PARAM_VALUE 0 ctx->exec->prelocked 0
PARAM_VALUE 0 ctx->exec_flags 0-3
PARAM_VALUE 0 ctx->lock_held 0
PARAM_VALUE 0 ctx->lock_held_exclusive 0
PARAM_VALUE 0 ctx->nr 0
PARAM_VALUE 0 ctx->request_exclusive 1
PARAM_VALUE 0 ctx->val 4096-ptr_max
PARAM_VALUE 0 ctx->val->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctx->val->lock.first_waiter->type 0-1
CAPPED_DATA 0 ctx->exec->objects 1
DATA_SOURCE 0 ctx $0
PARAM_COMPARE 0 ctx->lock_held_exclusive < $0->request_exclusive
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &driver_migrate_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &range->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu