Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/fastrpc.c fastrpc_device_open() -> fastrpc_session_alloc()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->cctx 4096-ptr_max
PARAM_VALUE 0 fl->maps.next 4096-ptr_max
PARAM_VALUE 0 fl->maps.next->next 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 0 fl->mmaps.next 4096-ptr_max
PARAM_VALUE 0 fl->mmaps.next->next 4096-ptr_max
PARAM_VALUE 0 fl->mmaps.prev 4096-ptr_max
PARAM_VALUE 0 fl->mmaps.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->mmaps.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->mutex.dep_map->name 0-255
PARAM_VALUE 0 fl->mutex.first_waiter 0
PARAM_VALUE 0 fl->mutex.magic 4096-ptr_max
PARAM_VALUE 0 fl->mutex.osq.tail.counter 0
PARAM_VALUE 0 fl->mutex.owner.counter 0
PARAM_VALUE 0 fl->pending.next 4096-ptr_max
PARAM_VALUE 0 fl->pending.next->next 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 0 fl->user.next 4096-ptr_max
PARAM_VALUE 0 fl->user.next->next 4096-ptr_max
PARAM_VALUE 0 fl->user.prev 4096-ptr_max
PARAM_VALUE 0 fl->user.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->user.prev->prev 4096-ptr_max
BUF_SIZE 0 fl 336
DATA_SOURCE 0 fl r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING