Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 4096-ptr_max
PARAM_VALUE 0 op_ctx->map.vm_bo 4096-ptr_max
PARAM_VALUE 0 op_ctx->rsvd_page_tables.count 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.ptr 0
BUF_SIZE 0 op_ctx->map.bo (-1),968
BUF_SIZE 0 op_ctx->map.vm_bo (-1),96
DATA_SOURCE 0 op_ctx $0
NOSPEC 0 op_ctx->va.range
MEM_ZERO 0 op_ctx
RX_PATH
TASK_NOT_RUNNING
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
HALF_LOCKED2 global &drm_unplug_srcu

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

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.count 0
PARAM_VALUE 0 op_ctx->rsvd_page_tables.pages 0
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
DATA_SOURCE 0 op_ctx $2
MEM_ZERO 0 op_ctx
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &sched->mutex
HALF_LOCKED2 global &drm_unplug_srcu