Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/i915_vma.c __i915_vma_unbind() -> vma_print_allocator()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 reason 2957891284950073344
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma->vm (-1),1208
BUF_SIZE 1 reason 10
DATA_SOURCE 0 vma $0
STR_LEN 0 vma 9
TERMINATED 1 reason 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vma->guard 0-u32max[c]
USER_DATA 0 vma->node.size 1-2149580798[c]
USER_DATA 0 vma->node.start 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->fence_size
NO_OVERFLOW_SIMPLE 0 vma->obj->base.size
NO_OVERFLOW_SIMPLE 0 vma->resource->vma_size
NO_OVERFLOW_SIMPLE 0 vma->size
NO_OVERFLOW_SIMPLE 0 vma->vm->total
HALF_LOCKED2 &ggtt->vm.mutex
HALF_LOCKED2 &gt->ggtt->vm.mutex
HALF_LOCKED2 &vm->mutex
HALF_LOCKED2 obj->base.resv
HALF_LOCKED2 0 vma->obj->base.resv
HALF_LOCKED2 0 &vma->vm->mutex

drivers/gpu/drm/i915/i915_vma.c i915_vma_unbind() -> vma_print_allocator()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 reason 2957891284950073344
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma->vm (-1),1208
BUF_SIZE 1 reason 10
CAPPED_DATA 0 vma 1
DATA_SOURCE 0 vma $0
STR_LEN 0 vma 9
TERMINATED 1 reason 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vma->guard 0-u32max[c]
USER_DATA 0 vma->node.size 1-2149580798[c]
USER_DATA 0 vma->node.start 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->fence_size
NO_OVERFLOW_SIMPLE 0 vma->obj->base.size
NO_OVERFLOW_SIMPLE 0 vma->size
NO_OVERFLOW_SIMPLE 0 vma->vm->total
HALF_LOCKED2 obj->base.resv
HALF_LOCKED2 0 vma->obj->base.resv

drivers/gpu/drm/i915/i915_vma.c i915_vma_unbind_async() -> vma_print_allocator()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 reason 2957891284950073344
BUF_SIZE 1 reason 10
DATA_SOURCE 0 vma $0
STR_LEN 0 vma 9
TERMINATED 1 reason 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 obj->base.resv