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_remove() -> drm_gpusvm_notifier_remove()

Type Parameter Key Value
PARAM_VALUE 0 gpusvm 4096-ptr_max
PARAM_VALUE 0 gpusvm->mm_start 0
PARAM_VALUE 0 gpusvm->name 3247675261583343616,8321627992709902336
PARAM_VALUE 0 gpusvm->notifier_lock.dep_map->name 0-255
PARAM_VALUE 0 gpusvm->notifier_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 gpusvm->notifier_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 gpusvm->notifier_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 gpusvm->notifier_lock.first_waiter->type 0-1
PARAM_VALUE 0 gpusvm->notifier_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 gpusvm->notifier_lock.wait_lock.owner (-1)
PARAM_VALUE 0 gpusvm->notifier_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 gpusvm->notifier_size 0-u32max
PARAM_VALUE 0 gpusvm->num_chunks 0,3
PARAM_VALUE 0 gpusvm->ops 0,9157251904928550912
PARAM_VALUE 0 gpusvm->root.rb_root.rb_node 1-u64max
PARAM_VALUE 1 notifier 4096-ptr_max
PARAM_VALUE 1 notifier->root.rb_leftmost->rb_left 0
CAPPED_DATA 0 &gpusvm->notifier_lock 1
DATA_SOURCE 0 gpusvm $0
DATA_SOURCE 1 notifier r drm_gpusvm_notifier_find
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 _T->lock