1*1bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2b0104773SPascal Brand /* 3e86f1266SJens Wiklander * Copyright (c) 2015, Linaro Limited 4b0104773SPascal Brand * Copyright (c) 2014, STMicroelectronics International N.V. 5b0104773SPascal Brand * All rights reserved. 6b0104773SPascal Brand * 7b0104773SPascal Brand * Redistribution and use in source and binary forms, with or without 8b0104773SPascal Brand * modification, are permitted provided that the following conditions are met: 9b0104773SPascal Brand * 10b0104773SPascal Brand * 1. Redistributions of source code must retain the above copyright notice, 11b0104773SPascal Brand * this list of conditions and the following disclaimer. 12b0104773SPascal Brand * 13b0104773SPascal Brand * 2. Redistributions in binary form must reproduce the above copyright notice, 14b0104773SPascal Brand * this list of conditions and the following disclaimer in the documentation 15b0104773SPascal Brand * and/or other materials provided with the distribution. 16b0104773SPascal Brand * 17b0104773SPascal Brand * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 18b0104773SPascal Brand * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 19b0104773SPascal Brand * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 20b0104773SPascal Brand * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE 21b0104773SPascal Brand * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 22b0104773SPascal Brand * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 23b0104773SPascal Brand * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 24b0104773SPascal Brand * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 25b0104773SPascal Brand * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 26b0104773SPascal Brand * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 27b0104773SPascal Brand * POSSIBILITY OF SUCH DAMAGE. 28b0104773SPascal Brand */ 29b0104773SPascal Brand #ifndef UTEE_SYSCALLS_H 30b0104773SPascal Brand #define UTEE_SYSCALLS_H 31b0104773SPascal Brand 32cebdec51SJens Wiklander #include <compiler.h> 33b0104773SPascal Brand #include <stddef.h> 34b0104773SPascal Brand #include <stdint.h> 35b0104773SPascal Brand 36b0104773SPascal Brand #include <utee_types.h> 37b0104773SPascal Brand #include <tee_api_types.h> 384de4bebcSJens Wiklander #include <trace.h> 39b0104773SPascal Brand 40e86f1266SJens Wiklander /* 419102ce21SJens Wiklander * Arguments must use the native register width, unless it's a signed 429102ce21SJens Wiklander * argument then it must be a 32-bit value instead to avoid problems with 439102ce21SJens Wiklander * sign extension. To keep it simple, only use pointers, int32_t, unsigned 449102ce21SJens Wiklander * long and size_t. Pointers may only point structures or types based on 459102ce21SJens Wiklander * fixed width integer types. Only exception are buffers with opaque data. 46e86f1266SJens Wiklander * 47e86f1266SJens Wiklander * Return values should not use a fixed width larger than 32 bits, unsigned 48e86f1266SJens Wiklander * long and pointers are OK though. 49e86f1266SJens Wiklander * 50e86f1266SJens Wiklander * Members in structs on the other hand should only use fixed width integer 51e86f1266SJens Wiklander * types; uint32_t, uint64_t etc. To keep it simple, use uint64_t for all 52e86f1266SJens Wiklander * length fields. 53e86f1266SJens Wiklander */ 54e86f1266SJens Wiklander 55e86f1266SJens Wiklander void utee_return(unsigned long ret) __noreturn; 56b0104773SPascal Brand 57b0104773SPascal Brand void utee_log(const void *buf, size_t len); 58b0104773SPascal Brand 590e1c6e8eSJerome Forissier /* This is not __noreturn because AArch32 stack unwinding fails otherwise */ 600e1c6e8eSJerome Forissier void utee_panic(unsigned long code); 61b0104773SPascal Brand 6264a5011eSPascal Brand /* prop_set is TEE_PROPSET_xxx*/ 6364a5011eSPascal Brand TEE_Result utee_get_property(unsigned long prop_set, unsigned long index, 6464a5011eSPascal Brand void *name, uint32_t *name_len, 6564a5011eSPascal Brand void *buf, uint32_t *blen, 6664a5011eSPascal Brand uint32_t *prop_type); 678f07fe6fSJerome Forissier TEE_Result utee_get_property_name_to_index(unsigned long prop_set, 688f07fe6fSJerome Forissier const void *name, 6964a5011eSPascal Brand unsigned long name_len, 7064a5011eSPascal Brand uint32_t *index); 7164a5011eSPascal Brand 72b0104773SPascal Brand 73e86f1266SJens Wiklander /* sess has type TEE_TASessionHandle */ 74b0104773SPascal Brand TEE_Result utee_open_ta_session(const TEE_UUID *dest, 75e86f1266SJens Wiklander unsigned long cancel_req_to, struct utee_params *params, 76e86f1266SJens Wiklander uint32_t *sess, uint32_t *ret_orig); 77b0104773SPascal Brand 78e86f1266SJens Wiklander /* sess has type TEE_TASessionHandle */ 79e86f1266SJens Wiklander TEE_Result utee_close_ta_session(unsigned long sess); 80b0104773SPascal Brand 81e86f1266SJens Wiklander /* sess has type TEE_TASessionHandle */ 82e86f1266SJens Wiklander TEE_Result utee_invoke_ta_command(unsigned long sess, 83e86f1266SJens Wiklander unsigned long cancel_req_to, unsigned long cmd_id, 84e86f1266SJens Wiklander struct utee_params *params, uint32_t *ret_orig); 85b0104773SPascal Brand 86b0104773SPascal Brand TEE_Result utee_check_access_rights(uint32_t flags, const void *buf, 87b0104773SPascal Brand size_t len); 88b0104773SPascal Brand 89e86f1266SJens Wiklander /* cancel has type bool */ 90e86f1266SJens Wiklander TEE_Result utee_get_cancellation_flag(uint32_t *cancel); 91b0104773SPascal Brand 92e86f1266SJens Wiklander /* old_mask has type bool */ 93e86f1266SJens Wiklander TEE_Result utee_unmask_cancellation(uint32_t *old_mask); 94b0104773SPascal Brand 95e86f1266SJens Wiklander /* old_mask has type bool */ 96e86f1266SJens Wiklander TEE_Result utee_mask_cancellation(uint32_t *old_mask); 97b0104773SPascal Brand 98e86f1266SJens Wiklander TEE_Result utee_wait(unsigned long timeout); 99b0104773SPascal Brand 100e86f1266SJens Wiklander /* cat has type enum utee_time_category */ 101e86f1266SJens Wiklander TEE_Result utee_get_time(unsigned long cat, TEE_Time *time); 102b0104773SPascal Brand 103b0104773SPascal Brand TEE_Result utee_set_ta_time(const TEE_Time *time); 104b0104773SPascal Brand 105e86f1266SJens Wiklander TEE_Result utee_cryp_state_alloc(unsigned long algo, unsigned long op_mode, 106e86f1266SJens Wiklander unsigned long key1, unsigned long key2, 107b0104773SPascal Brand uint32_t *state); 108e86f1266SJens Wiklander TEE_Result utee_cryp_state_copy(unsigned long dst, unsigned long src); 109e86f1266SJens Wiklander TEE_Result utee_cryp_state_free(unsigned long state); 110b0104773SPascal Brand 111b0104773SPascal Brand /* iv and iv_len are ignored for some algorithms */ 112e86f1266SJens Wiklander TEE_Result utee_hash_init(unsigned long state, const void *iv, size_t iv_len); 113e86f1266SJens Wiklander TEE_Result utee_hash_update(unsigned long state, const void *chunk, 114b0104773SPascal Brand size_t chunk_size); 115e86f1266SJens Wiklander TEE_Result utee_hash_final(unsigned long state, const void *chunk, 116e86f1266SJens Wiklander size_t chunk_size, void *hash, uint64_t *hash_len); 117b0104773SPascal Brand 118e86f1266SJens Wiklander TEE_Result utee_cipher_init(unsigned long state, const void *iv, size_t iv_len); 119e86f1266SJens Wiklander TEE_Result utee_cipher_update(unsigned long state, const void *src, 120e86f1266SJens Wiklander size_t src_len, void *dest, uint64_t *dest_len); 121e86f1266SJens Wiklander TEE_Result utee_cipher_final(unsigned long state, const void *src, 122e86f1266SJens Wiklander size_t src_len, void *dest, uint64_t *dest_len); 123b0104773SPascal Brand 124b0104773SPascal Brand /* Generic Object Functions */ 125e86f1266SJens Wiklander TEE_Result utee_cryp_obj_get_info(unsigned long obj, TEE_ObjectInfo *info); 126e86f1266SJens Wiklander TEE_Result utee_cryp_obj_restrict_usage(unsigned long obj, unsigned long usage); 127e86f1266SJens Wiklander TEE_Result utee_cryp_obj_get_attr(unsigned long obj, unsigned long attr_id, 128e86f1266SJens Wiklander void *buffer, uint64_t *size); 129b0104773SPascal Brand 130b0104773SPascal Brand /* Transient Object Functions */ 131e86f1266SJens Wiklander /* type has type TEE_ObjectType */ 132e86f1266SJens Wiklander TEE_Result utee_cryp_obj_alloc(unsigned long type, unsigned long max_size, 133b0104773SPascal Brand uint32_t *obj); 134e86f1266SJens Wiklander TEE_Result utee_cryp_obj_close(unsigned long obj); 135e86f1266SJens Wiklander TEE_Result utee_cryp_obj_reset(unsigned long obj); 136e86f1266SJens Wiklander TEE_Result utee_cryp_obj_populate(unsigned long obj, 137e86f1266SJens Wiklander struct utee_attribute *attrs, unsigned long attr_count); 138e86f1266SJens Wiklander TEE_Result utee_cryp_obj_copy(unsigned long dst_obj, unsigned long src_obj); 139b0104773SPascal Brand 140e86f1266SJens Wiklander TEE_Result utee_cryp_obj_generate_key(unsigned long obj, unsigned long key_size, 141e86f1266SJens Wiklander const struct utee_attribute *params, 142e86f1266SJens Wiklander unsigned long param_count); 143b0104773SPascal Brand 144e86f1266SJens Wiklander TEE_Result utee_cryp_derive_key(unsigned long state, 145e86f1266SJens Wiklander const struct utee_attribute *params, 146e86f1266SJens Wiklander unsigned long param_count, unsigned long derived_key); 147b0104773SPascal Brand 148b0104773SPascal Brand TEE_Result utee_cryp_random_number_generate(void *buf, size_t blen); 149b0104773SPascal Brand 150e86f1266SJens Wiklander TEE_Result utee_authenc_init(unsigned long state, const void *nonce, 151b0104773SPascal Brand size_t nonce_len, size_t tag_len, size_t aad_len, 152b0104773SPascal Brand size_t payload_len); 153e86f1266SJens Wiklander TEE_Result utee_authenc_update_aad(unsigned long state, const void *aad_data, 154b0104773SPascal Brand size_t aad_data_len); 155e86f1266SJens Wiklander TEE_Result utee_authenc_update_payload(unsigned long state, 156e86f1266SJens Wiklander const void *src_data, size_t src_len, void *dest_data, 157e86f1266SJens Wiklander uint64_t *dest_len); 158e86f1266SJens Wiklander TEE_Result utee_authenc_enc_final(unsigned long state, const void *src_data, 159e86f1266SJens Wiklander size_t src_len, void *dest_data, uint64_t *dest_len, 160e86f1266SJens Wiklander void *tag, uint64_t *tag_len); 161e86f1266SJens Wiklander TEE_Result utee_authenc_dec_final(unsigned long state, const void *src_data, 162e86f1266SJens Wiklander size_t src_len, void *dest_data, uint64_t *dest_len, 163e86f1266SJens Wiklander const void *tag, size_t tag_len); 164b0104773SPascal Brand 165e86f1266SJens Wiklander TEE_Result utee_asymm_operate(unsigned long state, 166e86f1266SJens Wiklander const struct utee_attribute *params, 167e86f1266SJens Wiklander unsigned long num_params, const void *src_data, 168e86f1266SJens Wiklander size_t src_len, void *dest_data, uint64_t *dest_len); 169b0104773SPascal Brand 170e86f1266SJens Wiklander TEE_Result utee_asymm_verify(unsigned long state, 171e86f1266SJens Wiklander const struct utee_attribute *params, 172e86f1266SJens Wiklander unsigned long num_params, const void *data, 173e86f1266SJens Wiklander size_t data_len, const void *sig, size_t sig_len); 174b0104773SPascal Brand 175b0104773SPascal Brand /* Persistant Object Functions */ 176e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 1778f07fe6fSJerome Forissier TEE_Result utee_storage_obj_open(unsigned long storage_id, 1788f07fe6fSJerome Forissier const void *object_id, 179e86f1266SJens Wiklander size_t object_id_len, unsigned long flags, 180e86f1266SJens Wiklander uint32_t *obj); 181b0104773SPascal Brand 182e86f1266SJens Wiklander /* 183e86f1266SJens Wiklander * attr is of type TEE_ObjectHandle 184e86f1266SJens Wiklander * obj is of type TEE_ObjectHandle 185e86f1266SJens Wiklander */ 1868f07fe6fSJerome Forissier TEE_Result utee_storage_obj_create(unsigned long storage_id, 1878f07fe6fSJerome Forissier const void *object_id, 188e86f1266SJens Wiklander size_t object_id_len, unsigned long flags, 189e86f1266SJens Wiklander unsigned long attr, const void *data, 190e86f1266SJens Wiklander size_t len, uint32_t *obj); 191b0104773SPascal Brand 192e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 193e86f1266SJens Wiklander TEE_Result utee_storage_obj_del(unsigned long obj); 194b0104773SPascal Brand 195e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 196e86f1266SJens Wiklander TEE_Result utee_storage_obj_rename(unsigned long obj, const void *new_obj_id, 197b0104773SPascal Brand size_t new_obj_id_len); 198b0104773SPascal Brand 199b0104773SPascal Brand /* Persistent Object Enumeration Functions */ 200e86f1266SJens Wiklander /* obj_enum is of type TEE_ObjectEnumHandle */ 201e86f1266SJens Wiklander TEE_Result utee_storage_alloc_enum(uint32_t *obj_enum); 202b0104773SPascal Brand 203b0104773SPascal Brand 204e86f1266SJens Wiklander /* obj_enum is of type TEE_ObjectEnumHandle */ 205e86f1266SJens Wiklander TEE_Result utee_storage_free_enum(unsigned long obj_enum); 206b0104773SPascal Brand 207e86f1266SJens Wiklander /* obj_enum is of type TEE_ObjectEnumHandle */ 208e86f1266SJens Wiklander TEE_Result utee_storage_reset_enum(unsigned long obj_enum); 209b0104773SPascal Brand 210e86f1266SJens Wiklander /* obj_enum is of type TEE_ObjectEnumHandle */ 211e86f1266SJens Wiklander TEE_Result utee_storage_start_enum(unsigned long obj_enum, 212e86f1266SJens Wiklander unsigned long storage_id); 213e86f1266SJens Wiklander 214e86f1266SJens Wiklander /* obj_enum is of type TEE_ObjectEnumHandle */ 215e86f1266SJens Wiklander TEE_Result utee_storage_next_enum(unsigned long obj_enum, TEE_ObjectInfo *info, 216e86f1266SJens Wiklander void *obj_id, uint64_t *len); 217b0104773SPascal Brand 218b0104773SPascal Brand /* Data Stream Access Functions */ 219e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 220e86f1266SJens Wiklander TEE_Result utee_storage_obj_read(unsigned long obj, void *data, size_t len, 221e86f1266SJens Wiklander uint64_t *count); 222b0104773SPascal Brand 223e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 224e86f1266SJens Wiklander TEE_Result utee_storage_obj_write(unsigned long obj, const void *data, 225b0104773SPascal Brand size_t len); 226b0104773SPascal Brand 227e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 228e86f1266SJens Wiklander TEE_Result utee_storage_obj_trunc(unsigned long obj, size_t len); 229b0104773SPascal Brand 230e86f1266SJens Wiklander /* obj is of type TEE_ObjectHandle */ 231e86f1266SJens Wiklander /* whence is of type TEE_Whence */ 2329102ce21SJens Wiklander TEE_Result utee_storage_obj_seek(unsigned long obj, int32_t offset, 233e86f1266SJens Wiklander unsigned long whence); 234b0104773SPascal Brand 235e86f1266SJens Wiklander /* seServiceHandle is of type TEE_SEServiceHandle */ 236e86f1266SJens Wiklander TEE_Result utee_se_service_open(uint32_t *seServiceHandle); 237197d17e7SSY Chiu 238e86f1266SJens Wiklander /* seServiceHandle is of type TEE_SEServiceHandle */ 239e86f1266SJens Wiklander TEE_Result utee_se_service_close(unsigned long seServiceHandle); 240197d17e7SSY Chiu 241e86f1266SJens Wiklander /* 242e86f1266SJens Wiklander * seServiceHandle is of type TEE_SEServiceHandle 243e86f1266SJens Wiklander * r is of type TEE_SEReaderHandle 244e86f1266SJens Wiklander */ 245e86f1266SJens Wiklander TEE_Result utee_se_service_get_readers(unsigned long seServiceHandle, 246e86f1266SJens Wiklander uint32_t *r, uint64_t *len); 247197d17e7SSY Chiu 248e86f1266SJens Wiklander /* 249e86f1266SJens Wiklander * r is of type TEE_SEReaderHandle 250e86f1266SJens Wiklander * p is defined with defines UTEE_SE_READER_* 251e86f1266SJens Wiklander */ 252e86f1266SJens Wiklander TEE_Result utee_se_reader_get_prop(unsigned long r, uint32_t *p); 253197d17e7SSY Chiu 254e86f1266SJens Wiklander /* r is of type TEE_SEReaderHandle */ 255e86f1266SJens Wiklander TEE_Result utee_se_reader_get_name(unsigned long r, 256e86f1266SJens Wiklander char *name, uint64_t *name_len); 257197d17e7SSY Chiu 258e86f1266SJens Wiklander /* 259e86f1266SJens Wiklander * r is of type TEE_SEReaderHandle 260e86f1266SJens Wiklander * s if of type TEE_SESessionHandle 261e86f1266SJens Wiklander */ 262e86f1266SJens Wiklander TEE_Result utee_se_reader_open_session(unsigned long r, uint32_t *s); 263197d17e7SSY Chiu 264e86f1266SJens Wiklander /* r is of type TEE_SEReaderHandle */ 265e86f1266SJens Wiklander TEE_Result utee_se_reader_close_sessions(unsigned long r); 266197d17e7SSY Chiu 267e86f1266SJens Wiklander /* s is of type TEE_SESessionHandle */ 268e86f1266SJens Wiklander TEE_Result utee_se_session_is_closed(unsigned long s); 269197d17e7SSY Chiu 270e86f1266SJens Wiklander /* s is of type TEE_SESessionHandle */ 271e86f1266SJens Wiklander TEE_Result utee_se_session_get_atr(unsigned long s, void *atr, 272e86f1266SJens Wiklander uint64_t *atr_len); 273197d17e7SSY Chiu 274e86f1266SJens Wiklander /* 275e86f1266SJens Wiklander * s is of type TEE_SESessionHandle 276e86f1266SJens Wiklander * c is of type TEE_SEChannelHandle 277e86f1266SJens Wiklander */ 278e86f1266SJens Wiklander TEE_Result utee_se_session_open_channel(unsigned long s, 279e86f1266SJens Wiklander unsigned long is_logical, const void *aid_buffer, 280e86f1266SJens Wiklander size_t aid_buffer_len, uint32_t *c); 281197d17e7SSY Chiu 282e86f1266SJens Wiklander /* s is of type TEE_SESessionHandle */ 283e86f1266SJens Wiklander TEE_Result utee_se_session_close(unsigned long s); 284197d17e7SSY Chiu 285e86f1266SJens Wiklander /* c is of type TEE_SEChannelHandle */ 286e86f1266SJens Wiklander TEE_Result utee_se_channel_select_next(unsigned long c); 287197d17e7SSY Chiu 288e86f1266SJens Wiklander /* c is of type TEE_SEChannelHandle */ 289e86f1266SJens Wiklander TEE_Result utee_se_channel_get_select_resp(unsigned long c, void *resp, 290e86f1266SJens Wiklander uint64_t *resp_len); 291197d17e7SSY Chiu 292e86f1266SJens Wiklander /* c is of type TEE_SEChannelHandle */ 293e86f1266SJens Wiklander TEE_Result utee_se_channel_transmit(unsigned long c, void *cmd, 294e86f1266SJens Wiklander size_t cmd_len, void *resp, uint64_t *resp_len); 295197d17e7SSY Chiu 296e86f1266SJens Wiklander /* c is of type TEE_SEChannelHandle */ 297e86f1266SJens Wiklander TEE_Result utee_se_channel_close(unsigned long c); 298197d17e7SSY Chiu 299e86f1266SJens Wiklander /* op is of type enum utee_cache_operation */ 300e86f1266SJens Wiklander TEE_Result utee_cache_operation(void *va, size_t l, unsigned long op); 301fa530828SPascal Brand 302883c4be3SJerome Forissier TEE_Result utee_gprof_send(void *buf, size_t size, uint32_t *id); 303883c4be3SJerome Forissier 304b0104773SPascal Brand #endif /* UTEE_SYSCALLS_H */ 305