Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tee/tee_core.c params_from_user() -> param_from_user_memref()

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->invoke_func 0,5442089074620203008
PARAM_VALUE 0 ctx->teedev->desc->ops->object_invoke_func 0,6697308015340474368
PARAM_VALUE 0 ctx->teedev->desc->ops->open_session 0,6694985125599637504
PARAM_VALUE 0 ctx->teedev->desc->ops->supp_recv 0,8980708159072550912
PARAM_VALUE 2 ip 3254647852160696320
PARAM_VALUE 2 ip->attr 0-510
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
CAPPED_DATA 0 ctx 1
DATA_SOURCE 0 ctx $0
USER_DATA 2 ip->a 0-u64max
USER_DATA 2 ip->attr 0-510
USER_DATA 2 ip->b 0-u64max
USER_DATA 2 ip->c 0-u64max