Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/rocket/rocket_job.c rocket_job_handle_irq() -> rocket_job_hw_submit()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->dev 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job->next_task_idx 0-4294967294
PARAM_VALUE 0 core->in_flight_job->task_count 1-u32max
PARAM_VALUE 1 job 4096-ptr_max
PARAM_VALUE 1 job->next_task_idx 0-4294967294
PARAM_VALUE 1 job->task_count 1-u32max
CAPPED_DATA 0 core->in_flight_job->next_task_idx 1
CAPPED_DATA 1 job->next_task_idx 1
DATA_SOURCE 0 core $0
PARAM_COMPARE 0 core->in_flight_job->next_task_idx < $0->in_flight_job->task_count
PARAM_COMPARE 1 job->next_task_idx < $0->in_flight_job->task_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 irq

drivers/accel/rocket/rocket_job.c rocket_job_run() -> rocket_job_hw_submit()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->dev 4096-ptr_max
PARAM_VALUE 0 core->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 core->dev->class 0,4096-ptr_max
PARAM_VALUE 0 core->dev->power.request 0-4
PARAM_VALUE 0 core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 core->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 core->dev->type 0,4096-ptr_max
PARAM_VALUE 0 core->in_flight_job 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job->base.s_fence 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job->domain 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job->done_fence 4096-ptr_max
PARAM_VALUE 0 core->in_flight_job->rdev 4096-ptr_max
PARAM_VALUE 0 core->iommu_group 4096-ptr_max
PARAM_VALUE 1 job 4096-ptr_max
PARAM_VALUE 1 job->base.s_fence 4096-ptr_max
PARAM_VALUE 1 job->base.s_fence->finished.error 0
PARAM_VALUE 1 job->domain 4096-ptr_max
PARAM_VALUE 1 job->done_fence 4096-ptr_max
PARAM_VALUE 1 job->rdev 4096-ptr_max
BUF_SIZE 1 job->done_fence 128
DATA_SOURCE 0 core r sched_to_core
DATA_SOURCE 1 job r to_rocket_job
PARAM_COMPARE 1 job->next_task_idx != $1->task_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &sched->job_list_lock