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