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 |