Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/fastrpc.c fastrpc_context_alloc() -> fastrpc_user_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->cctx | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->cctx->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fl->cctx->rpdev | 1-u64max |
| PARAM_VALUE | 0 | fl->cctx->rpdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | fl->cctx->rpdev->ept->ops->send | 0,8,2532391187004870656,8101734627506692096,8243632285336358912,8261549305416118272 |
| PARAM_VALUE | 0 | fl->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fl->pending.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->pending.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->pending.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->sctx | 1-u64max |
| PARAM_VALUE | 0 | fl->sctx->dev->cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | fl | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fl | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | fl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fl->cctx->remote_heap->size | 0-u64max |
| USER_DATA | 0 | fl->init_mem->size | 0-u64max |
drivers/misc/fastrpc.c fastrpc_context_free() -> fastrpc_user_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/fastrpc.c fastrpc_device_release() -> fastrpc_user_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->cctx->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fl->cctx->rpdev->ept->ops->send | 0,8,2532391187004870656,8101734627506692096,8243632285336358912 |
| PARAM_VALUE | 0 | fl->init_mem->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | fl->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fl->pending.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->pending.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->pending.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->sctx | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->sctx->used | 0 |
| BUF_SIZE | 0 | fl | (-1),26 |
| BUF_SIZE | 0 | fl | (-1),26 |
| CAPPED_DATA | 0 | fl | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |