Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tee/tee_heap.c protmem_pool_op_static_alloc() -> to_protmem_static_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
drivers/tee/tee_heap.c protmem_pool_op_static_destroy_pool() -> to_protmem_static_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &h->mu | ||
| TYPE_LOCK | (struct tee_dma_heap)->mu |
drivers/tee/tee_heap.c protmem_pool_op_static_free() -> to_protmem_static_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/tee/tee_heap.c protmem_pool_op_static_update_shm() -> to_protmem_static_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |