Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tee/tee_core.c implementation_id_show() -> (struct tee_driver_ops)->get_version()

Type Parameter Key Value
PARAM_VALUE 0 teedev 4096-ptr_max
PARAM_VALUE 0 teedev->desc 4096-ptr_max
PARAM_VALUE 0 teedev->desc->ops 4096-ptr_max
PARAM_VALUE 1 vers 6277789493804027904
CONTAINER 0 -0-8-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/tee/tee_core.c match_dev() -> (struct tee_driver_ops)->get_version()

Type Parameter Key Value
PARAM_VALUE 0 teedev 4096-ptr_max
PARAM_VALUE 0 teedev->desc 4096-ptr_max
PARAM_VALUE 0 teedev->desc->ops 4096-ptr_max
CONTAINER 0 -0-8-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &region->mgr->ref_mutex
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &framer_provider_mutex
HALF_LOCKED2 global &phy_provider_mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/tee/tee_core.c tee_client_get_version() -> (struct tee_driver_ops)->get_version()

Type Parameter Key Value
PARAM_VALUE 0 teedev 4096-ptr_max
PARAM_VALUE 0 teedev->desc 4096-ptr_max
PARAM_VALUE 0 teedev->desc->ops 4096-ptr_max
DATA_SOURCE 1 vers $1
CONTAINER 0 *(-0-8-32+0) $(-1)
NOCHECK_CALL

drivers/tee/tee_core.c tee_ioctl_version() -> (struct tee_driver_ops)->get_version()

Type Parameter Key Value
PARAM_VALUE 0 teedev 4096-ptr_max
PARAM_VALUE 0 teedev->desc 4096-ptr_max
PARAM_VALUE 0 teedev->desc->ops 4096-ptr_max
PARAM_VALUE 1 vers 2034369424463409152
CONTAINER 0 *(-0-8-32+0) $(-1)
NOCHECK_CALL