Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_guc_submit.c xe_guc_exec_queue_snapshot_print() -> guc_exec_queue_wq_snapshot_print()

Type Parameter Key Value
PARAM_VALUE 0 snapshot 4096-ptr_max
PARAM_VALUE 0 snapshot->parallel_execution 1
PARAM_VALUE 0 *snapshot->parallel.wq 0-4294967295
PARAM_VALUE 1 p 359004778748858368,6791083756438781952
PARAM_VALUE 1 p->printfn 4096-ptr_max
BUF_SIZE 0 snapshot (-1),1136
BUF_SIZE 0 snapshot (-1),1136
DATA_SOURCE 0 snapshot $0
DATA_SOURCE 1 p $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 snapshot->parallel.wq_desc.head 0-u32max
HOST_DATA 0 snapshot->parallel.wq_desc.status 0-u32max
HOST_DATA 0 snapshot->parallel.wq_desc.tail 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 snapshot->width
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &m->lock