Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/fastrpc.c fastrpc_get_args() -> fastrpc_remote_heap_alloc()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fl->maps.prev 4096-ptr_max
PARAM_VALUE 0 fl->maps.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->maps.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fl->sctx 4096-ptr_max
PARAM_VALUE 3 obuf 4096-ptr_max
BUF_SIZE 0 fl s32min-(-1),1-s32max
BUF_SIZE 0 fl s32min-(-1),1-s32max
DATA_SOURCE 2 size r fastrpc_get_payload_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 size 0-u64max[c]

drivers/misc/fastrpc.c fastrpc_init_create_static_process() -> fastrpc_remote_heap_alloc()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->cctx 4096-ptr_max
PARAM_VALUE 0 fl->cctx->remote_heap 0
PARAM_VALUE 0 fl->sctx 4096-ptr_max
PARAM_VALUE 3 obuf 4096-ptr_max
PARAM_VALUE 3 *obuf 0
BUF_SIZE 0 fl s32min-(-2),1-s32max
BUF_SIZE 0 fl s32min-(-2),1-s32max
DATA_SOURCE 0 fl $0
USER_DATA 2 size 0-u32max

drivers/misc/fastrpc.c fastrpc_req_mmap() -> fastrpc_remote_heap_alloc()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->sctx 4096-ptr_max
PARAM_VALUE 3 obuf 613942412913451008
PARAM_VALUE 3 *obuf 0
BUF_SIZE 0 fl s32min-(-2),1-s32max
BUF_SIZE 0 fl s32min-(-2),1-s32max
DATA_SOURCE 0 fl $0
USER_DATA 2 size 0-u64max