Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_svm.c svm_range_unmap_from_cpu() -> svm_range_unmap_split()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->lock.dep_map->name 0-255
PARAM_VALUE 0 parent->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 parent->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 parent->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 parent->saved_flags 0,2048
PARAM_VALUE 1 prange 4096-ptr_max
PARAM_VALUE 1 prange->lock.dep_map->name 0-255
PARAM_VALUE 1 prange->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 prange->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 prange->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 prange->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 prange->lock.wait_lock.owner (-1)
PARAM_VALUE 1 prange->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 start 0-4503599627370495
PARAM_VALUE 3 last 0-4503599627370495
CAPPED_DATA 0 parent 1
CAPPED_DATA 0 &parent->child_list 1
CAPPED_DATA 1 &prange->child_list 1
CAPPED_DATA 1 &prange->lock 1
CAPPED_DATA 2 start 1
CAPPED_DATA 2 start 1
CAPPED_DATA 3 last 1
CAPPED_DATA 3 last 1
DATA_SOURCE 0 parent $1
DATA_SOURCE 2 start $2
DATA_SOURCE 3 last $3
NOSPEC 2 start
NOSPEC 2 start
NOSPEC 3 last
NOSPEC 3 last
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 start 0-4503599627370495[c]
USER_DATA 3 last 0-4503599627370495[c]
UNITS 2 start unit_page
UNITS 3 last unit_page
LOCK2 0 &parent->lock
LOCK2 1 &prange->lock
HALF_LOCKED2 &ctx->map_changing_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
TYPE_LOCK (struct svm_range)->lock

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_svm.c svm_range_unmap_from_cpu() -> svm_range_unmap_split()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->lock.dep_map->name 0-255
PARAM_VALUE 0 parent->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 parent->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 parent->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 parent->saved_flags 0,2048
PARAM_VALUE 1 prange 4096-ptr_max
PARAM_VALUE 1 prange->lock.dep_map->name 0-255
PARAM_VALUE 1 prange->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 prange->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 prange->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 prange->saved_flags 0,2048
PARAM_VALUE 2 start 0-4503599627370495
PARAM_VALUE 3 last 0-4503599627370495
CAPPED_DATA 0 parent 1
CAPPED_DATA 0 &parent->child_list 1
CAPPED_DATA 1 prange 1
CAPPED_DATA 1 &prange->child_list 1
CAPPED_DATA 2 start 1
CAPPED_DATA 2 start 1
CAPPED_DATA 3 last 1
CAPPED_DATA 3 last 1
DATA_SOURCE 0 parent $1
DATA_SOURCE 1 prange $1
DATA_SOURCE 2 start $2
DATA_SOURCE 3 last $3
NOSPEC 2 start
NOSPEC 3 last
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 start 0-4503599627370495[c]
USER_DATA 3 last 0-4503599627370495[c]
UNITS 2 start unit_page
UNITS 3 last unit_page
LOCK2 0 &parent->lock
LOCK2 1 &prange->lock
HALF_LOCKED2 &ctx->map_changing_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex