Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/lima/lima_gem.c lima_heap_alloc() -> lima_vm_map_bo()

Type Parameter Key Value
PARAM_VALUE 0 vm 1-u64max
PARAM_VALUE 1 bo 4096-ptr_max
PARAM_VALUE 1 bo->base.base.dev 4096-ptr_max
PARAM_VALUE 1 bo->base.base.dev->dev->iommu->attach_deferred 0-1
PARAM_VALUE 1 bo->base.base.filp 4096-ptr_max
PARAM_VALUE 1 bo->base.base.resv 4096-ptr_max
PARAM_VALUE 1 bo->base.base.resv->fences 0,4096-ptr_max
PARAM_VALUE 1 bo->base.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 1 bo->base.base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 bo->base.base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 bo->base.base.resv->lock.base.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 bo->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 bo->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 bo->base.base.resv->lock.ctx 0
PARAM_VALUE 1 bo->base.base.size 1-u64max
PARAM_VALUE 1 bo->base.pages 1-u64max
PARAM_VALUE 1 bo->base.pages_use_count.refs.counter 1
PARAM_VALUE 1 bo->base.sgt 4096-ptr_max
PARAM_VALUE 1 bo->base.sgt->nents 0-s32max
PARAM_VALUE 1 bo->base.sgt->sgl 0,16,4096-ptr_max
PARAM_VALUE 1 bo->heap_size 0-18446744073709551614
BUF_SIZE 1 bo->base.pages 0-36028797018963960,u64max
BUF_SIZE 1 bo->base.sgt 16,u64max
CAPPED_DATA 1 bo->base.base.resv->fences 1
CAPPED_DATA 1 bo->heap_size 1
DATA_SOURCE 0 vm $1
DATA_SOURCE 1 bo $0
PARAM_COMPARE 1 bo->base.base.size > $1->heap_size
CONSTRAINT 1 bo->heap_size <283
NO_OVERFLOW_SIMPLE 1 bo->base.sgt->nents
UNITS 2 pageoff unit_page
HALF_LOCKED2 &pool->lock