15843bb75SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause 25843bb75SJerome Forissier /* 35843bb75SJerome Forissier * Copyright (c) 2018-2019, Linaro Limited 45843bb75SJerome Forissier */ 55843bb75SJerome Forissier 65843bb75SJerome Forissier #include <assert.h> 75843bb75SJerome Forissier #include <crypto/crypto.h> 85843bb75SJerome Forissier #include <kernel/handle.h> 95843bb75SJerome Forissier #include <kernel/huk_subkey.h> 105843bb75SJerome Forissier #include <kernel/misc.h> 115843bb75SJerome Forissier #include <kernel/msg_param.h> 125843bb75SJerome Forissier #include <kernel/pseudo_ta.h> 135843bb75SJerome Forissier #include <kernel/user_ta.h> 145843bb75SJerome Forissier #include <kernel/user_ta_store.h> 155843bb75SJerome Forissier #include <ldelf.h> 165843bb75SJerome Forissier #include <mm/file.h> 175843bb75SJerome Forissier #include <mm/fobj.h> 185843bb75SJerome Forissier #include <mm/tee_mmu.h> 195843bb75SJerome Forissier #include <pta_system.h> 205843bb75SJerome Forissier #include <string.h> 215843bb75SJerome Forissier #include <tee_api_defines_extensions.h> 225843bb75SJerome Forissier #include <tee_api_defines.h> 235843bb75SJerome Forissier #include <util.h> 24dd333f03SJavier Almansa Sobrino #include <kernel/tpm.h> 255843bb75SJerome Forissier 265843bb75SJerome Forissier struct bin_handle { 275843bb75SJerome Forissier const struct user_ta_store_ops *op; 285843bb75SJerome Forissier struct user_ta_store_handle *h; 295843bb75SJerome Forissier struct file *f; 305843bb75SJerome Forissier size_t offs_bytes; 315843bb75SJerome Forissier size_t size_bytes; 325843bb75SJerome Forissier }; 335843bb75SJerome Forissier 345843bb75SJerome Forissier struct system_ctx { 355843bb75SJerome Forissier struct handle_db db; 365843bb75SJerome Forissier const struct user_ta_store_ops *store_op; 375843bb75SJerome Forissier }; 385843bb75SJerome Forissier 395843bb75SJerome Forissier static unsigned int system_pnum; 405843bb75SJerome Forissier 415843bb75SJerome Forissier static TEE_Result system_rng_reseed(struct tee_ta_session *s __unused, 425843bb75SJerome Forissier uint32_t param_types, 435843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 445843bb75SJerome Forissier { 455843bb75SJerome Forissier size_t entropy_sz; 465843bb75SJerome Forissier uint8_t *entropy_input; 475843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 485843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 495843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 505843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 515843bb75SJerome Forissier 525843bb75SJerome Forissier if (exp_pt != param_types) 535843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 545843bb75SJerome Forissier entropy_input = params[0].memref.buffer; 555843bb75SJerome Forissier entropy_sz = params[0].memref.size; 565843bb75SJerome Forissier 57c2020b9dSJens Wiklander if (!entropy_sz || !entropy_input) 585843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 595843bb75SJerome Forissier 605843bb75SJerome Forissier crypto_rng_add_event(CRYPTO_RNG_SRC_NONSECURE, &system_pnum, 615843bb75SJerome Forissier entropy_input, entropy_sz); 625843bb75SJerome Forissier return TEE_SUCCESS; 635843bb75SJerome Forissier } 645843bb75SJerome Forissier 655843bb75SJerome Forissier static TEE_Result system_derive_ta_unique_key(struct tee_ta_session *s, 665843bb75SJerome Forissier uint32_t param_types, 675843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 685843bb75SJerome Forissier { 695843bb75SJerome Forissier size_t data_len = sizeof(TEE_UUID); 705843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 715843bb75SJerome Forissier uint8_t *data = NULL; 725843bb75SJerome Forissier uint32_t access_flags = 0; 735843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 745843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_OUTPUT, 755843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 765843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 775843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 785843bb75SJerome Forissier 795843bb75SJerome Forissier if (exp_pt != param_types) 805843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 815843bb75SJerome Forissier 825843bb75SJerome Forissier if (params[0].memref.size > TA_DERIVED_EXTRA_DATA_MAX_SIZE || 835843bb75SJerome Forissier params[1].memref.size < TA_DERIVED_KEY_MIN_SIZE || 845843bb75SJerome Forissier params[1].memref.size > TA_DERIVED_KEY_MAX_SIZE) 855843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 865843bb75SJerome Forissier 875843bb75SJerome Forissier utc = to_user_ta_ctx(s->ctx); 885843bb75SJerome Forissier 895843bb75SJerome Forissier /* 905843bb75SJerome Forissier * The derived key shall not end up in non-secure memory by 915843bb75SJerome Forissier * mistake. 925843bb75SJerome Forissier * 935843bb75SJerome Forissier * Note that we're allowing shared memory as long as it's 945843bb75SJerome Forissier * secure. This is needed because a TA always uses shared memory 955843bb75SJerome Forissier * when communicating with another TA. 965843bb75SJerome Forissier */ 975843bb75SJerome Forissier access_flags = TEE_MEMORY_ACCESS_WRITE | TEE_MEMORY_ACCESS_ANY_OWNER | 985843bb75SJerome Forissier TEE_MEMORY_ACCESS_SECURE; 991936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, access_flags, 1005843bb75SJerome Forissier (uaddr_t)params[1].memref.buffer, 1015843bb75SJerome Forissier params[1].memref.size); 1025843bb75SJerome Forissier if (res != TEE_SUCCESS) 1035843bb75SJerome Forissier return TEE_ERROR_SECURITY; 1045843bb75SJerome Forissier 1055843bb75SJerome Forissier /* Take extra data into account. */ 1065843bb75SJerome Forissier if (ADD_OVERFLOW(data_len, params[0].memref.size, &data_len)) 1075843bb75SJerome Forissier return TEE_ERROR_SECURITY; 1085843bb75SJerome Forissier 1095843bb75SJerome Forissier data = calloc(data_len, 1); 1105843bb75SJerome Forissier if (!data) 1115843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 1125843bb75SJerome Forissier 1135843bb75SJerome Forissier memcpy(data, &s->ctx->uuid, sizeof(TEE_UUID)); 1145843bb75SJerome Forissier 1155843bb75SJerome Forissier /* Append the user provided data */ 1165843bb75SJerome Forissier memcpy(data + sizeof(TEE_UUID), params[0].memref.buffer, 1175843bb75SJerome Forissier params[0].memref.size); 1185843bb75SJerome Forissier 1195843bb75SJerome Forissier res = huk_subkey_derive(HUK_SUBKEY_UNIQUE_TA, data, data_len, 1205843bb75SJerome Forissier params[1].memref.buffer, 1215843bb75SJerome Forissier params[1].memref.size); 1225843bb75SJerome Forissier free(data); 1235843bb75SJerome Forissier 1245843bb75SJerome Forissier return res; 1255843bb75SJerome Forissier } 1265843bb75SJerome Forissier 1275843bb75SJerome Forissier static TEE_Result system_map_zi(struct tee_ta_session *s, uint32_t param_types, 1285843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 1295843bb75SJerome Forissier { 1305843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 1315843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 1325843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 1335843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 1345843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 1355843bb75SJerome Forissier uint32_t prot = TEE_MATTR_URW | TEE_MATTR_PRW; 1365843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 1375843bb75SJerome Forissier struct mobj *mobj = NULL; 1385843bb75SJerome Forissier uint32_t pad_begin = 0; 139b9651492SJens Wiklander uint32_t vm_flags = 0; 1405843bb75SJerome Forissier struct fobj *f = NULL; 1415843bb75SJerome Forissier uint32_t pad_end = 0; 1425843bb75SJerome Forissier size_t num_bytes = 0; 1435843bb75SJerome Forissier vaddr_t va = 0; 1445843bb75SJerome Forissier 1455843bb75SJerome Forissier if (exp_pt != param_types) 1465843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1475843bb75SJerome Forissier if (params[0].value.b & ~PTA_SYSTEM_MAP_FLAG_SHAREABLE) 1485843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1495843bb75SJerome Forissier 1505843bb75SJerome Forissier if (params[0].value.b & PTA_SYSTEM_MAP_FLAG_SHAREABLE) 1515843bb75SJerome Forissier vm_flags |= VM_FLAG_SHAREABLE; 1525843bb75SJerome Forissier 1535843bb75SJerome Forissier num_bytes = params[0].value.a; 1545843bb75SJerome Forissier va = reg_pair_to_64(params[1].value.a, params[1].value.b); 1555843bb75SJerome Forissier pad_begin = params[2].value.a; 1565843bb75SJerome Forissier pad_end = params[2].value.b; 1575843bb75SJerome Forissier 158787295dfSJens Wiklander f = fobj_ta_mem_alloc(ROUNDUP_DIV(num_bytes, SMALL_PAGE_SIZE)); 1595843bb75SJerome Forissier if (!f) 1605843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 1615843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(f, NULL); 1625843bb75SJerome Forissier fobj_put(f); 1635843bb75SJerome Forissier if (!mobj) 1645843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 1651936dfc7SJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_bytes, prot, vm_flags, 1665843bb75SJerome Forissier mobj, 0, pad_begin, pad_end); 167b9651492SJens Wiklander mobj_put(mobj); 168b9651492SJens Wiklander if (!res) 1695843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[1].value.a, ¶ms[1].value.b); 1705843bb75SJerome Forissier 1715843bb75SJerome Forissier return res; 1725843bb75SJerome Forissier } 1735843bb75SJerome Forissier 1745843bb75SJerome Forissier static TEE_Result system_unmap(struct tee_ta_session *s, uint32_t param_types, 1755843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 1765843bb75SJerome Forissier { 1775843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 1785843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 1795843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 1805843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 18179f22013SJens Wiklander struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 18279f22013SJens Wiklander TEE_Result res = TEE_SUCCESS; 18379f22013SJens Wiklander uint32_t vm_flags = 0; 18479f22013SJens Wiklander vaddr_t va = 0; 18579f22013SJens Wiklander size_t sz = 0; 1865843bb75SJerome Forissier 1875843bb75SJerome Forissier if (exp_pt != param_types) 1885843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1895843bb75SJerome Forissier 1905843bb75SJerome Forissier if (params[0].value.b) 1915843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1925843bb75SJerome Forissier 19379f22013SJens Wiklander va = reg_pair_to_64(params[1].value.a, params[1].value.b); 19479f22013SJens Wiklander sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE); 19579f22013SJens Wiklander 19679f22013SJens Wiklander res = vm_get_flags(&utc->uctx, va, sz, &vm_flags); 19779f22013SJens Wiklander if (res) 19879f22013SJens Wiklander return res; 19979f22013SJens Wiklander if (vm_flags & VM_FLAG_PERMANENT) 20079f22013SJens Wiklander return TEE_ERROR_ACCESS_DENIED; 20179f22013SJens Wiklander 20279f22013SJens Wiklander return vm_unmap(&to_user_ta_ctx(s->ctx)->uctx, va, sz); 2035843bb75SJerome Forissier } 2045843bb75SJerome Forissier 2055843bb75SJerome Forissier static void ta_bin_close(void *ptr) 2065843bb75SJerome Forissier { 2075843bb75SJerome Forissier struct bin_handle *binh = ptr; 2085843bb75SJerome Forissier 2095843bb75SJerome Forissier if (binh) { 2105843bb75SJerome Forissier if (binh->op && binh->h) 2115843bb75SJerome Forissier binh->op->close(binh->h); 2125843bb75SJerome Forissier file_put(binh->f); 2135843bb75SJerome Forissier } 2145843bb75SJerome Forissier free(binh); 2155843bb75SJerome Forissier } 2165843bb75SJerome Forissier 2175843bb75SJerome Forissier static TEE_Result system_open_ta_binary(struct system_ctx *ctx, 2185843bb75SJerome Forissier uint32_t param_types, 2195843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 2205843bb75SJerome Forissier { 2215843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 2225843bb75SJerome Forissier struct bin_handle *binh = NULL; 2235843bb75SJerome Forissier int h = 0; 2245843bb75SJerome Forissier TEE_UUID *uuid = NULL; 2255843bb75SJerome Forissier uint8_t tag[FILE_TAG_SIZE] = { 0 }; 2265843bb75SJerome Forissier unsigned int tag_len = sizeof(tag); 2275843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 2285843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_OUTPUT, 2295843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2305843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 2315843bb75SJerome Forissier 2325843bb75SJerome Forissier if (exp_pt != param_types) 2335843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2345843bb75SJerome Forissier if (params[0].memref.size != sizeof(*uuid)) 2355843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2365843bb75SJerome Forissier 2375843bb75SJerome Forissier uuid = params[0].memref.buffer; 2385843bb75SJerome Forissier 2395843bb75SJerome Forissier binh = calloc(1, sizeof(*binh)); 2405843bb75SJerome Forissier if (!binh) 2415843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 2425843bb75SJerome Forissier 2435843bb75SJerome Forissier SCATTERED_ARRAY_FOREACH(binh->op, ta_stores, struct user_ta_store_ops) { 2445843bb75SJerome Forissier DMSG("Lookup user TA ELF %pUl (%s)", 2455843bb75SJerome Forissier (void *)uuid, binh->op->description); 2465843bb75SJerome Forissier 2475843bb75SJerome Forissier res = binh->op->open(uuid, &binh->h); 2485843bb75SJerome Forissier DMSG("res=0x%x", res); 2495843bb75SJerome Forissier if (res != TEE_ERROR_ITEM_NOT_FOUND && 2505843bb75SJerome Forissier res != TEE_ERROR_STORAGE_NOT_AVAILABLE) 2515843bb75SJerome Forissier break; 2525843bb75SJerome Forissier } 2535843bb75SJerome Forissier if (res) 2545843bb75SJerome Forissier goto err; 2555843bb75SJerome Forissier 2565843bb75SJerome Forissier res = binh->op->get_size(binh->h, &binh->size_bytes); 2575843bb75SJerome Forissier if (res) 2585843bb75SJerome Forissier goto err; 2595843bb75SJerome Forissier res = binh->op->get_tag(binh->h, tag, &tag_len); 2605843bb75SJerome Forissier if (res) 2615843bb75SJerome Forissier goto err; 2625843bb75SJerome Forissier binh->f = file_get_by_tag(tag, tag_len); 2635843bb75SJerome Forissier if (!binh->f) 2645843bb75SJerome Forissier goto err_oom; 2655843bb75SJerome Forissier 2665843bb75SJerome Forissier h = handle_get(&ctx->db, binh); 2675843bb75SJerome Forissier if (h < 0) 2685843bb75SJerome Forissier goto err_oom; 269908ce2d4SJens Wiklander params[0].value.a = h; 2705843bb75SJerome Forissier 2715843bb75SJerome Forissier return TEE_SUCCESS; 2725843bb75SJerome Forissier err_oom: 2735843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 2745843bb75SJerome Forissier err: 2755843bb75SJerome Forissier ta_bin_close(binh); 2765843bb75SJerome Forissier return res; 2775843bb75SJerome Forissier } 2785843bb75SJerome Forissier 2795843bb75SJerome Forissier static TEE_Result system_close_ta_binary(struct system_ctx *ctx, 2805843bb75SJerome Forissier uint32_t param_types, 2815843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 2825843bb75SJerome Forissier { 2835843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 2845843bb75SJerome Forissier struct bin_handle *binh = NULL; 2855843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 2865843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2875843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2885843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 2895843bb75SJerome Forissier 2905843bb75SJerome Forissier if (exp_pt != param_types) 2915843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2925843bb75SJerome Forissier 2935843bb75SJerome Forissier if (params[0].value.b) 2945843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2955843bb75SJerome Forissier 2965843bb75SJerome Forissier binh = handle_put(&ctx->db, params[0].value.a); 2975843bb75SJerome Forissier if (!binh) 2985843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2995843bb75SJerome Forissier 3005843bb75SJerome Forissier if (binh->offs_bytes < binh->size_bytes) 3015843bb75SJerome Forissier res = binh->op->read(binh->h, NULL, 3025843bb75SJerome Forissier binh->size_bytes - binh->offs_bytes); 3035843bb75SJerome Forissier 3045843bb75SJerome Forissier ta_bin_close(binh); 3055843bb75SJerome Forissier return res; 3065843bb75SJerome Forissier } 3075843bb75SJerome Forissier 3085843bb75SJerome Forissier static TEE_Result binh_copy_to(struct bin_handle *binh, vaddr_t va, 3095843bb75SJerome Forissier size_t offs_bytes, size_t num_bytes) 3105843bb75SJerome Forissier { 3115843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 3125843bb75SJerome Forissier size_t l = num_bytes; 3135843bb75SJerome Forissier 3145843bb75SJerome Forissier if (offs_bytes < binh->offs_bytes) 3155843bb75SJerome Forissier return TEE_ERROR_BAD_STATE; 3165843bb75SJerome Forissier if (offs_bytes > binh->offs_bytes) { 3175843bb75SJerome Forissier res = binh->op->read(binh->h, NULL, 3185843bb75SJerome Forissier offs_bytes - binh->offs_bytes); 3195843bb75SJerome Forissier if (res) 3205843bb75SJerome Forissier return res; 3215843bb75SJerome Forissier binh->offs_bytes = offs_bytes; 3225843bb75SJerome Forissier } 3235843bb75SJerome Forissier 3245843bb75SJerome Forissier if (binh->offs_bytes + l > binh->size_bytes) { 3255843bb75SJerome Forissier size_t rb = binh->size_bytes - binh->offs_bytes; 3265843bb75SJerome Forissier 3275843bb75SJerome Forissier res = binh->op->read(binh->h, (void *)va, rb); 3285843bb75SJerome Forissier if (res) 3295843bb75SJerome Forissier return res; 3305843bb75SJerome Forissier memset((uint8_t *)va + rb, 0, l - rb); 3315843bb75SJerome Forissier binh->offs_bytes = binh->size_bytes; 3325843bb75SJerome Forissier } else { 3335843bb75SJerome Forissier res = binh->op->read(binh->h, (void *)va, l); 3345843bb75SJerome Forissier if (res) 3355843bb75SJerome Forissier return res; 3365843bb75SJerome Forissier binh->offs_bytes += l; 3375843bb75SJerome Forissier } 3385843bb75SJerome Forissier 3395843bb75SJerome Forissier return TEE_SUCCESS; 3405843bb75SJerome Forissier } 3415843bb75SJerome Forissier 3425843bb75SJerome Forissier static TEE_Result system_map_ta_binary(struct system_ctx *ctx, 3435843bb75SJerome Forissier struct tee_ta_session *s, 3445843bb75SJerome Forissier uint32_t param_types, 3455843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 3465843bb75SJerome Forissier { 3475843bb75SJerome Forissier const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_SHAREABLE | 3485843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_WRITEABLE | 3495843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_EXECUTABLE; 3505843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 3515843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 3525843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 3535843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT); 3545843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 3555843bb75SJerome Forissier struct bin_handle *binh = NULL; 356*1e4e976bSJens Wiklander uint32_t num_rounded_bytes = 0; 3575843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 3585843bb75SJerome Forissier struct file_slice *fs = NULL; 3595843bb75SJerome Forissier bool file_is_locked = false; 3605843bb75SJerome Forissier struct mobj *mobj = NULL; 3615843bb75SJerome Forissier uint32_t offs_bytes = 0; 3625843bb75SJerome Forissier uint32_t offs_pages = 0; 3635843bb75SJerome Forissier uint32_t num_bytes = 0; 3645843bb75SJerome Forissier uint32_t pad_begin = 0; 3655843bb75SJerome Forissier uint32_t pad_end = 0; 3665843bb75SJerome Forissier size_t num_pages = 0; 3675843bb75SJerome Forissier uint32_t flags = 0; 3685843bb75SJerome Forissier uint32_t prot = 0; 3695843bb75SJerome Forissier vaddr_t va = 0; 3705843bb75SJerome Forissier 3715843bb75SJerome Forissier if (exp_pt != param_types) 3725843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3735843bb75SJerome Forissier 3745843bb75SJerome Forissier binh = handle_lookup(&ctx->db, params[0].value.a); 3755843bb75SJerome Forissier if (!binh) 3765843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3775843bb75SJerome Forissier flags = params[0].value.b; 3785843bb75SJerome Forissier offs_bytes = params[1].value.a; 3795843bb75SJerome Forissier num_bytes = params[1].value.b; 3805843bb75SJerome Forissier va = reg_pair_to_64(params[2].value.a, params[2].value.b); 3815843bb75SJerome Forissier pad_begin = params[3].value.a; 3825843bb75SJerome Forissier pad_end = params[3].value.b; 3835843bb75SJerome Forissier 3845843bb75SJerome Forissier if ((flags & accept_flags) != flags) 3855843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3865843bb75SJerome Forissier 3875843bb75SJerome Forissier if ((flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE) && 3885843bb75SJerome Forissier (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) 3895843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3905843bb75SJerome Forissier 3915843bb75SJerome Forissier if ((flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) && 3925843bb75SJerome Forissier (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) 3935843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3945843bb75SJerome Forissier 3955843bb75SJerome Forissier if (offs_bytes & SMALL_PAGE_MASK) 3965843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3975843bb75SJerome Forissier 3985843bb75SJerome Forissier prot = TEE_MATTR_UR | TEE_MATTR_PR; 3995843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE) 4005843bb75SJerome Forissier prot |= TEE_MATTR_UW | TEE_MATTR_PW; 4015843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) 4025843bb75SJerome Forissier prot |= TEE_MATTR_UX; 4035843bb75SJerome Forissier 4045843bb75SJerome Forissier offs_pages = offs_bytes >> SMALL_PAGE_SHIFT; 405*1e4e976bSJens Wiklander if (ROUNDUP_OVERFLOW(num_bytes, SMALL_PAGE_SIZE, &num_rounded_bytes)) 406*1e4e976bSJens Wiklander return TEE_ERROR_BAD_PARAMETERS; 407*1e4e976bSJens Wiklander num_pages = num_rounded_bytes / SMALL_PAGE_SIZE; 4085843bb75SJerome Forissier 4095843bb75SJerome Forissier if (!file_trylock(binh->f)) { 4105843bb75SJerome Forissier /* 4115843bb75SJerome Forissier * Before we can block on the file lock we must make all 4125843bb75SJerome Forissier * our page tables available for reclaiming in order to 4135843bb75SJerome Forissier * avoid a dead-lock with the other thread (which already 4145843bb75SJerome Forissier * is holding the file lock) mapping lots of memory below. 4155843bb75SJerome Forissier */ 4165843bb75SJerome Forissier tee_mmu_set_ctx(NULL); 4175843bb75SJerome Forissier file_lock(binh->f); 4185843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 4195843bb75SJerome Forissier } 4205843bb75SJerome Forissier file_is_locked = true; 4215843bb75SJerome Forissier fs = file_find_slice(binh->f, offs_pages); 4225843bb75SJerome Forissier if (fs) { 4235843bb75SJerome Forissier /* If there's registered slice it has to match */ 4245843bb75SJerome Forissier if (fs->page_offset != offs_pages || 4255843bb75SJerome Forissier num_pages > fs->fobj->num_pages) { 4265843bb75SJerome Forissier res = TEE_ERROR_BAD_PARAMETERS; 4275843bb75SJerome Forissier goto err; 4285843bb75SJerome Forissier } 4295843bb75SJerome Forissier 4305843bb75SJerome Forissier /* If there's a slice we must be mapping shareable */ 4315843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE)) { 4325843bb75SJerome Forissier res = TEE_ERROR_BAD_PARAMETERS; 4335843bb75SJerome Forissier goto err; 4345843bb75SJerome Forissier } 4355843bb75SJerome Forissier 4365843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(fs->fobj, binh->f); 4375843bb75SJerome Forissier if (!mobj) { 4385843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4395843bb75SJerome Forissier goto err; 4405843bb75SJerome Forissier } 441*1e4e976bSJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_rounded_bytes, 442b9651492SJens Wiklander prot, VM_FLAG_READONLY, 4435843bb75SJerome Forissier mobj, 0, pad_begin, pad_end); 444b9651492SJens Wiklander mobj_put(mobj); 4455843bb75SJerome Forissier if (res) 4465843bb75SJerome Forissier goto err; 4475843bb75SJerome Forissier } else { 4485843bb75SJerome Forissier struct fobj *f = fobj_ta_mem_alloc(num_pages); 4495843bb75SJerome Forissier struct file *file = NULL; 450b9651492SJens Wiklander uint32_t vm_flags = 0; 4515843bb75SJerome Forissier 4525843bb75SJerome Forissier if (!f) { 4535843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4545843bb75SJerome Forissier goto err; 4555843bb75SJerome Forissier } 4565843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) { 4575843bb75SJerome Forissier file = binh->f; 4585843bb75SJerome Forissier vm_flags |= VM_FLAG_READONLY; 4595843bb75SJerome Forissier } 4605843bb75SJerome Forissier 4615843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(f, file); 4625843bb75SJerome Forissier fobj_put(f); 4635843bb75SJerome Forissier if (!mobj) { 4645843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4655843bb75SJerome Forissier goto err; 4665843bb75SJerome Forissier } 467*1e4e976bSJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_rounded_bytes, 4685843bb75SJerome Forissier TEE_MATTR_PRW, vm_flags, mobj, 0, 4695843bb75SJerome Forissier pad_begin, pad_end); 470b9651492SJens Wiklander mobj_put(mobj); 4715843bb75SJerome Forissier if (res) 4725843bb75SJerome Forissier goto err; 4735843bb75SJerome Forissier res = binh_copy_to(binh, va, offs_bytes, num_bytes); 4745843bb75SJerome Forissier if (res) 4755843bb75SJerome Forissier goto err_unmap_va; 476*1e4e976bSJens Wiklander res = vm_set_prot(&utc->uctx, va, num_rounded_bytes, 4771936dfc7SJens Wiklander prot); 4785843bb75SJerome Forissier if (res) 4795843bb75SJerome Forissier goto err_unmap_va; 4805843bb75SJerome Forissier 4815843bb75SJerome Forissier /* 4825843bb75SJerome Forissier * The context currently is active set it again to update 4835843bb75SJerome Forissier * the mapping. 4845843bb75SJerome Forissier */ 4855843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 4865843bb75SJerome Forissier 4875843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) { 4885843bb75SJerome Forissier res = file_add_slice(binh->f, f, offs_pages); 4895843bb75SJerome Forissier if (res) 4905843bb75SJerome Forissier goto err_unmap_va; 4915843bb75SJerome Forissier } 4925843bb75SJerome Forissier } 4935843bb75SJerome Forissier 4945843bb75SJerome Forissier file_unlock(binh->f); 4955843bb75SJerome Forissier 4965843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[2].value.a, ¶ms[2].value.b); 4975843bb75SJerome Forissier return TEE_SUCCESS; 4985843bb75SJerome Forissier 4995843bb75SJerome Forissier err_unmap_va: 500*1e4e976bSJens Wiklander if (vm_unmap(&utc->uctx, va, num_rounded_bytes)) 5015843bb75SJerome Forissier panic(); 5025843bb75SJerome Forissier 5035843bb75SJerome Forissier /* 5045843bb75SJerome Forissier * The context currently is active set it again to update 5055843bb75SJerome Forissier * the mapping. 5065843bb75SJerome Forissier */ 5075843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 5085843bb75SJerome Forissier 5095843bb75SJerome Forissier err: 5105843bb75SJerome Forissier if (file_is_locked) 5115843bb75SJerome Forissier file_unlock(binh->f); 5125843bb75SJerome Forissier 5135843bb75SJerome Forissier return res; 5145843bb75SJerome Forissier } 5155843bb75SJerome Forissier 5165843bb75SJerome Forissier static TEE_Result system_copy_from_ta_binary(struct system_ctx *ctx, 5175843bb75SJerome Forissier uint32_t param_types, 5185843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5195843bb75SJerome Forissier { 5205843bb75SJerome Forissier struct bin_handle *binh = NULL; 5215843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5225843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_OUTPUT, 5235843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 5245843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 5255843bb75SJerome Forissier 5265843bb75SJerome Forissier if (exp_pt != param_types) 5275843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5285843bb75SJerome Forissier 5295843bb75SJerome Forissier binh = handle_lookup(&ctx->db, params[0].value.a); 5305843bb75SJerome Forissier if (!binh) 5315843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5325843bb75SJerome Forissier 5335843bb75SJerome Forissier return binh_copy_to(binh, (vaddr_t)params[1].memref.buffer, 5345843bb75SJerome Forissier params[0].value.b, params[1].memref.size); 5355843bb75SJerome Forissier } 5365843bb75SJerome Forissier 5375843bb75SJerome Forissier static TEE_Result system_set_prot(struct tee_ta_session *s, 5385843bb75SJerome Forissier uint32_t param_types, 5395843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5405843bb75SJerome Forissier { 5415843bb75SJerome Forissier const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_WRITEABLE | 5425843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_EXECUTABLE; 5435843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5445843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 5455843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 5465843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 5475843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 5485843bb75SJerome Forissier uint32_t prot = TEE_MATTR_UR | TEE_MATTR_PR; 5495843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 5505843bb75SJerome Forissier uint32_t vm_flags = 0; 5515843bb75SJerome Forissier uint32_t flags = 0; 5525843bb75SJerome Forissier vaddr_t va = 0; 5535843bb75SJerome Forissier size_t sz = 0; 5545843bb75SJerome Forissier 5555843bb75SJerome Forissier if (exp_pt != param_types) 5565843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5575843bb75SJerome Forissier 5585843bb75SJerome Forissier flags = params[0].value.b; 5595843bb75SJerome Forissier 5605843bb75SJerome Forissier if ((flags & accept_flags) != flags) 5615843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5625843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE) 5635843bb75SJerome Forissier prot |= TEE_MATTR_UW | TEE_MATTR_PW; 5645843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) 5655843bb75SJerome Forissier prot |= TEE_MATTR_UX; 5665843bb75SJerome Forissier 5675843bb75SJerome Forissier va = reg_pair_to_64(params[1].value.a, params[1].value.b), 5685843bb75SJerome Forissier sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE); 5695843bb75SJerome Forissier 5701936dfc7SJens Wiklander res = vm_get_flags(&utc->uctx, va, sz, &vm_flags); 5715843bb75SJerome Forissier if (res) 5725843bb75SJerome Forissier return res; 57379f22013SJens Wiklander if (vm_flags & VM_FLAG_PERMANENT) 57479f22013SJens Wiklander return TEE_ERROR_ACCESS_DENIED; 5755843bb75SJerome Forissier 5765843bb75SJerome Forissier /* 5775843bb75SJerome Forissier * If the segment is a mapping of a part of a file (vm_flags & 5785843bb75SJerome Forissier * VM_FLAG_READONLY) it cannot be made writeable as all mapped 5795843bb75SJerome Forissier * files are mapped read-only. 5805843bb75SJerome Forissier */ 5815843bb75SJerome Forissier if ((vm_flags & VM_FLAG_READONLY) && 5825843bb75SJerome Forissier (prot & (TEE_MATTR_UW | TEE_MATTR_PW))) 5835843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 5845843bb75SJerome Forissier 5851936dfc7SJens Wiklander return vm_set_prot(&utc->uctx, va, sz, prot); 5865843bb75SJerome Forissier } 5875843bb75SJerome Forissier 5885843bb75SJerome Forissier static TEE_Result system_remap(struct tee_ta_session *s, uint32_t param_types, 5895843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5905843bb75SJerome Forissier { 5915843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5925843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 5935843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 5945843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT); 5955843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 5965843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 5975843bb75SJerome Forissier uint32_t num_bytes = 0; 5985843bb75SJerome Forissier uint32_t pad_begin = 0; 59979f22013SJens Wiklander uint32_t vm_flags = 0; 6005843bb75SJerome Forissier uint32_t pad_end = 0; 6015843bb75SJerome Forissier vaddr_t old_va = 0; 6025843bb75SJerome Forissier vaddr_t new_va = 0; 6035843bb75SJerome Forissier 6045843bb75SJerome Forissier if (exp_pt != param_types) 6055843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 6065843bb75SJerome Forissier 6075843bb75SJerome Forissier num_bytes = params[0].value.a; 6085843bb75SJerome Forissier old_va = reg_pair_to_64(params[1].value.a, params[1].value.b); 6095843bb75SJerome Forissier new_va = reg_pair_to_64(params[2].value.a, params[2].value.b); 6105843bb75SJerome Forissier pad_begin = params[3].value.a; 6115843bb75SJerome Forissier pad_end = params[3].value.b; 6125843bb75SJerome Forissier 61379f22013SJens Wiklander res = vm_get_flags(&utc->uctx, old_va, num_bytes, &vm_flags); 61479f22013SJens Wiklander if (res) 61579f22013SJens Wiklander return res; 61679f22013SJens Wiklander if (vm_flags & VM_FLAG_PERMANENT) 61779f22013SJens Wiklander return TEE_ERROR_ACCESS_DENIED; 61879f22013SJens Wiklander 6191936dfc7SJens Wiklander res = vm_remap(&utc->uctx, &new_va, old_va, num_bytes, pad_begin, 6201936dfc7SJens Wiklander pad_end); 6215843bb75SJerome Forissier if (!res) 6225843bb75SJerome Forissier reg_pair_from_64(new_va, ¶ms[2].value.a, 6235843bb75SJerome Forissier ¶ms[2].value.b); 6245843bb75SJerome Forissier 6255843bb75SJerome Forissier return res; 6265843bb75SJerome Forissier } 6275843bb75SJerome Forissier 6285843bb75SJerome Forissier /* ldelf has the same architecture/register width as the kernel */ 6295843bb75SJerome Forissier #ifdef ARM32 6305843bb75SJerome Forissier static const bool is_arm32 = true; 6315843bb75SJerome Forissier #else 6325843bb75SJerome Forissier static const bool is_arm32; 6335843bb75SJerome Forissier #endif 6345843bb75SJerome Forissier 6355843bb75SJerome Forissier static TEE_Result call_ldelf_dlopen(struct user_ta_ctx *utc, TEE_UUID *uuid, 6365843bb75SJerome Forissier uint32_t flags) 6375843bb75SJerome Forissier { 6385843bb75SJerome Forissier uaddr_t usr_stack = utc->ldelf_stack_ptr; 6395843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 6405843bb75SJerome Forissier struct dl_entry_arg *arg = NULL; 6415843bb75SJerome Forissier uint32_t panic_code = 0; 6425843bb75SJerome Forissier uint32_t panicked = 0; 6435843bb75SJerome Forissier 6445843bb75SJerome Forissier assert(uuid); 6455843bb75SJerome Forissier 6465843bb75SJerome Forissier usr_stack -= ROUNDUP(sizeof(*arg), STACK_ALIGNMENT); 6475843bb75SJerome Forissier arg = (struct dl_entry_arg *)usr_stack; 6485843bb75SJerome Forissier 6491936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, 6501936dfc7SJens Wiklander TEE_MEMORY_ACCESS_READ | 6515843bb75SJerome Forissier TEE_MEMORY_ACCESS_WRITE | 6525843bb75SJerome Forissier TEE_MEMORY_ACCESS_ANY_OWNER, 6535843bb75SJerome Forissier (uaddr_t)arg, sizeof(*arg)); 6545843bb75SJerome Forissier if (res) { 6555843bb75SJerome Forissier EMSG("ldelf stack is inaccessible!"); 6565843bb75SJerome Forissier return res; 6575843bb75SJerome Forissier } 6585843bb75SJerome Forissier 6595843bb75SJerome Forissier memset(arg, 0, sizeof(*arg)); 6605843bb75SJerome Forissier arg->cmd = LDELF_DL_ENTRY_DLOPEN; 6615843bb75SJerome Forissier arg->dlopen.uuid = *uuid; 6625843bb75SJerome Forissier arg->dlopen.flags = flags; 6635843bb75SJerome Forissier 6645843bb75SJerome Forissier res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0, 6655843bb75SJerome Forissier usr_stack, utc->dl_entry_func, 6665843bb75SJerome Forissier is_arm32, &panicked, &panic_code); 6675843bb75SJerome Forissier if (panicked) { 6685843bb75SJerome Forissier EMSG("ldelf dl_entry function panicked"); 6695843bb75SJerome Forissier abort_print_current_ta(); 6705843bb75SJerome Forissier res = TEE_ERROR_TARGET_DEAD; 6715843bb75SJerome Forissier } 6725843bb75SJerome Forissier if (!res) 6735843bb75SJerome Forissier res = arg->ret; 6745843bb75SJerome Forissier 6755843bb75SJerome Forissier return res; 6765843bb75SJerome Forissier } 6775843bb75SJerome Forissier 6785843bb75SJerome Forissier static TEE_Result call_ldelf_dlsym(struct user_ta_ctx *utc, TEE_UUID *uuid, 6795843bb75SJerome Forissier const char *sym, size_t maxlen, vaddr_t *val) 6805843bb75SJerome Forissier { 6815843bb75SJerome Forissier uaddr_t usr_stack = utc->ldelf_stack_ptr; 6825843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 6835843bb75SJerome Forissier struct dl_entry_arg *arg = NULL; 6845843bb75SJerome Forissier uint32_t panic_code = 0; 6855843bb75SJerome Forissier uint32_t panicked = 0; 6865843bb75SJerome Forissier size_t len = strnlen(sym, maxlen); 6875843bb75SJerome Forissier 6885843bb75SJerome Forissier if (len == maxlen) 6895843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 6905843bb75SJerome Forissier 6915843bb75SJerome Forissier usr_stack -= ROUNDUP(sizeof(*arg) + len + 1, STACK_ALIGNMENT); 6925843bb75SJerome Forissier arg = (struct dl_entry_arg *)usr_stack; 6935843bb75SJerome Forissier 6941936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, 6951936dfc7SJens Wiklander TEE_MEMORY_ACCESS_READ | 6965843bb75SJerome Forissier TEE_MEMORY_ACCESS_WRITE | 6975843bb75SJerome Forissier TEE_MEMORY_ACCESS_ANY_OWNER, 6981936dfc7SJens Wiklander (uaddr_t)arg, sizeof(*arg) + len + 1); 6995843bb75SJerome Forissier if (res) { 7005843bb75SJerome Forissier EMSG("ldelf stack is inaccessible!"); 7015843bb75SJerome Forissier return res; 7025843bb75SJerome Forissier } 7035843bb75SJerome Forissier 7045843bb75SJerome Forissier memset(arg, 0, sizeof(*arg)); 7055843bb75SJerome Forissier arg->cmd = LDELF_DL_ENTRY_DLSYM; 7065843bb75SJerome Forissier arg->dlsym.uuid = *uuid; 7075843bb75SJerome Forissier memcpy(arg->dlsym.symbol, sym, len); 7088027bd32SEtienne Carriere arg->dlsym.symbol[len] = '\0'; 7095843bb75SJerome Forissier 7105843bb75SJerome Forissier res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0, 7115843bb75SJerome Forissier usr_stack, utc->dl_entry_func, 7125843bb75SJerome Forissier is_arm32, &panicked, &panic_code); 7135843bb75SJerome Forissier if (panicked) { 7145843bb75SJerome Forissier EMSG("ldelf dl_entry function panicked"); 7155843bb75SJerome Forissier abort_print_current_ta(); 7165843bb75SJerome Forissier res = TEE_ERROR_TARGET_DEAD; 7175843bb75SJerome Forissier } 7185843bb75SJerome Forissier if (!res) { 7195843bb75SJerome Forissier res = arg->ret; 7205843bb75SJerome Forissier if (!res) 7215843bb75SJerome Forissier *val = arg->dlsym.val; 7225843bb75SJerome Forissier } 7235843bb75SJerome Forissier 7245843bb75SJerome Forissier return res; 7255843bb75SJerome Forissier } 7265843bb75SJerome Forissier 7275843bb75SJerome Forissier static TEE_Result system_dlopen(struct tee_ta_session *cs, uint32_t param_types, 7285843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 7295843bb75SJerome Forissier { 7305843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 7315843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 7325843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 7335843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 7345843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 7355843bb75SJerome Forissier struct tee_ta_session *s = NULL; 7365843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 7375843bb75SJerome Forissier TEE_UUID *uuid = NULL; 7385843bb75SJerome Forissier uint32_t flags = 0; 7395843bb75SJerome Forissier 7405843bb75SJerome Forissier if (exp_pt != param_types) 7415843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7425843bb75SJerome Forissier 7435843bb75SJerome Forissier uuid = params[0].memref.buffer; 7445843bb75SJerome Forissier if (!uuid || params[0].memref.size != sizeof(*uuid)) 7455843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7465843bb75SJerome Forissier 7475843bb75SJerome Forissier flags = params[1].value.a; 7485843bb75SJerome Forissier 7495843bb75SJerome Forissier utc = to_user_ta_ctx(cs->ctx); 7505843bb75SJerome Forissier 7515843bb75SJerome Forissier s = tee_ta_pop_current_session(); 7525843bb75SJerome Forissier res = call_ldelf_dlopen(utc, uuid, flags); 7535843bb75SJerome Forissier tee_ta_push_current_session(s); 7545843bb75SJerome Forissier 7555843bb75SJerome Forissier return res; 7565843bb75SJerome Forissier } 7575843bb75SJerome Forissier 7585843bb75SJerome Forissier static TEE_Result system_dlsym(struct tee_ta_session *cs, uint32_t param_types, 7595843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 7605843bb75SJerome Forissier { 7615843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 7625843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_INPUT, 7635843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_OUTPUT, 7645843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 7655843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 7665843bb75SJerome Forissier struct tee_ta_session *s = NULL; 7675843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 7685843bb75SJerome Forissier const char *sym = NULL; 7695843bb75SJerome Forissier TEE_UUID *uuid = NULL; 7705843bb75SJerome Forissier size_t maxlen = 0; 7715843bb75SJerome Forissier vaddr_t va = 0; 7725843bb75SJerome Forissier 7735843bb75SJerome Forissier if (exp_pt != param_types) 7745843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7755843bb75SJerome Forissier 7765843bb75SJerome Forissier uuid = params[0].memref.buffer; 7775843bb75SJerome Forissier if (uuid && params[0].memref.size != sizeof(*uuid)) 7785843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7795843bb75SJerome Forissier 7805843bb75SJerome Forissier sym = params[1].memref.buffer; 7815843bb75SJerome Forissier if (!sym) 7825843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7835843bb75SJerome Forissier maxlen = params[1].memref.size; 7845843bb75SJerome Forissier 7855843bb75SJerome Forissier utc = to_user_ta_ctx(cs->ctx); 7865843bb75SJerome Forissier 7875843bb75SJerome Forissier s = tee_ta_pop_current_session(); 7885843bb75SJerome Forissier res = call_ldelf_dlsym(utc, uuid, sym, maxlen, &va); 7895843bb75SJerome Forissier tee_ta_push_current_session(s); 7905843bb75SJerome Forissier 7915843bb75SJerome Forissier if (!res) 7925843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[2].value.a, ¶ms[2].value.b); 7935843bb75SJerome Forissier 7945843bb75SJerome Forissier return res; 7955843bb75SJerome Forissier } 7965843bb75SJerome Forissier 797dd333f03SJavier Almansa Sobrino static TEE_Result system_get_tpm_event_log(uint32_t param_types, 798dd333f03SJavier Almansa Sobrino TEE_Param params[TEE_NUM_PARAMS]) 799dd333f03SJavier Almansa Sobrino { 800dd333f03SJavier Almansa Sobrino uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_OUTPUT, 801dd333f03SJavier Almansa Sobrino TEE_PARAM_TYPE_NONE, 802dd333f03SJavier Almansa Sobrino TEE_PARAM_TYPE_NONE, 803dd333f03SJavier Almansa Sobrino TEE_PARAM_TYPE_NONE); 804dd333f03SJavier Almansa Sobrino size_t size = 0; 805dd333f03SJavier Almansa Sobrino TEE_Result res = TEE_SUCCESS; 806dd333f03SJavier Almansa Sobrino 807dd333f03SJavier Almansa Sobrino if (exp_pt != param_types) 808dd333f03SJavier Almansa Sobrino return TEE_ERROR_BAD_PARAMETERS; 809dd333f03SJavier Almansa Sobrino 810dd333f03SJavier Almansa Sobrino size = params[0].memref.size; 811dd333f03SJavier Almansa Sobrino res = tpm_get_event_log(params[0].memref.buffer, &size); 812dd333f03SJavier Almansa Sobrino params[0].memref.size = size; 813dd333f03SJavier Almansa Sobrino 814dd333f03SJavier Almansa Sobrino return res; 815dd333f03SJavier Almansa Sobrino } 816dd333f03SJavier Almansa Sobrino 8175843bb75SJerome Forissier static TEE_Result open_session(uint32_t param_types __unused, 8185843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS] __unused, 8195843bb75SJerome Forissier void **sess_ctx) 8205843bb75SJerome Forissier { 8215843bb75SJerome Forissier struct tee_ta_session *s = NULL; 8225843bb75SJerome Forissier struct system_ctx *ctx = NULL; 8235843bb75SJerome Forissier 8245843bb75SJerome Forissier /* Check that we're called from a user TA */ 8255843bb75SJerome Forissier s = tee_ta_get_calling_session(); 8265843bb75SJerome Forissier if (!s) 8275843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 8285843bb75SJerome Forissier if (!is_user_ta_ctx(s->ctx)) 8295843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 8305843bb75SJerome Forissier 8315843bb75SJerome Forissier ctx = calloc(1, sizeof(*ctx)); 8325843bb75SJerome Forissier if (!ctx) 8335843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 8345843bb75SJerome Forissier 8355843bb75SJerome Forissier *sess_ctx = ctx; 8365843bb75SJerome Forissier 8375843bb75SJerome Forissier return TEE_SUCCESS; 8385843bb75SJerome Forissier } 8395843bb75SJerome Forissier 8405843bb75SJerome Forissier static void close_session(void *sess_ctx) 8415843bb75SJerome Forissier { 8425843bb75SJerome Forissier struct system_ctx *ctx = sess_ctx; 8435843bb75SJerome Forissier 8445843bb75SJerome Forissier handle_db_destroy(&ctx->db, ta_bin_close); 8455843bb75SJerome Forissier free(ctx); 8465843bb75SJerome Forissier } 8475843bb75SJerome Forissier 8485843bb75SJerome Forissier static TEE_Result invoke_command(void *sess_ctx, uint32_t cmd_id, 8495843bb75SJerome Forissier uint32_t param_types, 8505843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 8515843bb75SJerome Forissier { 8525843bb75SJerome Forissier struct tee_ta_session *s = tee_ta_get_calling_session(); 8535843bb75SJerome Forissier 8545843bb75SJerome Forissier switch (cmd_id) { 8555843bb75SJerome Forissier case PTA_SYSTEM_ADD_RNG_ENTROPY: 8565843bb75SJerome Forissier return system_rng_reseed(s, param_types, params); 8575843bb75SJerome Forissier case PTA_SYSTEM_DERIVE_TA_UNIQUE_KEY: 8585843bb75SJerome Forissier return system_derive_ta_unique_key(s, param_types, params); 8595843bb75SJerome Forissier case PTA_SYSTEM_MAP_ZI: 8605843bb75SJerome Forissier return system_map_zi(s, param_types, params); 8615843bb75SJerome Forissier case PTA_SYSTEM_UNMAP: 8625843bb75SJerome Forissier return system_unmap(s, param_types, params); 8635843bb75SJerome Forissier case PTA_SYSTEM_OPEN_TA_BINARY: 8645843bb75SJerome Forissier return system_open_ta_binary(sess_ctx, param_types, params); 8655843bb75SJerome Forissier case PTA_SYSTEM_CLOSE_TA_BINARY: 8665843bb75SJerome Forissier return system_close_ta_binary(sess_ctx, param_types, params); 8675843bb75SJerome Forissier case PTA_SYSTEM_MAP_TA_BINARY: 8685843bb75SJerome Forissier return system_map_ta_binary(sess_ctx, s, param_types, params); 8695843bb75SJerome Forissier case PTA_SYSTEM_COPY_FROM_TA_BINARY: 8705843bb75SJerome Forissier return system_copy_from_ta_binary(sess_ctx, param_types, 8715843bb75SJerome Forissier params); 8725843bb75SJerome Forissier case PTA_SYSTEM_SET_PROT: 8735843bb75SJerome Forissier return system_set_prot(s, param_types, params); 8745843bb75SJerome Forissier case PTA_SYSTEM_REMAP: 8755843bb75SJerome Forissier return system_remap(s, param_types, params); 8765843bb75SJerome Forissier case PTA_SYSTEM_DLOPEN: 8775843bb75SJerome Forissier return system_dlopen(s, param_types, params); 8785843bb75SJerome Forissier case PTA_SYSTEM_DLSYM: 8795843bb75SJerome Forissier return system_dlsym(s, param_types, params); 880dd333f03SJavier Almansa Sobrino case PTA_SYSTEM_GET_TPM_EVENT_LOG: 881dd333f03SJavier Almansa Sobrino return system_get_tpm_event_log(param_types, params); 8825843bb75SJerome Forissier default: 8835843bb75SJerome Forissier break; 8845843bb75SJerome Forissier } 8855843bb75SJerome Forissier 8865843bb75SJerome Forissier return TEE_ERROR_NOT_IMPLEMENTED; 8875843bb75SJerome Forissier } 8885843bb75SJerome Forissier 8895843bb75SJerome Forissier pseudo_ta_register(.uuid = PTA_SYSTEM_UUID, .name = "system.pta", 8905843bb75SJerome Forissier .flags = PTA_DEFAULT_FLAGS | TA_FLAG_CONCURRENT, 8915843bb75SJerome Forissier .open_session_entry_point = open_session, 8925843bb75SJerome Forissier .close_session_entry_point = close_session, 8935843bb75SJerome Forissier .invoke_command_entry_point = invoke_command); 894