Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_bind_exec_sync_op() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 456767225858682880
PARAM_VALUE 0 op_ctx->flags 268435456
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0,16,4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
PARAM_VALUE 1 vm 4096-ptr_max
PARAM_VALUE 1 vm->base.ops->vm_bo_alloc 0
PARAM_VALUE 1 vm->ptdev->gpu->pending_reqs 0-4294967295
DATA_SOURCE 1 vm $1
MEM_ZERO 0 op_ctx
NOCHECK_CALL
USER_DATA 0 op_ctx->rsvd_page_tables.count 0-u32max[c]
USER_DATA 1 vm->op_ctx->va.addr 0-u64max
USER_DATA 1 vm->op_ctx->va.range 0-u64max
NO_OVERFLOW_SIMPLE 1 vm->op_ctx->rsvd_page_tables.count
LOCK2 global &drm_unplug_srcu

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_bind_job_release() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_map_bo_range() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 5295572852818919424
PARAM_VALUE 0 op_ctx->flags 0-7
PARAM_VALUE 0 op_ctx->map.bo 4096-ptr_max
PARAM_VALUE 0 op_ctx->map.vm_bo 4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 16,4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
PARAM_VALUE 1 vm 4096-ptr_max
PARAM_VALUE 1 vm->base.ops->vm_bo_alloc 0
PARAM_VALUE 1 vm->mm_lock.dep_map->name 0-255
PARAM_VALUE 1 vm->mm_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 vm->mm_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 vm->mm_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 vm->mm_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 vm->mm_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 vm->mm_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 vm->mm_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 vm->ptdev->gpu->pending_reqs 0-4294967295
DATA_SOURCE 1 vm $0
MEM_ZERO 0 op_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op_ctx->map.bo_offset 0[c]
USER_DATA 0 op_ctx->rsvd_page_tables.count 0-u32max[c]
USER_DATA 1 vm->op_ctx->va.addr 0
USER_DATA 1 vm->op_ctx->va.range 0
NO_OVERFLOW_SIMPLE 1 vm->op_ctx->rsvd_page_tables.count
HALF_LOCKED2 1 &vm->heaps.lock

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_prepare_map_op_ctx() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 4096-ptr_max
PARAM_VALUE 0 op_ctx->flags 0-268435454
PARAM_VALUE 0 op_ctx->map.bo 0,4096-ptr_max
PARAM_VALUE 0 op_ctx->map.vm_bo 0,4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.count 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0,16,4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
PARAM_VALUE 1 vm 4096-ptr_max
PARAM_VALUE 1 vm->base.ops->vm_bo_alloc 0
BUF_SIZE 0 op_ctx->map.bo (-1),968
BUF_SIZE 0 op_ctx->map.vm_bo (-1),96
CAPPED_DATA 1 vm 1
DATA_SOURCE 0 op_ctx $0
DATA_SOURCE 1 vm $1
NOSPEC 0 op_ctx->va.range
MEM_ZERO 0 op_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op_ctx->flags 8-268435454[u]
USER_DATA 0 op_ctx->map.bo->base.size 0,4096-u64max[c]
USER_DATA 0 op_ctx->map.bo->base.vma_node.vm_node.size 1-s32max[c]
USER_DATA 0 op_ctx->map.bo->base.vma_node.vm_node.start 0-s32max[c]
USER_DATA 0 op_ctx->map.bo->flags 1[u]
USER_DATA 0 op_ctx->map.bo_offset 0-s32max[c]
USER_DATA 0 op_ctx->map.vm_bo->obj->size 0,4096-9223372036854775807[c]
USER_DATA 0 op_ctx->map.vm_bo->obj->vma_node.vm_node.size 1-s32max[c]
USER_DATA 0 op_ctx->map.vm_bo->obj->vma_node.vm_node.start 0-s32max[c]
USER_DATA 0 op_ctx->va.addr 0-18446744073709551614
USER_DATA 0 op_ctx->va.range 0-u64max
NO_OVERFLOW_SIMPLE 1 vm->op_ctx->rsvd_page_tables.count
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 1 &vm->heaps.lock

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_prepare_unmap_op_ctx() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 4096-ptr_max
PARAM_VALUE 0 op_ctx->flags 268435456
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0,4096-ptr_max
PARAM_VALUE 1 vm 0,4096-ptr_max
PARAM_VALUE 1 vm->ptdev->gpu->pending_reqs 0-4294967295
BUF_SIZE 0 op_ctx->rsvd_page_tables.pages 0,8-16
DATA_SOURCE 0 op_ctx $0
DATA_SOURCE 1 vm $1
MEM_ZERO 0 op_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op_ctx->va.addr 0-18446744073709551614
USER_DATA 0 op_ctx->va.range 0-u64max
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/panthor/panthor_mmu.c panthor_vm_unmap_range() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 7957438100370370560
PARAM_VALUE 0 op_ctx->flags 268435456
PARAM_VALUE 0 op_ctx->map.bo 0
PARAM_VALUE 0 op_ctx->map.bo_offset 0
PARAM_VALUE 0 op_ctx->map.vm_bo 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.count 0-2
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
PARAM_VALUE 1 vm 0,4096-ptr_max
PARAM_VALUE 1 vm->ptdev->gpu->pending_reqs 0-4294967295
DATA_SOURCE 1 vm $0
MEM_ZERO 0 op_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op_ctx->va.addr 0-18446744073709551614
USER_DATA 0 op_ctx->va.range 0
USER_DATA 1 vm->op_ctx->va.addr 0
USER_DATA 1 vm->op_ctx->va.range 0
NO_OVERFLOW_SIMPLE 0 op_ctx->rsvd_page_tables.count
NO_OVERFLOW_SIMPLE 1 vm->op_ctx->rsvd_page_tables.count

drivers/gpu/drm/panthor/panthor_mmu.c remap_evicted_vma() -> panthor_vm_cleanup_op_ctx()

Type Parameter Key Value
PARAM_VALUE 0 op_ctx 6322269476654477312
PARAM_VALUE 0 op_ctx->flags 0
PARAM_VALUE 0 op_ctx->map.bo 0
PARAM_VALUE 0 op_ctx->map.bo_offset 0
PARAM_VALUE 0 op_ctx->map.vm_bo 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0,16,4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
PARAM_VALUE 0 op_ctx->va.addr 0
PARAM_VALUE 0 op_ctx->va.range 0
PARAM_VALUE 1 vm 4096-ptr_max
PARAM_VALUE 1 vm->op_lock.dep_map->name 0-255
PARAM_VALUE 1 vm->op_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 vm->op_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 vm->op_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 vm->op_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 vm->op_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 vm->op_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 vm->op_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 vm->op_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 vm->op_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 vm->ptdev->gpu->pending_reqs 0-4294967295
CAPPED_DATA 1 &vm->op_lock 1
DATA_SOURCE 0 op_ctx $2
MEM_ZERO 0 op_ctx
NOCHECK_CALL
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &sched->mutex
HALF_LOCKED2 global &drm_unplug_srcu