Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_devcoredump.c xe_devcoredump() -> devcoredump_snapshot()

Type Parameter Key Value
PARAM_VALUE 0 coredump 4096-ptr_max
PARAM_VALUE 0 coredump->captured 1
PARAM_VALUE 0 coredump->lock.dep_map->name 0-255
PARAM_VALUE 0 coredump->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 coredump->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 coredump->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 coredump->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 coredump->lock.wait_lock.owner (-1)
PARAM_VALUE 0 coredump->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->gt 4096-ptr_max
PARAM_VALUE 1 q->guc 4096-ptr_max
PARAM_VALUE 2 job 4096-ptr_max
PARAM_VALUE 2 job->fence 4096-ptr_max
PARAM_VALUE 2 job->fence->ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 2 job->fence->ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 2 job->q 4096-ptr_max
PARAM_VALUE 2 job->q->guc 4096-ptr_max
PARAM_VALUE 2 job->q->guc->sched.base.pause_submit 1
PARAM_VALUE 2 job->q->guc->sched.base.work_free_job.lockdep_map->name 0-255
PARAM_VALUE 2 job->q->guc->sched.base.work_run_job.lockdep_map->name 0-255
PARAM_VALUE 2 job->q->guc->sched.work_process_msg.lockdep_map->name 0-255
PARAM_VALUE 2 job->q->multi_queue.valid 1
PARAM_VALUE 2 job->q->vm 0,4096-ptr_max
BUF_SIZE 0 coredump 584
BUF_SIZE 0 coredump->snapshot.reason (-1)-s32max
CAPPED_DATA 0 coredump->snapshot.reason 1
CAPPED_DATA 0 &coredump->lock 1
DATA_SOURCE 1 q $0
DATA_SOURCE 2 job $1
STR_LEN 0 coredump 61,66
STR_LEN 1 q 61,66
NOCHECK_CALL
LOCK2 0 &coredump->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xe_devcoredump)->lock