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_cancel_req() -> (struct tee_driver_ops)->cancel_req()

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->cancel_req 249004656861233152
DATA_SOURCE 0 ctx $0
CONTAINER 0 -80-8-32-0+0 $(-1)

drivers/tee/tee_core.c tee_ioctl_cancel() -> (struct tee_driver_ops)->cancel_req()

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->cancel_req 249004656861233152
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
DATA_SOURCE 0 ctx $0
CONTAINER 0 -80-8-32-0+0 $(-1)
USER_DATA 1 cancel_id 0-u32max
USER_DATA 2 session 0-u32max