Open Menu /

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/remoteproc/remoteproc_core.c rproc_alloc_registered_carveouts() -> (struct rproc_mem_entry)->alloc()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 0 $->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 $->dev.class 0,4096-ptr_max
PARAM_VALUE 0 $->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 $->dev.parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 $->lock.dep_map->name 0-255
PARAM_VALUE 0 $->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 $->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 $->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 $->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 $->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 $->lock.wait_lock.owner (-1)
PARAM_VALUE 0 $->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 $->max_notifyid (-1)
PARAM_VALUE 0 $->nb_vdev 0
PARAM_VALUE 0 $->ops 4096-ptr_max
PARAM_VALUE 0 $->table_ptr 0,4096-ptr_max
PARAM_VALUE 0 $->table_ptr->num 0-s32max
PARAM_VALUE 1 $ 4096-ptr_max
PARAM_VALUE 1 $->alloc 1-u64max
BUF_SIZE 0 $ s32min-(-1),1-s32max
BUF_SIZE 0 $ s32min-(-1),1-s32max
CAPPED_DATA 0 &$->carveouts 1
CAPPED_DATA 1 &$->node 1
DATA_SOURCE 0 $ $0
CONTAINER 1 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &$->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rproc)->lock