Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/fastrpc.c fastrpc_create_maps() -> fastrpc_map_create()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->cctx 4096-ptr_max
PARAM_VALUE 0 fl->sctx 4096-ptr_max
PARAM_VALUE 1 fd s32min-(-2),1-s32max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 4 ppmap 4096-ptr_max
BUF_SIZE 0 fl s32min-(-1),1-s32max
BUF_SIZE 0 fl s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 len unit_byte

drivers/misc/fastrpc.c fastrpc_init_create_process() -> fastrpc_map_create()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->pd 1
PARAM_VALUE 1 fd s32min-(-1),1-s32max
PARAM_VALUE 2 len 1-2097152
PARAM_VALUE 3 attr 0
PARAM_VALUE 4 ppmap 4374989074346737664
PARAM_VALUE 4 *ppmap 0
BUF_SIZE 0 fl s32min-(-2),1-s32max
BUF_SIZE 0 fl s32min-(-2),1-s32max
DATA_SOURCE 0 fl $0
USER_DATA 1 fd s32min-(-1),1-s32max
USER_DATA 2 len 1-2097152

drivers/misc/fastrpc.c fastrpc_req_mem_map() -> fastrpc_map_create()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->sctx 4096-ptr_max
PARAM_VALUE 3 attr 0
PARAM_VALUE 4 ppmap 217349323798110208
PARAM_VALUE 4 *ppmap 0
BUF_SIZE 0 fl s32min-(-2),1-s32max
BUF_SIZE 0 fl s32min-(-2),1-s32max
DATA_SOURCE 0 fl $0
USER_DATA 1 fd s32min-s32max
USER_DATA 2 len 0-u64max