Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gpusvm.c drm_gpusvm_range_find_or_insert() -> drm_gpusvm_notifier_alloc()

Type Parameter Key Value
PARAM_VALUE 0 gpusvm 4096-ptr_max
PARAM_VALUE 0 gpusvm->chunk_sizes 0,326957153881444352
PARAM_VALUE 0 gpusvm->mm 4096-ptr_max
PARAM_VALUE 0 gpusvm->mm->mm_users.counter 0-s32max
PARAM_VALUE 0 gpusvm->name 0,3247675261583343616,8321627992709902336
PARAM_VALUE 0 gpusvm->notifier_size 0-u32max,9157251904928550912
PARAM_VALUE 0 gpusvm->num_chunks 0,3
PARAM_VALUE 0 gpusvm->ops 0,9157251904928550912
CAPPED_DATA 0 gpusvm->mm_start 1
CAPPED_DATA 1 fault_addr 1
CAPPED_DATA 1 fault_addr 1
DATA_SOURCE 0 gpusvm $0
DATA_SOURCE 1 fault_addr $1
PARAM_COMPARE 1 fault_addr >= $0->mm_start
PARAM_COMPARE 1 fault_addr >= $0->mm_start
RX_PATH
TASK_NOT_RUNNING
UNITS 1 fault_addr unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &vm->lock