Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/tee/qcomtee/user_obj.c qcomtee_user_param_to_object() -> teedev_ctx_get()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops->object_invoke_func 0,6697308015340474368
PARAM_VALUE 0 ctx->teedev->desc->ops->supp_send 0,1027260127557816320
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
CAPPED_DATA 0 ctx 1
DATA_SOURCE 0 ctx $2
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/tee/tee_shm.c register_shm_helper() -> teedev_ctx_get()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops 4096-ptr_max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
NOCHECK_CALL

drivers/tee/tee_shm.c shm_alloc_helper() -> teedev_ctx_get()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 1-u64max
PARAM_VALUE 0 ctx->teedev->desc->ops 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->pool 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->pool->ops 4096-ptr_max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
BUF_SIZE 0 ctx s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tee/tee_shm.c tee_shm_alloc_dma_mem() -> teedev_ctx_get()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 1-u64max
PARAM_VALUE 0 ctx->teedev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctx->teedev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctx->teedev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 ctx->teedev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->teedev->dev.coherent_dma_mask 1-u64max
PARAM_VALUE 0 ctx->teedev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->teedev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->dev.dma_uses_io_tlb 1
DATA_SOURCE 0 ctx $0
NOCHECK_CALL

drivers/tee/tee_shm.c tee_shm_register_fd() -> teedev_ctx_get()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 1-u64max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
DATA_SOURCE 0 ctx $0
NOCHECK_CALL

drivers/tee/qcomtee/core.c qcomtee_qtee_object_alloc() -> teedev_ctx_get()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock