Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_queue.c kfd_queue_release_buffers() -> kfd_queue_buffer_svm_put()

Type Parameter Key Value
PARAM_VALUE 0 pdd 4096-ptr_max
PARAM_VALUE 0 pdd->dev 4096-ptr_max
PARAM_VALUE 0 pdd->drm_priv 4096-ptr_max
PARAM_VALUE 2 size 0,4096-137438953472
CAPPED_DATA 0 pdd->dev->id 1
DATA_SOURCE 0 pdd $0
BIT_INFO 2 size 0x0,0xfffffffffffff000
BIT_INFO 2 size 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0[c]
USER_DATA 2 size 0,4096-68719476736[c]
NO_OVERFLOW_SIMPLE 0 pdd->qpd.pqm->process->dbg_ev_file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 pdd->qpd.pqm->process->dbg_ev_file->f_path.moved->d_inode->i_size
HALF_LOCKED2 &p->mutex