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> 245843bb75SJerome Forissier 255843bb75SJerome Forissier #define MAX_ENTROPY_IN 32u 265843bb75SJerome Forissier 275843bb75SJerome Forissier struct bin_handle { 285843bb75SJerome Forissier const struct user_ta_store_ops *op; 295843bb75SJerome Forissier struct user_ta_store_handle *h; 305843bb75SJerome Forissier struct file *f; 315843bb75SJerome Forissier size_t offs_bytes; 325843bb75SJerome Forissier size_t size_bytes; 335843bb75SJerome Forissier }; 345843bb75SJerome Forissier 355843bb75SJerome Forissier struct system_ctx { 365843bb75SJerome Forissier struct handle_db db; 375843bb75SJerome Forissier const struct user_ta_store_ops *store_op; 385843bb75SJerome Forissier }; 395843bb75SJerome Forissier 405843bb75SJerome Forissier static unsigned int system_pnum; 415843bb75SJerome Forissier 425843bb75SJerome Forissier static TEE_Result system_rng_reseed(struct tee_ta_session *s __unused, 435843bb75SJerome Forissier uint32_t param_types, 445843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 455843bb75SJerome Forissier { 465843bb75SJerome Forissier size_t entropy_sz; 475843bb75SJerome Forissier uint8_t *entropy_input; 485843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 495843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 505843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 515843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 525843bb75SJerome Forissier 535843bb75SJerome Forissier if (exp_pt != param_types) 545843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 555843bb75SJerome Forissier entropy_input = params[0].memref.buffer; 565843bb75SJerome Forissier entropy_sz = params[0].memref.size; 575843bb75SJerome Forissier 585843bb75SJerome Forissier /* Fortuna PRNG requires seed <= 32 bytes */ 595843bb75SJerome Forissier if (!entropy_sz) 605843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 615843bb75SJerome Forissier 625843bb75SJerome Forissier entropy_sz = MIN(entropy_sz, MAX_ENTROPY_IN); 635843bb75SJerome Forissier 645843bb75SJerome Forissier crypto_rng_add_event(CRYPTO_RNG_SRC_NONSECURE, &system_pnum, 655843bb75SJerome Forissier entropy_input, entropy_sz); 665843bb75SJerome Forissier return TEE_SUCCESS; 675843bb75SJerome Forissier } 685843bb75SJerome Forissier 695843bb75SJerome Forissier static TEE_Result system_derive_ta_unique_key(struct tee_ta_session *s, 705843bb75SJerome Forissier uint32_t param_types, 715843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 725843bb75SJerome Forissier { 735843bb75SJerome Forissier size_t data_len = sizeof(TEE_UUID); 745843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 755843bb75SJerome Forissier uint8_t *data = NULL; 765843bb75SJerome Forissier uint32_t access_flags = 0; 775843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 785843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_OUTPUT, 795843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 805843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 815843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 825843bb75SJerome Forissier 835843bb75SJerome Forissier if (exp_pt != param_types) 845843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 855843bb75SJerome Forissier 865843bb75SJerome Forissier if (params[0].memref.size > TA_DERIVED_EXTRA_DATA_MAX_SIZE || 875843bb75SJerome Forissier params[1].memref.size < TA_DERIVED_KEY_MIN_SIZE || 885843bb75SJerome Forissier params[1].memref.size > TA_DERIVED_KEY_MAX_SIZE) 895843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 905843bb75SJerome Forissier 915843bb75SJerome Forissier utc = to_user_ta_ctx(s->ctx); 925843bb75SJerome Forissier 935843bb75SJerome Forissier /* 945843bb75SJerome Forissier * The derived key shall not end up in non-secure memory by 955843bb75SJerome Forissier * mistake. 965843bb75SJerome Forissier * 975843bb75SJerome Forissier * Note that we're allowing shared memory as long as it's 985843bb75SJerome Forissier * secure. This is needed because a TA always uses shared memory 995843bb75SJerome Forissier * when communicating with another TA. 1005843bb75SJerome Forissier */ 1015843bb75SJerome Forissier access_flags = TEE_MEMORY_ACCESS_WRITE | TEE_MEMORY_ACCESS_ANY_OWNER | 1025843bb75SJerome Forissier TEE_MEMORY_ACCESS_SECURE; 103*1936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, access_flags, 1045843bb75SJerome Forissier (uaddr_t)params[1].memref.buffer, 1055843bb75SJerome Forissier params[1].memref.size); 1065843bb75SJerome Forissier if (res != TEE_SUCCESS) 1075843bb75SJerome Forissier return TEE_ERROR_SECURITY; 1085843bb75SJerome Forissier 1095843bb75SJerome Forissier /* Take extra data into account. */ 1105843bb75SJerome Forissier if (ADD_OVERFLOW(data_len, params[0].memref.size, &data_len)) 1115843bb75SJerome Forissier return TEE_ERROR_SECURITY; 1125843bb75SJerome Forissier 1135843bb75SJerome Forissier data = calloc(data_len, 1); 1145843bb75SJerome Forissier if (!data) 1155843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 1165843bb75SJerome Forissier 1175843bb75SJerome Forissier memcpy(data, &s->ctx->uuid, sizeof(TEE_UUID)); 1185843bb75SJerome Forissier 1195843bb75SJerome Forissier /* Append the user provided data */ 1205843bb75SJerome Forissier memcpy(data + sizeof(TEE_UUID), params[0].memref.buffer, 1215843bb75SJerome Forissier params[0].memref.size); 1225843bb75SJerome Forissier 1235843bb75SJerome Forissier res = huk_subkey_derive(HUK_SUBKEY_UNIQUE_TA, data, data_len, 1245843bb75SJerome Forissier params[1].memref.buffer, 1255843bb75SJerome Forissier params[1].memref.size); 1265843bb75SJerome Forissier free(data); 1275843bb75SJerome Forissier 1285843bb75SJerome Forissier return res; 1295843bb75SJerome Forissier } 1305843bb75SJerome Forissier 1315843bb75SJerome Forissier static TEE_Result system_map_zi(struct tee_ta_session *s, uint32_t param_types, 1325843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 1335843bb75SJerome Forissier { 1345843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 1355843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 1365843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 1375843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 1385843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 1395843bb75SJerome Forissier uint32_t prot = TEE_MATTR_URW | TEE_MATTR_PRW; 1405843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 1415843bb75SJerome Forissier struct mobj *mobj = NULL; 1425843bb75SJerome Forissier uint32_t pad_begin = 0; 143b9651492SJens Wiklander uint32_t vm_flags = 0; 1445843bb75SJerome Forissier struct fobj *f = NULL; 1455843bb75SJerome Forissier uint32_t pad_end = 0; 1465843bb75SJerome Forissier size_t num_bytes = 0; 1475843bb75SJerome Forissier vaddr_t va = 0; 1485843bb75SJerome Forissier 1495843bb75SJerome Forissier if (exp_pt != param_types) 1505843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1515843bb75SJerome Forissier if (params[0].value.b & ~PTA_SYSTEM_MAP_FLAG_SHAREABLE) 1525843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 1535843bb75SJerome Forissier 1545843bb75SJerome Forissier if (params[0].value.b & PTA_SYSTEM_MAP_FLAG_SHAREABLE) 1555843bb75SJerome Forissier vm_flags |= VM_FLAG_SHAREABLE; 1565843bb75SJerome Forissier 1575843bb75SJerome Forissier num_bytes = params[0].value.a; 1585843bb75SJerome Forissier va = reg_pair_to_64(params[1].value.a, params[1].value.b); 1595843bb75SJerome Forissier pad_begin = params[2].value.a; 1605843bb75SJerome Forissier pad_end = params[2].value.b; 1615843bb75SJerome Forissier 1625843bb75SJerome Forissier f = fobj_ta_mem_alloc(ROUNDUP(num_bytes, SMALL_PAGE_SIZE) / 1635843bb75SJerome Forissier SMALL_PAGE_SIZE); 1645843bb75SJerome Forissier if (!f) 1655843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 1665843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(f, NULL); 1675843bb75SJerome Forissier fobj_put(f); 1685843bb75SJerome Forissier if (!mobj) 1695843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 170*1936dfc7SJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_bytes, prot, vm_flags, 1715843bb75SJerome Forissier mobj, 0, pad_begin, pad_end); 172b9651492SJens Wiklander mobj_put(mobj); 173b9651492SJens Wiklander if (!res) 1745843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[1].value.a, ¶ms[1].value.b); 1755843bb75SJerome Forissier 1765843bb75SJerome Forissier return res; 1775843bb75SJerome Forissier } 1785843bb75SJerome Forissier 1795843bb75SJerome Forissier static TEE_Result system_unmap(struct tee_ta_session *s, uint32_t param_types, 1805843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 1815843bb75SJerome Forissier { 1825843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 1835843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 1845843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 1855843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 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 193*1936dfc7SJens Wiklander return vm_unmap(&to_user_ta_ctx(s->ctx)->uctx, 1945843bb75SJerome Forissier reg_pair_to_64(params[1].value.a, params[1].value.b), 1955843bb75SJerome Forissier ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE)); 1965843bb75SJerome Forissier } 1975843bb75SJerome Forissier 1985843bb75SJerome Forissier static void ta_bin_close(void *ptr) 1995843bb75SJerome Forissier { 2005843bb75SJerome Forissier struct bin_handle *binh = ptr; 2015843bb75SJerome Forissier 2025843bb75SJerome Forissier if (binh) { 2035843bb75SJerome Forissier if (binh->op && binh->h) 2045843bb75SJerome Forissier binh->op->close(binh->h); 2055843bb75SJerome Forissier file_put(binh->f); 2065843bb75SJerome Forissier } 2075843bb75SJerome Forissier free(binh); 2085843bb75SJerome Forissier } 2095843bb75SJerome Forissier 2105843bb75SJerome Forissier static TEE_Result system_open_ta_binary(struct system_ctx *ctx, 2115843bb75SJerome Forissier uint32_t param_types, 2125843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 2135843bb75SJerome Forissier { 2145843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 2155843bb75SJerome Forissier struct bin_handle *binh = NULL; 2165843bb75SJerome Forissier int h = 0; 2175843bb75SJerome Forissier TEE_UUID *uuid = NULL; 2185843bb75SJerome Forissier uint8_t tag[FILE_TAG_SIZE] = { 0 }; 2195843bb75SJerome Forissier unsigned int tag_len = sizeof(tag); 2205843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 2215843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_OUTPUT, 2225843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2235843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 2245843bb75SJerome Forissier 2255843bb75SJerome Forissier if (exp_pt != param_types) 2265843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2275843bb75SJerome Forissier if (params[0].memref.size != sizeof(*uuid)) 2285843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2295843bb75SJerome Forissier 2305843bb75SJerome Forissier uuid = params[0].memref.buffer; 2315843bb75SJerome Forissier 2325843bb75SJerome Forissier binh = calloc(1, sizeof(*binh)); 2335843bb75SJerome Forissier if (!binh) 2345843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 2355843bb75SJerome Forissier 2365843bb75SJerome Forissier SCATTERED_ARRAY_FOREACH(binh->op, ta_stores, struct user_ta_store_ops) { 2375843bb75SJerome Forissier DMSG("Lookup user TA ELF %pUl (%s)", 2385843bb75SJerome Forissier (void *)uuid, binh->op->description); 2395843bb75SJerome Forissier 2405843bb75SJerome Forissier res = binh->op->open(uuid, &binh->h); 2415843bb75SJerome Forissier DMSG("res=0x%x", res); 2425843bb75SJerome Forissier if (res != TEE_ERROR_ITEM_NOT_FOUND && 2435843bb75SJerome Forissier res != TEE_ERROR_STORAGE_NOT_AVAILABLE) 2445843bb75SJerome Forissier break; 2455843bb75SJerome Forissier } 2465843bb75SJerome Forissier if (res) 2475843bb75SJerome Forissier goto err; 2485843bb75SJerome Forissier 2495843bb75SJerome Forissier res = binh->op->get_size(binh->h, &binh->size_bytes); 2505843bb75SJerome Forissier if (res) 2515843bb75SJerome Forissier goto err; 2525843bb75SJerome Forissier res = binh->op->get_tag(binh->h, tag, &tag_len); 2535843bb75SJerome Forissier if (res) 2545843bb75SJerome Forissier goto err; 2555843bb75SJerome Forissier binh->f = file_get_by_tag(tag, tag_len); 2565843bb75SJerome Forissier if (!binh->f) 2575843bb75SJerome Forissier goto err_oom; 2585843bb75SJerome Forissier 2595843bb75SJerome Forissier h = handle_get(&ctx->db, binh); 2605843bb75SJerome Forissier if (h < 0) 2615843bb75SJerome Forissier goto err_oom; 2625843bb75SJerome Forissier 2635843bb75SJerome Forissier return TEE_SUCCESS; 2645843bb75SJerome Forissier err_oom: 2655843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 2665843bb75SJerome Forissier err: 2675843bb75SJerome Forissier ta_bin_close(binh); 2685843bb75SJerome Forissier return res; 2695843bb75SJerome Forissier } 2705843bb75SJerome Forissier 2715843bb75SJerome Forissier static TEE_Result system_close_ta_binary(struct system_ctx *ctx, 2725843bb75SJerome Forissier uint32_t param_types, 2735843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 2745843bb75SJerome Forissier { 2755843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 2765843bb75SJerome Forissier struct bin_handle *binh = NULL; 2775843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 2785843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2795843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 2805843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 2815843bb75SJerome Forissier 2825843bb75SJerome Forissier if (exp_pt != param_types) 2835843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2845843bb75SJerome Forissier 2855843bb75SJerome Forissier if (params[0].value.b) 2865843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2875843bb75SJerome Forissier 2885843bb75SJerome Forissier binh = handle_put(&ctx->db, params[0].value.a); 2895843bb75SJerome Forissier if (!binh) 2905843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 2915843bb75SJerome Forissier 2925843bb75SJerome Forissier if (binh->offs_bytes < binh->size_bytes) 2935843bb75SJerome Forissier res = binh->op->read(binh->h, NULL, 2945843bb75SJerome Forissier binh->size_bytes - binh->offs_bytes); 2955843bb75SJerome Forissier 2965843bb75SJerome Forissier ta_bin_close(binh); 2975843bb75SJerome Forissier return res; 2985843bb75SJerome Forissier } 2995843bb75SJerome Forissier 3005843bb75SJerome Forissier static TEE_Result binh_copy_to(struct bin_handle *binh, vaddr_t va, 3015843bb75SJerome Forissier size_t offs_bytes, size_t num_bytes) 3025843bb75SJerome Forissier { 3035843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 3045843bb75SJerome Forissier size_t l = num_bytes; 3055843bb75SJerome Forissier 3065843bb75SJerome Forissier if (offs_bytes < binh->offs_bytes) 3075843bb75SJerome Forissier return TEE_ERROR_BAD_STATE; 3085843bb75SJerome Forissier if (offs_bytes > binh->offs_bytes) { 3095843bb75SJerome Forissier res = binh->op->read(binh->h, NULL, 3105843bb75SJerome Forissier offs_bytes - binh->offs_bytes); 3115843bb75SJerome Forissier if (res) 3125843bb75SJerome Forissier return res; 3135843bb75SJerome Forissier binh->offs_bytes = offs_bytes; 3145843bb75SJerome Forissier } 3155843bb75SJerome Forissier 3165843bb75SJerome Forissier if (binh->offs_bytes + l > binh->size_bytes) { 3175843bb75SJerome Forissier size_t rb = binh->size_bytes - binh->offs_bytes; 3185843bb75SJerome Forissier 3195843bb75SJerome Forissier res = binh->op->read(binh->h, (void *)va, rb); 3205843bb75SJerome Forissier if (res) 3215843bb75SJerome Forissier return res; 3225843bb75SJerome Forissier memset((uint8_t *)va + rb, 0, l - rb); 3235843bb75SJerome Forissier binh->offs_bytes = binh->size_bytes; 3245843bb75SJerome Forissier } else { 3255843bb75SJerome Forissier res = binh->op->read(binh->h, (void *)va, l); 3265843bb75SJerome Forissier if (res) 3275843bb75SJerome Forissier return res; 3285843bb75SJerome Forissier binh->offs_bytes += l; 3295843bb75SJerome Forissier } 3305843bb75SJerome Forissier 3315843bb75SJerome Forissier return TEE_SUCCESS; 3325843bb75SJerome Forissier } 3335843bb75SJerome Forissier 3345843bb75SJerome Forissier static TEE_Result system_map_ta_binary(struct system_ctx *ctx, 3355843bb75SJerome Forissier struct tee_ta_session *s, 3365843bb75SJerome Forissier uint32_t param_types, 3375843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 3385843bb75SJerome Forissier { 3395843bb75SJerome Forissier const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_SHAREABLE | 3405843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_WRITEABLE | 3415843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_EXECUTABLE; 3425843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 3435843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 3445843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 3455843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT); 3465843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 3475843bb75SJerome Forissier struct bin_handle *binh = NULL; 3485843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 3495843bb75SJerome Forissier struct file_slice *fs = NULL; 3505843bb75SJerome Forissier bool file_is_locked = false; 3515843bb75SJerome Forissier struct mobj *mobj = NULL; 3525843bb75SJerome Forissier uint32_t offs_bytes = 0; 3535843bb75SJerome Forissier uint32_t offs_pages = 0; 3545843bb75SJerome Forissier uint32_t num_bytes = 0; 3555843bb75SJerome Forissier uint32_t pad_begin = 0; 3565843bb75SJerome Forissier uint32_t pad_end = 0; 3575843bb75SJerome Forissier size_t num_pages = 0; 3585843bb75SJerome Forissier uint32_t flags = 0; 3595843bb75SJerome Forissier uint32_t prot = 0; 3605843bb75SJerome Forissier vaddr_t va = 0; 3615843bb75SJerome Forissier 3625843bb75SJerome Forissier if (exp_pt != param_types) 3635843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3645843bb75SJerome Forissier 3655843bb75SJerome Forissier binh = handle_lookup(&ctx->db, params[0].value.a); 3665843bb75SJerome Forissier if (!binh) 3675843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3685843bb75SJerome Forissier flags = params[0].value.b; 3695843bb75SJerome Forissier offs_bytes = params[1].value.a; 3705843bb75SJerome Forissier num_bytes = params[1].value.b; 3715843bb75SJerome Forissier va = reg_pair_to_64(params[2].value.a, params[2].value.b); 3725843bb75SJerome Forissier pad_begin = params[3].value.a; 3735843bb75SJerome Forissier pad_end = params[3].value.b; 3745843bb75SJerome Forissier 3755843bb75SJerome Forissier if ((flags & accept_flags) != flags) 3765843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3775843bb75SJerome Forissier 3785843bb75SJerome Forissier if ((flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE) && 3795843bb75SJerome Forissier (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) 3805843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3815843bb75SJerome Forissier 3825843bb75SJerome Forissier if ((flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) && 3835843bb75SJerome Forissier (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) 3845843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3855843bb75SJerome Forissier 3865843bb75SJerome Forissier if (offs_bytes & SMALL_PAGE_MASK) 3875843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 3885843bb75SJerome Forissier 3895843bb75SJerome Forissier prot = TEE_MATTR_UR | TEE_MATTR_PR; 3905843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE) 3915843bb75SJerome Forissier prot |= TEE_MATTR_UW | TEE_MATTR_PW; 3925843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) 3935843bb75SJerome Forissier prot |= TEE_MATTR_UX; 3945843bb75SJerome Forissier 3955843bb75SJerome Forissier offs_pages = offs_bytes >> SMALL_PAGE_SHIFT; 3965843bb75SJerome Forissier num_pages = ROUNDUP(num_bytes, SMALL_PAGE_SIZE) / SMALL_PAGE_SIZE; 3975843bb75SJerome Forissier 3985843bb75SJerome Forissier if (!file_trylock(binh->f)) { 3995843bb75SJerome Forissier /* 4005843bb75SJerome Forissier * Before we can block on the file lock we must make all 4015843bb75SJerome Forissier * our page tables available for reclaiming in order to 4025843bb75SJerome Forissier * avoid a dead-lock with the other thread (which already 4035843bb75SJerome Forissier * is holding the file lock) mapping lots of memory below. 4045843bb75SJerome Forissier */ 4055843bb75SJerome Forissier tee_mmu_set_ctx(NULL); 4065843bb75SJerome Forissier file_lock(binh->f); 4075843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 4085843bb75SJerome Forissier } 4095843bb75SJerome Forissier file_is_locked = true; 4105843bb75SJerome Forissier fs = file_find_slice(binh->f, offs_pages); 4115843bb75SJerome Forissier if (fs) { 4125843bb75SJerome Forissier /* If there's registered slice it has to match */ 4135843bb75SJerome Forissier if (fs->page_offset != offs_pages || 4145843bb75SJerome Forissier num_pages > fs->fobj->num_pages) { 4155843bb75SJerome Forissier res = TEE_ERROR_BAD_PARAMETERS; 4165843bb75SJerome Forissier goto err; 4175843bb75SJerome Forissier } 4185843bb75SJerome Forissier 4195843bb75SJerome Forissier /* If there's a slice we must be mapping shareable */ 4205843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_SHAREABLE)) { 4215843bb75SJerome Forissier res = TEE_ERROR_BAD_PARAMETERS; 4225843bb75SJerome Forissier goto err; 4235843bb75SJerome Forissier } 4245843bb75SJerome Forissier 4255843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(fs->fobj, binh->f); 4265843bb75SJerome Forissier if (!mobj) { 4275843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4285843bb75SJerome Forissier goto err; 4295843bb75SJerome Forissier } 430*1936dfc7SJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE, 431b9651492SJens Wiklander prot, VM_FLAG_READONLY, 4325843bb75SJerome Forissier mobj, 0, pad_begin, pad_end); 433b9651492SJens Wiklander mobj_put(mobj); 4345843bb75SJerome Forissier if (res) 4355843bb75SJerome Forissier goto err; 4365843bb75SJerome Forissier } else { 4375843bb75SJerome Forissier struct fobj *f = fobj_ta_mem_alloc(num_pages); 4385843bb75SJerome Forissier struct file *file = NULL; 439b9651492SJens Wiklander uint32_t vm_flags = 0; 4405843bb75SJerome Forissier 4415843bb75SJerome Forissier if (!f) { 4425843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4435843bb75SJerome Forissier goto err; 4445843bb75SJerome Forissier } 4455843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) { 4465843bb75SJerome Forissier file = binh->f; 4475843bb75SJerome Forissier vm_flags |= VM_FLAG_READONLY; 4485843bb75SJerome Forissier } 4495843bb75SJerome Forissier 4505843bb75SJerome Forissier mobj = mobj_with_fobj_alloc(f, file); 4515843bb75SJerome Forissier fobj_put(f); 4525843bb75SJerome Forissier if (!mobj) { 4535843bb75SJerome Forissier res = TEE_ERROR_OUT_OF_MEMORY; 4545843bb75SJerome Forissier goto err; 4555843bb75SJerome Forissier } 456*1936dfc7SJens Wiklander res = vm_map_pad(&utc->uctx, &va, num_pages * SMALL_PAGE_SIZE, 4575843bb75SJerome Forissier TEE_MATTR_PRW, vm_flags, mobj, 0, 4585843bb75SJerome Forissier pad_begin, pad_end); 459b9651492SJens Wiklander mobj_put(mobj); 4605843bb75SJerome Forissier if (res) 4615843bb75SJerome Forissier goto err; 4625843bb75SJerome Forissier res = binh_copy_to(binh, va, offs_bytes, num_bytes); 4635843bb75SJerome Forissier if (res) 4645843bb75SJerome Forissier goto err_unmap_va; 465*1936dfc7SJens Wiklander res = vm_set_prot(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE, 466*1936dfc7SJens Wiklander prot); 4675843bb75SJerome Forissier if (res) 4685843bb75SJerome Forissier goto err_unmap_va; 4695843bb75SJerome Forissier 4705843bb75SJerome Forissier /* 4715843bb75SJerome Forissier * The context currently is active set it again to update 4725843bb75SJerome Forissier * the mapping. 4735843bb75SJerome Forissier */ 4745843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 4755843bb75SJerome Forissier 4765843bb75SJerome Forissier if (!(flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE)) { 4775843bb75SJerome Forissier res = file_add_slice(binh->f, f, offs_pages); 4785843bb75SJerome Forissier if (res) 4795843bb75SJerome Forissier goto err_unmap_va; 4805843bb75SJerome Forissier } 4815843bb75SJerome Forissier } 4825843bb75SJerome Forissier 4835843bb75SJerome Forissier file_unlock(binh->f); 4845843bb75SJerome Forissier 4855843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[2].value.a, ¶ms[2].value.b); 4865843bb75SJerome Forissier return TEE_SUCCESS; 4875843bb75SJerome Forissier 4885843bb75SJerome Forissier err_unmap_va: 489*1936dfc7SJens Wiklander if (vm_unmap(&utc->uctx, va, num_pages * SMALL_PAGE_SIZE)) 4905843bb75SJerome Forissier panic(); 4915843bb75SJerome Forissier 4925843bb75SJerome Forissier /* 4935843bb75SJerome Forissier * The context currently is active set it again to update 4945843bb75SJerome Forissier * the mapping. 4955843bb75SJerome Forissier */ 4965843bb75SJerome Forissier tee_mmu_set_ctx(s->ctx); 4975843bb75SJerome Forissier 4985843bb75SJerome Forissier err: 4995843bb75SJerome Forissier if (file_is_locked) 5005843bb75SJerome Forissier file_unlock(binh->f); 5015843bb75SJerome Forissier 5025843bb75SJerome Forissier return res; 5035843bb75SJerome Forissier } 5045843bb75SJerome Forissier 5055843bb75SJerome Forissier static TEE_Result system_copy_from_ta_binary(struct system_ctx *ctx, 5065843bb75SJerome Forissier uint32_t param_types, 5075843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5085843bb75SJerome Forissier { 5095843bb75SJerome Forissier struct bin_handle *binh = NULL; 5105843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5115843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_OUTPUT, 5125843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 5135843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 5145843bb75SJerome Forissier 5155843bb75SJerome Forissier if (exp_pt != param_types) 5165843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5175843bb75SJerome Forissier 5185843bb75SJerome Forissier binh = handle_lookup(&ctx->db, params[0].value.a); 5195843bb75SJerome Forissier if (!binh) 5205843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5215843bb75SJerome Forissier 5225843bb75SJerome Forissier return binh_copy_to(binh, (vaddr_t)params[1].memref.buffer, 5235843bb75SJerome Forissier params[0].value.b, params[1].memref.size); 5245843bb75SJerome Forissier } 5255843bb75SJerome Forissier 5265843bb75SJerome Forissier static TEE_Result system_set_prot(struct tee_ta_session *s, 5275843bb75SJerome Forissier uint32_t param_types, 5285843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5295843bb75SJerome Forissier { 5305843bb75SJerome Forissier const uint32_t accept_flags = PTA_SYSTEM_MAP_FLAG_WRITEABLE | 5315843bb75SJerome Forissier PTA_SYSTEM_MAP_FLAG_EXECUTABLE; 5325843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5335843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 5345843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 5355843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 5365843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 5375843bb75SJerome Forissier uint32_t prot = TEE_MATTR_UR | TEE_MATTR_PR; 5385843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 5395843bb75SJerome Forissier uint32_t vm_flags = 0; 5405843bb75SJerome Forissier uint32_t flags = 0; 5415843bb75SJerome Forissier vaddr_t va = 0; 5425843bb75SJerome Forissier size_t sz = 0; 5435843bb75SJerome Forissier 5445843bb75SJerome Forissier if (exp_pt != param_types) 5455843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5465843bb75SJerome Forissier 5475843bb75SJerome Forissier flags = params[0].value.b; 5485843bb75SJerome Forissier 5495843bb75SJerome Forissier if ((flags & accept_flags) != flags) 5505843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5515843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_WRITEABLE) 5525843bb75SJerome Forissier prot |= TEE_MATTR_UW | TEE_MATTR_PW; 5535843bb75SJerome Forissier if (flags & PTA_SYSTEM_MAP_FLAG_EXECUTABLE) 5545843bb75SJerome Forissier prot |= TEE_MATTR_UX; 5555843bb75SJerome Forissier 5565843bb75SJerome Forissier va = reg_pair_to_64(params[1].value.a, params[1].value.b), 5575843bb75SJerome Forissier sz = ROUNDUP(params[0].value.a, SMALL_PAGE_SIZE); 5585843bb75SJerome Forissier 559*1936dfc7SJens Wiklander res = vm_get_flags(&utc->uctx, va, sz, &vm_flags); 5605843bb75SJerome Forissier if (res) 5615843bb75SJerome Forissier return res; 5625843bb75SJerome Forissier 5635843bb75SJerome Forissier /* 5645843bb75SJerome Forissier * If the segment is a mapping of a part of a file (vm_flags & 5655843bb75SJerome Forissier * VM_FLAG_READONLY) it cannot be made writeable as all mapped 5665843bb75SJerome Forissier * files are mapped read-only. 5675843bb75SJerome Forissier */ 5685843bb75SJerome Forissier if ((vm_flags & VM_FLAG_READONLY) && 5695843bb75SJerome Forissier (prot & (TEE_MATTR_UW | TEE_MATTR_PW))) 5705843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 5715843bb75SJerome Forissier 572*1936dfc7SJens Wiklander return vm_set_prot(&utc->uctx, va, sz, prot); 5735843bb75SJerome Forissier } 5745843bb75SJerome Forissier 5755843bb75SJerome Forissier static TEE_Result system_remap(struct tee_ta_session *s, uint32_t param_types, 5765843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 5775843bb75SJerome Forissier { 5785843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_VALUE_INPUT, 5795843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 5805843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INOUT, 5815843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT); 5825843bb75SJerome Forissier struct user_ta_ctx *utc = to_user_ta_ctx(s->ctx); 5835843bb75SJerome Forissier TEE_Result res = TEE_SUCCESS; 5845843bb75SJerome Forissier uint32_t num_bytes = 0; 5855843bb75SJerome Forissier uint32_t pad_begin = 0; 5865843bb75SJerome Forissier uint32_t pad_end = 0; 5875843bb75SJerome Forissier vaddr_t old_va = 0; 5885843bb75SJerome Forissier vaddr_t new_va = 0; 5895843bb75SJerome Forissier 5905843bb75SJerome Forissier if (exp_pt != param_types) 5915843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 5925843bb75SJerome Forissier 5935843bb75SJerome Forissier num_bytes = params[0].value.a; 5945843bb75SJerome Forissier old_va = reg_pair_to_64(params[1].value.a, params[1].value.b); 5955843bb75SJerome Forissier new_va = reg_pair_to_64(params[2].value.a, params[2].value.b); 5965843bb75SJerome Forissier pad_begin = params[3].value.a; 5975843bb75SJerome Forissier pad_end = params[3].value.b; 5985843bb75SJerome Forissier 599*1936dfc7SJens Wiklander res = vm_remap(&utc->uctx, &new_va, old_va, num_bytes, pad_begin, 600*1936dfc7SJens Wiklander pad_end); 6015843bb75SJerome Forissier if (!res) 6025843bb75SJerome Forissier reg_pair_from_64(new_va, ¶ms[2].value.a, 6035843bb75SJerome Forissier ¶ms[2].value.b); 6045843bb75SJerome Forissier 6055843bb75SJerome Forissier return res; 6065843bb75SJerome Forissier } 6075843bb75SJerome Forissier 6085843bb75SJerome Forissier /* ldelf has the same architecture/register width as the kernel */ 6095843bb75SJerome Forissier #ifdef ARM32 6105843bb75SJerome Forissier static const bool is_arm32 = true; 6115843bb75SJerome Forissier #else 6125843bb75SJerome Forissier static const bool is_arm32; 6135843bb75SJerome Forissier #endif 6145843bb75SJerome Forissier 6155843bb75SJerome Forissier static TEE_Result call_ldelf_dlopen(struct user_ta_ctx *utc, TEE_UUID *uuid, 6165843bb75SJerome Forissier uint32_t flags) 6175843bb75SJerome Forissier { 6185843bb75SJerome Forissier uaddr_t usr_stack = utc->ldelf_stack_ptr; 6195843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 6205843bb75SJerome Forissier struct dl_entry_arg *arg = NULL; 6215843bb75SJerome Forissier uint32_t panic_code = 0; 6225843bb75SJerome Forissier uint32_t panicked = 0; 6235843bb75SJerome Forissier 6245843bb75SJerome Forissier assert(uuid); 6255843bb75SJerome Forissier 6265843bb75SJerome Forissier usr_stack -= ROUNDUP(sizeof(*arg), STACK_ALIGNMENT); 6275843bb75SJerome Forissier arg = (struct dl_entry_arg *)usr_stack; 6285843bb75SJerome Forissier 629*1936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, 630*1936dfc7SJens Wiklander TEE_MEMORY_ACCESS_READ | 6315843bb75SJerome Forissier TEE_MEMORY_ACCESS_WRITE | 6325843bb75SJerome Forissier TEE_MEMORY_ACCESS_ANY_OWNER, 6335843bb75SJerome Forissier (uaddr_t)arg, sizeof(*arg)); 6345843bb75SJerome Forissier if (res) { 6355843bb75SJerome Forissier EMSG("ldelf stack is inaccessible!"); 6365843bb75SJerome Forissier return res; 6375843bb75SJerome Forissier } 6385843bb75SJerome Forissier 6395843bb75SJerome Forissier memset(arg, 0, sizeof(*arg)); 6405843bb75SJerome Forissier arg->cmd = LDELF_DL_ENTRY_DLOPEN; 6415843bb75SJerome Forissier arg->dlopen.uuid = *uuid; 6425843bb75SJerome Forissier arg->dlopen.flags = flags; 6435843bb75SJerome Forissier 6445843bb75SJerome Forissier res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0, 6455843bb75SJerome Forissier usr_stack, utc->dl_entry_func, 6465843bb75SJerome Forissier is_arm32, &panicked, &panic_code); 6475843bb75SJerome Forissier if (panicked) { 6485843bb75SJerome Forissier EMSG("ldelf dl_entry function panicked"); 6495843bb75SJerome Forissier abort_print_current_ta(); 6505843bb75SJerome Forissier res = TEE_ERROR_TARGET_DEAD; 6515843bb75SJerome Forissier } 6525843bb75SJerome Forissier if (!res) 6535843bb75SJerome Forissier res = arg->ret; 6545843bb75SJerome Forissier 6555843bb75SJerome Forissier return res; 6565843bb75SJerome Forissier } 6575843bb75SJerome Forissier 6585843bb75SJerome Forissier static TEE_Result call_ldelf_dlsym(struct user_ta_ctx *utc, TEE_UUID *uuid, 6595843bb75SJerome Forissier const char *sym, size_t maxlen, vaddr_t *val) 6605843bb75SJerome Forissier { 6615843bb75SJerome Forissier uaddr_t usr_stack = utc->ldelf_stack_ptr; 6625843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 6635843bb75SJerome Forissier struct dl_entry_arg *arg = NULL; 6645843bb75SJerome Forissier uint32_t panic_code = 0; 6655843bb75SJerome Forissier uint32_t panicked = 0; 6665843bb75SJerome Forissier size_t len = strnlen(sym, maxlen); 6675843bb75SJerome Forissier 6685843bb75SJerome Forissier if (len == maxlen) 6695843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 6705843bb75SJerome Forissier 6715843bb75SJerome Forissier usr_stack -= ROUNDUP(sizeof(*arg) + len + 1, STACK_ALIGNMENT); 6725843bb75SJerome Forissier arg = (struct dl_entry_arg *)usr_stack; 6735843bb75SJerome Forissier 674*1936dfc7SJens Wiklander res = tee_mmu_check_access_rights(&utc->uctx, 675*1936dfc7SJens Wiklander TEE_MEMORY_ACCESS_READ | 6765843bb75SJerome Forissier TEE_MEMORY_ACCESS_WRITE | 6775843bb75SJerome Forissier TEE_MEMORY_ACCESS_ANY_OWNER, 678*1936dfc7SJens Wiklander (uaddr_t)arg, sizeof(*arg) + len + 1); 6795843bb75SJerome Forissier if (res) { 6805843bb75SJerome Forissier EMSG("ldelf stack is inaccessible!"); 6815843bb75SJerome Forissier return res; 6825843bb75SJerome Forissier } 6835843bb75SJerome Forissier 6845843bb75SJerome Forissier memset(arg, 0, sizeof(*arg)); 6855843bb75SJerome Forissier arg->cmd = LDELF_DL_ENTRY_DLSYM; 6865843bb75SJerome Forissier arg->dlsym.uuid = *uuid; 6875843bb75SJerome Forissier memcpy(arg->dlsym.symbol, sym, len); 6888027bd32SEtienne Carriere arg->dlsym.symbol[len] = '\0'; 6895843bb75SJerome Forissier 6905843bb75SJerome Forissier res = thread_enter_user_mode((vaddr_t)arg, 0, 0, 0, 6915843bb75SJerome Forissier usr_stack, utc->dl_entry_func, 6925843bb75SJerome Forissier is_arm32, &panicked, &panic_code); 6935843bb75SJerome Forissier if (panicked) { 6945843bb75SJerome Forissier EMSG("ldelf dl_entry function panicked"); 6955843bb75SJerome Forissier abort_print_current_ta(); 6965843bb75SJerome Forissier res = TEE_ERROR_TARGET_DEAD; 6975843bb75SJerome Forissier } 6985843bb75SJerome Forissier if (!res) { 6995843bb75SJerome Forissier res = arg->ret; 7005843bb75SJerome Forissier if (!res) 7015843bb75SJerome Forissier *val = arg->dlsym.val; 7025843bb75SJerome Forissier } 7035843bb75SJerome Forissier 7045843bb75SJerome Forissier return res; 7055843bb75SJerome Forissier } 7065843bb75SJerome Forissier 7075843bb75SJerome Forissier static TEE_Result system_dlopen(struct tee_ta_session *cs, uint32_t param_types, 7085843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 7095843bb75SJerome Forissier { 7105843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 7115843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_INPUT, 7125843bb75SJerome Forissier TEE_PARAM_TYPE_NONE, 7135843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 7145843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 7155843bb75SJerome Forissier struct tee_ta_session *s = NULL; 7165843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 7175843bb75SJerome Forissier TEE_UUID *uuid = NULL; 7185843bb75SJerome Forissier uint32_t flags = 0; 7195843bb75SJerome Forissier 7205843bb75SJerome Forissier if (exp_pt != param_types) 7215843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7225843bb75SJerome Forissier 7235843bb75SJerome Forissier uuid = params[0].memref.buffer; 7245843bb75SJerome Forissier if (!uuid || params[0].memref.size != sizeof(*uuid)) 7255843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7265843bb75SJerome Forissier 7275843bb75SJerome Forissier flags = params[1].value.a; 7285843bb75SJerome Forissier 7295843bb75SJerome Forissier utc = to_user_ta_ctx(cs->ctx); 7305843bb75SJerome Forissier 7315843bb75SJerome Forissier s = tee_ta_pop_current_session(); 7325843bb75SJerome Forissier res = call_ldelf_dlopen(utc, uuid, flags); 7335843bb75SJerome Forissier tee_ta_push_current_session(s); 7345843bb75SJerome Forissier 7355843bb75SJerome Forissier return res; 7365843bb75SJerome Forissier } 7375843bb75SJerome Forissier 7385843bb75SJerome Forissier static TEE_Result system_dlsym(struct tee_ta_session *cs, uint32_t param_types, 7395843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 7405843bb75SJerome Forissier { 7415843bb75SJerome Forissier uint32_t exp_pt = TEE_PARAM_TYPES(TEE_PARAM_TYPE_MEMREF_INPUT, 7425843bb75SJerome Forissier TEE_PARAM_TYPE_MEMREF_INPUT, 7435843bb75SJerome Forissier TEE_PARAM_TYPE_VALUE_OUTPUT, 7445843bb75SJerome Forissier TEE_PARAM_TYPE_NONE); 7455843bb75SJerome Forissier TEE_Result res = TEE_ERROR_GENERIC; 7465843bb75SJerome Forissier struct tee_ta_session *s = NULL; 7475843bb75SJerome Forissier struct user_ta_ctx *utc = NULL; 7485843bb75SJerome Forissier const char *sym = NULL; 7495843bb75SJerome Forissier TEE_UUID *uuid = NULL; 7505843bb75SJerome Forissier size_t maxlen = 0; 7515843bb75SJerome Forissier vaddr_t va = 0; 7525843bb75SJerome Forissier 7535843bb75SJerome Forissier if (exp_pt != param_types) 7545843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7555843bb75SJerome Forissier 7565843bb75SJerome Forissier uuid = params[0].memref.buffer; 7575843bb75SJerome Forissier if (uuid && params[0].memref.size != sizeof(*uuid)) 7585843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7595843bb75SJerome Forissier 7605843bb75SJerome Forissier sym = params[1].memref.buffer; 7615843bb75SJerome Forissier if (!sym) 7625843bb75SJerome Forissier return TEE_ERROR_BAD_PARAMETERS; 7635843bb75SJerome Forissier maxlen = params[1].memref.size; 7645843bb75SJerome Forissier 7655843bb75SJerome Forissier utc = to_user_ta_ctx(cs->ctx); 7665843bb75SJerome Forissier 7675843bb75SJerome Forissier s = tee_ta_pop_current_session(); 7685843bb75SJerome Forissier res = call_ldelf_dlsym(utc, uuid, sym, maxlen, &va); 7695843bb75SJerome Forissier tee_ta_push_current_session(s); 7705843bb75SJerome Forissier 7715843bb75SJerome Forissier if (!res) 7725843bb75SJerome Forissier reg_pair_from_64(va, ¶ms[2].value.a, ¶ms[2].value.b); 7735843bb75SJerome Forissier 7745843bb75SJerome Forissier return res; 7755843bb75SJerome Forissier } 7765843bb75SJerome Forissier 7775843bb75SJerome Forissier static TEE_Result open_session(uint32_t param_types __unused, 7785843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS] __unused, 7795843bb75SJerome Forissier void **sess_ctx) 7805843bb75SJerome Forissier { 7815843bb75SJerome Forissier struct tee_ta_session *s = NULL; 7825843bb75SJerome Forissier struct system_ctx *ctx = NULL; 7835843bb75SJerome Forissier 7845843bb75SJerome Forissier /* Check that we're called from a user TA */ 7855843bb75SJerome Forissier s = tee_ta_get_calling_session(); 7865843bb75SJerome Forissier if (!s) 7875843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 7885843bb75SJerome Forissier if (!is_user_ta_ctx(s->ctx)) 7895843bb75SJerome Forissier return TEE_ERROR_ACCESS_DENIED; 7905843bb75SJerome Forissier 7915843bb75SJerome Forissier ctx = calloc(1, sizeof(*ctx)); 7925843bb75SJerome Forissier if (!ctx) 7935843bb75SJerome Forissier return TEE_ERROR_OUT_OF_MEMORY; 7945843bb75SJerome Forissier 7955843bb75SJerome Forissier *sess_ctx = ctx; 7965843bb75SJerome Forissier 7975843bb75SJerome Forissier return TEE_SUCCESS; 7985843bb75SJerome Forissier } 7995843bb75SJerome Forissier 8005843bb75SJerome Forissier static void close_session(void *sess_ctx) 8015843bb75SJerome Forissier { 8025843bb75SJerome Forissier struct system_ctx *ctx = sess_ctx; 8035843bb75SJerome Forissier 8045843bb75SJerome Forissier handle_db_destroy(&ctx->db, ta_bin_close); 8055843bb75SJerome Forissier free(ctx); 8065843bb75SJerome Forissier } 8075843bb75SJerome Forissier 8085843bb75SJerome Forissier static TEE_Result invoke_command(void *sess_ctx, uint32_t cmd_id, 8095843bb75SJerome Forissier uint32_t param_types, 8105843bb75SJerome Forissier TEE_Param params[TEE_NUM_PARAMS]) 8115843bb75SJerome Forissier { 8125843bb75SJerome Forissier struct tee_ta_session *s = tee_ta_get_calling_session(); 8135843bb75SJerome Forissier 8145843bb75SJerome Forissier switch (cmd_id) { 8155843bb75SJerome Forissier case PTA_SYSTEM_ADD_RNG_ENTROPY: 8165843bb75SJerome Forissier return system_rng_reseed(s, param_types, params); 8175843bb75SJerome Forissier case PTA_SYSTEM_DERIVE_TA_UNIQUE_KEY: 8185843bb75SJerome Forissier return system_derive_ta_unique_key(s, param_types, params); 8195843bb75SJerome Forissier case PTA_SYSTEM_MAP_ZI: 8205843bb75SJerome Forissier return system_map_zi(s, param_types, params); 8215843bb75SJerome Forissier case PTA_SYSTEM_UNMAP: 8225843bb75SJerome Forissier return system_unmap(s, param_types, params); 8235843bb75SJerome Forissier case PTA_SYSTEM_OPEN_TA_BINARY: 8245843bb75SJerome Forissier return system_open_ta_binary(sess_ctx, param_types, params); 8255843bb75SJerome Forissier case PTA_SYSTEM_CLOSE_TA_BINARY: 8265843bb75SJerome Forissier return system_close_ta_binary(sess_ctx, param_types, params); 8275843bb75SJerome Forissier case PTA_SYSTEM_MAP_TA_BINARY: 8285843bb75SJerome Forissier return system_map_ta_binary(sess_ctx, s, param_types, params); 8295843bb75SJerome Forissier case PTA_SYSTEM_COPY_FROM_TA_BINARY: 8305843bb75SJerome Forissier return system_copy_from_ta_binary(sess_ctx, param_types, 8315843bb75SJerome Forissier params); 8325843bb75SJerome Forissier case PTA_SYSTEM_SET_PROT: 8335843bb75SJerome Forissier return system_set_prot(s, param_types, params); 8345843bb75SJerome Forissier case PTA_SYSTEM_REMAP: 8355843bb75SJerome Forissier return system_remap(s, param_types, params); 8365843bb75SJerome Forissier case PTA_SYSTEM_DLOPEN: 8375843bb75SJerome Forissier return system_dlopen(s, param_types, params); 8385843bb75SJerome Forissier case PTA_SYSTEM_DLSYM: 8395843bb75SJerome Forissier return system_dlsym(s, param_types, params); 8405843bb75SJerome Forissier default: 8415843bb75SJerome Forissier break; 8425843bb75SJerome Forissier } 8435843bb75SJerome Forissier 8445843bb75SJerome Forissier return TEE_ERROR_NOT_IMPLEMENTED; 8455843bb75SJerome Forissier } 8465843bb75SJerome Forissier 8475843bb75SJerome Forissier pseudo_ta_register(.uuid = PTA_SYSTEM_UUID, .name = "system.pta", 8485843bb75SJerome Forissier .flags = PTA_DEFAULT_FLAGS | TA_FLAG_CONCURRENT, 8495843bb75SJerome Forissier .open_session_entry_point = open_session, 8505843bb75SJerome Forissier .close_session_entry_point = close_session, 8515843bb75SJerome Forissier .invoke_command_entry_point = invoke_command); 852