Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tee/tee_heap.c tee_dma_heap_alloc() -> (struct tee_protmem_pool_ops)->free()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->ops 4096-ptr_max
PARAM_VALUE 1 sgt 4096-ptr_max
PARAM_VALUE 1 sgt->nents 0
PARAM_VALUE 1 sgt->orig_nents 0
PARAM_VALUE 1 sgt->sgl 0
CONTAINER 0 -8-0+0 $(-1)
MEM_ZERO 1 sgt
NOCHECK_CALL

drivers/tee/tee_heap.c tee_heap_buf_free() -> (struct tee_protmem_pool_ops)->free()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->ops 4096-ptr_max
PARAM_VALUE 1 sgt 4096-ptr_max
CONTAINER 0 *(-8-0+0) $(-1)
CONTAINER 1 -8-0-16-0+24 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL