Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_vm.c amdgpu_vm_update_range() -> amdgpu_vm_ptes_update()

Type Parameter Key Value
PARAM_VALUE 0 params 5800801173826154496
PARAM_VALUE 0 params->adev 4096-ptr_max
PARAM_VALUE 0 params->job 0,4096-ptr_max
PARAM_VALUE 0 params->tlb_flush_waitlist.next 4096-ptr_max
PARAM_VALUE 0 params->tlb_flush_waitlist.prev 5800801173826154544
DATA_SOURCE 1 start $7 [m]
DATA_SOURCE 4 flags $9
PARAM_COMPARE 1 start <= $2
PARAM_COMPARE 1 start <= $2
PARAM_COMPARE 2 end >= $1
NOSPEC 1 start
NOSPEC 1 start
MEM_ZERO 0 params
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 start 1-9007199254740990[c]
USER_DATA 2 end 1-13510798882111485[c]
UNITS 1 start unit_byte
UNITS 2 end unit_byte
UNITS 3 dst unit_byte
LOCK2 &vm->eviction_lock
LOCK2 global &drm_unplug_srcu
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &prange->lock
HALF_LOCKED2 &prange->migrate_mutex
HALF_LOCKED2 &svms->lock
TYPE_LOCK (struct amdgpu_vm)->eviction_lock