core/arch/arm/tee/svc_cache.c

   1 /*
   2  * Copyright (c) 2014, STMicroelectronics International N.V.
   3  * Copyright (c) 2015, Linaro Limited
   4  * All rights reserved.
   5  *
   6  * Redistribution and use in source and binary forms, with or without
   7  * modification, are permitted provided that the following conditions are met:
   8  *
   9  * 1. Redistributions of source code must retain the above copyright notice,
  10  * this list of conditions and the following disclaimer.
  11  *
  12  * 2. Redistributions in binary form must reproduce the above copyright notice,
  13  * this list of conditions and the following disclaimer in the documentation
  14  * and/or other materials provided with the distribution.
  15  *
  16  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  17  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  18  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  19  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
  20  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
  24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  26  * POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 #include <kernel/tee_ta_manager.h>
  30 #include <mm/tee_mmu.h>
  31 #include <tee/cache.h>
  32 #include <tee/svc_cache.h>
  33
  34 TEE_Result syscall_cache_operation(void *va, size_t len, unsigned long op)
  35 {
  36         TEE_Result res;
  37         struct tee_ta_session *sess;
  38         struct user_ta_ctx *utc;
  39
  40         res = tee_ta_get_current_session(&sess);
  41         if (res != TEE_SUCCESS)
  42                 return res;
  43
  44         if ((sess->ctx->flags & TA_FLAG_CACHE_MAINTENANCE) == 0)
  45                 return TEE_ERROR_NOT_SUPPORTED;
  46
  47         utc = to_user_ta_ctx(sess->ctx);
  48
  49         /*
  50          * TAs are allowed to operate cache maintenance on TA memref parameters
  51          * only, not on the TA private memory.
  52          */
  53         if (tee_mmu_is_vbuf_intersect_ta_private(utc, va, len))
  54                 return TEE_ERROR_ACCESS_DENIED;
  55
  56         res = tee_mmu_check_access_rights(utc, TEE_MEMORY_ACCESS_READ |
  57                                           TEE_MEMORY_ACCESS_ANY_OWNER,
  58                                           (uaddr_t)va, len);
  59         if (res != TEE_SUCCESS)
  60                 return TEE_ERROR_ACCESS_DENIED;
  61
  62         return cache_operation(op, va, len);
  63 }