Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tee/tee_core.c tee_client_open_session() -> (struct tee_driver_ops)->open_session()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->data 4096-ptr_max
PARAM_VALUE 0 ctx->refcount.refcount.refs.counter 1
PARAM_VALUE 0 ctx->supp_nowait 1
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops->open_session 6694985125599637504
PARAM_VALUE 1 arg 1222071565348741120,4997082194544906240,5522658999609491456,6327377827663126528
PARAM_VALUE 1 arg->clnt_login 0,2147483648
PARAM_VALUE 1 arg->num_params 0
PARAM_VALUE 2 param 0
BUF_SIZE 0 ctx 24
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 arg $1
DATA_SOURCE 2 param $2
CONTAINER 0 -40-8-32-0+0 $(-1)
HARD_MAX 1 arg->clnt_login 2147483648
RX_PATH
TASK_NOT_RUNNING

drivers/tee/tee_core.c tee_ioctl_open_session() -> (struct tee_driver_ops)->open_session()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->teedev 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops 4096-ptr_max
PARAM_VALUE 0 ctx->teedev->desc->ops->open_session 6694985125599637504
PARAM_VALUE 1 arg 6979904373945454592
PARAM_VALUE 1 arg->clnt_login 0-s32max,3221225472-u32max
PARAM_VALUE 2 param 0,4096-ptr_max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 2 param 0,32-137438953440
BUF_SIZE 2 param 0,32-137438953440
CAPPED_DATA 0 ctx 1
DATA_SOURCE 0 ctx $0
CONTAINER 0 -40-8-32-0+0 $(-1)
USER_DATA 1 arg->cancel_id 0-u32max
USER_DATA 1 arg->clnt_login 0-s32max,3221225472-u32max
USER_DATA 1 arg->num_params 0-u32max[c]
USER_DATA 1 arg->ret 0-u32max
USER_DATA 1 arg->ret_origin 0-u32max
USER_DATA 1 arg->session 0-u32max
NO_OVERFLOW_SIMPLE 1 arg->num_params
USER_PTR 1 arg->clnt_uuid
USER_PTR 1 arg->params
USER_PTR 1 arg->uuid