Home
last modified time | relevance | path

Searched refs:get_instance_id (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/include/kernel/
H A Dts_manager.h70 uint32_t (*get_instance_id)(struct ts_ctx *ctx); member
/optee_os/core/tee/
H A Dsocket.c15 static uint32_t get_instance_id(struct ts_session *sess) in get_instance_id() function
17 return sess->ctx->ops->get_instance_id(sess->ctx); in get_instance_id()
248 *sess_ctx = (void *)(vaddr_t)get_instance_id(s); in pta_socket_open_session()
/optee_os/core/kernel/
H A Duser_ta.c427 .get_instance_id = user_ta_get_instance_id,
/optee_os/core/arch/arm/kernel/
H A Dstmm_sp.c999 .get_instance_id = stmm_get_instance_id,