Documented in 1 files:

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_get_attr() -> svm_range_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->lead_thread 4096-ptr_max
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->svms.deferred_list_work 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 start $2
DATA_SOURCE 2 size $3
USER_DATA 1 start 0-4503599627370495[u]
USER_DATA 2 size 0-4503599627370495[u]
UNITS 1 start unit_page
UNITS 2 size unit_page
LOCK2 &mm->mmap_lock
HALF_LOCKED2 0 &p->mutex
TYPE_LOCK (struct mm_struct)->mmap_lock

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_svm.c svm_range_set_attr() -> svm_range_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->context_id u16max
PARAM_VALUE 0 p->kgd_process_info 1-u64max
PARAM_VALUE 0 p->lead_thread 4096-ptr_max
PARAM_VALUE 0 p->svms.deferred_list_work.lockdep_map->name 0-255
BUF_SIZE 0 p s32min-(-1),1-s32max
BUF_SIZE 0 p s32min-(-1),1-s32max
CAPPED_DATA 0 p->lead_thread 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 start $2
DATA_SOURCE 2 size $3
USER_DATA 1 start 0-4503599627370495[u]
USER_DATA 2 size 0-4503599627370495[u]
UNITS 1 start unit_page
UNITS 2 size unit_page
LOCK2 &mm->mmap_lock
LOCK2 &process_info->lock
HALF_LOCKED2 0 &p->mutex
TYPE_LOCK (struct amdkfd_process_info)->lock
TYPE_LOCK (struct mm_struct)->mmap_lock