Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_events.c destroy_events() -> destroy_event()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->n_pdds 0-64
PARAM_VALUE 0 p->svms.deferred_list_work.lockdep_map->name 0-255
PARAM_VALUE 0 p->svms.drain_pagefaults.counter 0-1
PARAM_VALUE 0 p->svms.lock.magic 0,4096-ptr_max
PARAM_VALUE 0 p->svms.restore_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 *p->pdds 0
PARAM_VALUE 1 ev 1-u64max
BUF_SIZE 0 p (-1),3376
BUF_SIZE 0 p (-1),3376
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->event_idr.idr_base 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 ev r idr_get_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &kfd_processes_mutex

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_events.c kfd_event_destroy() -> destroy_event()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->event_mutex.dep_map->name 0-255
PARAM_VALUE 0 p->event_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 p->event_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 p->event_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 p->event_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 p->event_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 p->event_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 p->lead_thread 4096-ptr_max
PARAM_VALUE 1 ev 1-u64max
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
CAPPED_DATA 0 p->lead_thread 1
CAPPED_DATA 0 &p->event_mutex 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 ev r lookup_event_by_id
NOCHECK_CALL
LOCK2 0 &p->event_mutex
TYPE_LOCK (struct kfd_process)->event_mutex