Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_exec_queue.c exec_queue_user_extensions() -> exec_queue_user_ext_check_final()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
BUF_SIZE 0 q 528-524808
BUF_SIZE 0 q 528-524808
CAPPED_DATA 0 q->width 1
DATA_SOURCE 0 q $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 q->flags 0-u64max[c][u]
USER_DATA 0 q->multi_queue.priority 0-2
USER_DATA 0 q->sched_props.priority 1-2[c]
USER_DATA 0 q->sched_props.timeslice_us 0-u32max
USER_DATA 0 q->width 0-u16max[c]
USER_DATA 1 properties 0-u64max[c][u]
HALF_LOCKED2 &param.hwe->gt->oa.gt_lock
HALF_LOCKED2 &vm->lock