/*
|
* Copyright (c) 2014, STMicroelectronics International N.V.
|
*
|
* This program is free software; you can redistribute it and/or modify
|
* it under the terms of the GNU General Public License Version 2 as
|
* published by the Free Software Foundation.
|
*
|
* This program is distributed in the hope that it will be useful,
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
* GNU General Public License for more details.
|
*/
|
#ifndef __TEE_ARMV7_OP_H__
|
#define __TEE_ARMV7_OP_H__
|
|
enum t_issw_service_id {
|
/*
|
* ("SSAPI_PRE_INIT_SERV")
|
*/
|
SSAPI_PRE_INIT_SERV = 1,
|
|
/*
|
* ("SSAPI_POST_SPEEDUP_INIT_SERV")
|
* Reserved, Not used
|
*/
|
SSAPI_POST_SPEEDUP_INIT_SERV = 2,
|
|
/*
|
* ("SSAPI_ISSW_IMPORT_SERV")
|
*/
|
SSAPI_ISSW_IMPORT_SERV = 3,
|
|
/*
|
* ("SSAPI_RET_FROM_INT_SERV")
|
*/
|
SSAPI_RET_FROM_INT_SERV = 4,
|
|
/*
|
* ("SSAPI_RET_FROM_RPC_SERV")
|
*/
|
SSAPI_RET_FROM_RPC_SERV = 5,
|
|
/*
|
* "ISSWAPI_ISSW_EXECUTE_SERV" is linked to ROM code
|
* ("SSAPI_ISSW_EXECUTE_SERV")
|
*/
|
ISSWAPI_ISSW_EXECUTE_SERV = 6,
|
ISSWAPI_PROT_APPL_MSG_SEND = 0x10000000,
|
ISSWAPI_EXTERNAL_CODE_CHECK = 0x10000001,
|
ISSWAPI_SECURE_LOAD = 0x10000002,
|
ISSWAPI_ISSW_REIMPORT_PUB_KEYS = 0x10000003,
|
|
/* Accessible only on request */
|
ISSWAPI_WRITE_L2CC = 0x10000004,
|
ISSWAPI_WRITE_CP15_SCTLR = 0x10000005,
|
ISSWAPI_READ_CP15_SCTLR = 0x10000006,
|
ISSWAPI_WRITE_CP15_ACTLR = 0x10000007,
|
ISSWAPI_READ_CP15_ACTLR = 0x10000008,
|
ISSWAPI_WRITE_CP15_DIAGR = 0x10000009,
|
ISSWAPI_READ_CP15_DIAGR = 0x1000000A,
|
|
ISSWAPI_EXECUTE_TA = 0x11000001,
|
ISSWAPI_CLOSE_TA = 0x11000002,
|
ISSWAPI_FLUSH_BOOT_CODE = 0x11000003,
|
/* Generic, restricted to be used by u-boot */
|
ISSWAPI_VERIFY_SIGNED_HEADER = 0x11000005,
|
ISSWAPI_VERIFY_HASH = 0x11000006,
|
/* 8500 only, restricted to be used by u-boot */
|
ISSWAPI_GET_RT_FLAGS = 0x11000007,
|
|
/* For TEE Client API 1.0 */
|
ISSWAPI_TEEC_OPEN_SESSION = 0x11000008,
|
ISSWAPI_TEEC_CLOSE_SESSION = 0x11000009,
|
ISSWAPI_TEEC_INVOKE_COMMAND = 0x1100000a,
|
ISSWAPI_REGISTER_RPC = 0x1100000b, /* this is NOT a GP TEE API ! */
|
ISSWAPI_SET_SEC_DDR = 0x1100000c, /* this is NOT a GP TEE API ! */
|
ISSWAPI_TEEC_CANCEL_COMMAND = 0x1100000d,
|
ISSWAPI_TEEC_REGISTER_MEMORY = 0x1100000e,
|
ISSWAPI_TEEC_UNREGISTER_MEMORY = 0x1100000f,
|
|
/* Internal command */
|
ISSWAPI_TEE_DEINIT_CPU = 0x11000010,
|
ISSWAPI_TEE_CRASH_CPU = 0x11000011,
|
ISSWAPI_TEE_SET_CORE_TRACE_LEVEL = 0x11000012,
|
ISSWAPI_TEE_GET_CORE_TRACE_LEVEL = 0x11000013,
|
ISSWAPI_TEE_SET_TA_TRACE_LEVEL = 0x11000014,
|
ISSWAPI_TEE_GET_TA_TRACE_LEVEL = 0x11000015,
|
ISSWAPI_TEE_GET_CORE_STATUS = 0x11000016,
|
ISSWAPI_TEE_FLUSH_CACHE = 0x11000017,
|
|
ISSWAPI_REGISTER_DEF_SHM = 0x11000020,
|
ISSWAPI_UNREGISTER_DEF_SHM = 0x11000021,
|
ISSWAPI_REGISTER_IRQFWD = 0x11000022,
|
ISSWAPI_UNREGISTER_IRQFWD = 0x11000023,
|
ISSWAPI_GET_SHM_START = 0x11000024,
|
ISSWAPI_GET_SHM_SIZE = 0x11000025,
|
ISSWAPI_GET_SHM_CACHED = 0x11000026,
|
|
ISSWAPI_ENABLE_L2CC_MUTEX = 0x20000000,
|
ISSWAPI_DISABLE_L2CC_MUTEX = 0x20000001,
|
ISSWAPI_GET_L2CC_MUTEX = 0x20000002,
|
ISSWAPI_SET_L2CC_MUTEX = 0x20000003,
|
|
ISSWAPI_LOAD_TEE = 0x20000004,
|
|
};
|
|
/*
|
* tee_msg_send - generic part of the msg sent to the TEE
|
*/
|
struct tee_msg_send {
|
unsigned int service;
|
};
|
|
/*
|
* tee_msg_recv - default strcutre of TEE service output message
|
*/
|
struct tee_msg_recv {
|
int duration;
|
uint32_t res;
|
uint32_t origin;
|
};
|
|
/*
|
* tee_register_irqfwd_xxx - (un)register callback for interrupt forwarding
|
*/
|
struct tee_register_irqfwd_send {
|
struct tee_msg_send header;
|
struct {
|
unsigned long cb;
|
} data;
|
};
|
struct tee_register_irqfwd_recv {
|
struct tee_msg_recv header;
|
};
|
|
/*
|
* tee_get_l2cc_mutex - input/output argument structures
|
*/
|
struct tee_get_l2cc_mutex_send {
|
struct tee_msg_send header;
|
};
|
struct tee_get_l2cc_mutex_recv {
|
struct tee_msg_recv header;
|
struct {
|
unsigned long paddr;
|
} data;
|
};
|
|
/**
|
* struct tee_identity - Represents the identity of the client
|
* @login: Login id
|
* @uuid: UUID as defined above
|
*/
|
struct tee_identity {
|
uint32_t login;
|
TEEC_UUID uuid;
|
};
|
|
/*
|
* tee_open_session_data - input arg structure for TEE open session service
|
*/
|
struct tee_open_session_data {
|
struct ta_signed_header_t *ta;
|
TEEC_UUID uuid;
|
uint32_t param_types;
|
TEEC_Value params[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
struct tee_identity client_id;
|
uint32_t params_flags[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
};
|
|
/*
|
* tee_open_session_send - input arg msg for TEE open session service
|
*/
|
struct tee_open_session_send {
|
struct tee_msg_send header;
|
struct tee_open_session_data data;
|
};
|
|
/*
|
* tee_open_session_recv - output arg structure for TEE open session service
|
*/
|
struct tee_open_session_recv {
|
struct tee_msg_recv header;
|
uint32_t sess;
|
TEEC_Value params[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
};
|
|
/*
|
* tee_invoke_command_data - input arg structure for TEE invoke cmd service
|
*/
|
struct tee_invoke_command_data {
|
uint32_t sess;
|
uint32_t cmd;
|
uint32_t param_types;
|
TEEC_Value params[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
uint32_t params_flags[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
};
|
|
struct tee_invoke_command_send {
|
struct tee_msg_send header;
|
struct tee_invoke_command_data data;
|
};
|
|
/*
|
* tee_invoke_command_recv - output arg structure for TEE invoke cmd service
|
*/
|
struct tee_invoke_command_recv {
|
struct tee_msg_recv header;
|
TEEC_Value params[TEEC_CONFIG_PAYLOAD_REF_COUNT];
|
};
|
|
/*
|
* tee_cancel_command_data - input arg structure for TEE cancel service
|
*/
|
struct tee_cancel_command_data {
|
uint32_t sess;
|
};
|
|
/*
|
* tee_cancel_command_send - input msg structure for TEE cancel service
|
*/
|
struct tee_cancel_command_send {
|
struct tee_msg_send header;
|
struct tee_cancel_command_data data;
|
};
|
|
/*
|
* tee_close_session_data - input arg structure for TEE close session service
|
*/
|
struct tee_close_session_data {
|
uint32_t sess;
|
};
|
|
/*
|
* tee_close_session_send - input arg msg for TEE close session service
|
*/
|
struct tee_close_session_send {
|
struct tee_msg_send header;
|
struct tee_close_session_data data;
|
};
|
|
/*
|
* tee_register_rpc_send_data - input arg structure for TEE register rpc service
|
*/
|
struct tee_register_rpc_send_data {
|
uint32_t fnk;
|
uint32_t bf;
|
uint32_t nbr_bf;
|
};
|
|
/*
|
* tee_register_rpc_send - input msg structure for TEE register rpc service
|
*/
|
struct tee_register_rpc_send {
|
struct tee_msg_send header;
|
struct tee_register_rpc_send_data data;
|
};
|
|
/*
|
* tee_core_status_out - output arg structure for TEE status service
|
*/
|
#define TEEC_STATUS_MSG_SIZE 80
|
|
struct tee_core_status_out {
|
struct tee_msg_recv header;
|
char raw[TEEC_STATUS_MSG_SIZE];
|
};
|
|
#endif /* __TEE_ARMV7_OP_H__ */
|
