Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/fastrpc.c fastrpc_internal_invoke() -> fastrpc_context_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | user | 4096-ptr_max |
| PARAM_VALUE | 0 | user->cctx | 4096-ptr_max |
| PARAM_VALUE | 0 | user->cctx->rpdev | 1-u64max |
| PARAM_VALUE | 0 | user->cctx->rpdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | user->cctx->rpdev->ept->ops->send | 0,8,2532391187004870656,8101734627506692096,8243632285336358912,8261549305416118272 |
| PARAM_VALUE | 0 | user->init_mem->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | user->sctx | 1-u64max |
| PARAM_VALUE | 0 | user->sctx->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | kernel | 0-1 |
| PARAM_VALUE | 3 | args | 0,4096-ptr_max |
| BUF_SIZE | 0 | user | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | user | s32min-(-1),1-s32max |
| BUF_SIZE | 3 | args | (-1)-0,24-12960 |
| BUF_SIZE | 3 | args | (-1)-0,24-12960 |
| DATA_SOURCE | 0 | user | $0 |
| DATA_SOURCE | 1 | kernel | $1 |
| DATA_SOURCE | 2 | sc | $3 |
| DATA_SOURCE | 3 | args | $4 |
| HARD_MAX | 1 | kernel | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | user->cctx->remote_heap->size | 0-u64max |
| USER_DATA | 0 | user->init_mem->size | 0-u64max |
| USER_DATA | 2 | sc | 0-u32max |
| USER_DATA | 3 | args->attr | 0-u32max |
| USER_DATA | 3 | args->fd | s32min-s32max |
| USER_DATA | 3 | args->length | 0-u64max |
| USER_DATA | 3 | args->ptr | 0-u64max |
| USER_PTR | 3 | args |