Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_guc_submit.c guc_exec_queue_timedout_job() -> check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->guc 4096-ptr_max
PARAM_VALUE 0 q->guc->sched.base.pause_submit 1
PARAM_VALUE 0 q->guc->sched.base.work_free_job.lockdep_map->name 0-255
PARAM_VALUE 0 q->guc->sched.base.work_run_job.lockdep_map->name 0-255
PARAM_VALUE 0 q->guc->sched.work_process_msg.lockdep_map->name 0-255
PARAM_VALUE 0 q->vm 0,4096-ptr_max
PARAM_VALUE 1 job 4096-ptr_max
PARAM_VALUE 1 job->fence 4096-ptr_max
PARAM_VALUE 1 job->q 4096-ptr_max
PARAM_VALUE 1 job->q->guc 4096-ptr_max
PARAM_VALUE 1 job->q->vm 0,4096-ptr_max
DATA_SOURCE 1 job r to_xe_sched_job
HALF_LOCKED2 &pool->lock

kernel/bpf/rqspinlock.c resilient_queued_spin_lock_slowpath() -> check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 job 255
PARAM_VALUE 2 ts 486659910200528896
PARAM_VALUE 2 ts->duration 250000000
DATA_SOURCE 0 q $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 irq_flags

kernel/bpf/rqspinlock.c resilient_queued_spin_lock_slowpath() -> check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 job u16max
PARAM_VALUE 2 ts 486659910200528896
PARAM_VALUE 2 ts->duration 500000000
DATA_SOURCE 0 q $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 irq_flags

kernel/bpf/rqspinlock.c resilient_tas_spin_lock() -> check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->val.counter 0-s32max
PARAM_VALUE 1 job u32max
PARAM_VALUE 2 ts 148205143244316672
PARAM_VALUE 2 ts->duration 1000000000
DATA_SOURCE 0 q $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 irq_flags