Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/drm_gpuvm.c drm_gpuvm_free() -> (struct drm_gpuvm_ops)->vm_free()

Type Parameter Key Value
PARAM_VALUE 0 gpuvm 4096-ptr_max
PARAM_VALUE 0 gpuvm->kernel_alloc_node.rb.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 gpuvm->kernel_alloc_node.rb.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 gpuvm->kernel_alloc_node.rb.node.rb_right 0,4096-ptr_max
PARAM_VALUE 0 gpuvm->kernel_alloc_node.vm->rb.tree.rb_leftmost 0,4096-ptr_max
PARAM_VALUE 0 gpuvm->kernel_alloc_node.vm->rb.tree.rb_leftmost->rb_left 0
PARAM_VALUE 0 gpuvm->name 0
PARAM_VALUE 0 gpuvm->ops 4096-ptr_max
PARAM_VALUE 0 gpuvm->ops->vm_free 826467068035764224,3805946052293255168,5326365468746117120,6598819279086505984
PARAM_VALUE 0 gpuvm->r_obj 0,4096-ptr_max
CONTAINER 0 -0-200+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cli->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tlb_inval->seqno_lock