1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2014, STMicroelectronics International N.V. 4 * Copyright (c) 2020, Linaro Limited 5 */ 6 #ifndef __KERNEL_USER_ACCESS_H 7 #define __KERNEL_USER_ACCESS_H 8 9 #include <assert.h> 10 #include <kernel/user_access_arch.h> 11 #include <tee_api_types.h> 12 #include <types_ext.h> 13 14 #ifdef CFG_WITH_USER_TA 15 TEE_Result copy_from_user_private(void *kaddr, const void *uaddr, size_t len); 16 TEE_Result copy_from_user(void *kaddr, const void *uaddr, size_t len); 17 #else 18 static inline TEE_Result copy_from_user_private(void *kaddr __unused, 19 const void *uaddr __unused, 20 size_t len __unused) 21 { 22 return TEE_ERROR_NOT_SUPPORTED; 23 } 24 25 static inline TEE_Result copy_from_user(void *kaddr __unused, 26 const void *uaddr __unused, 27 size_t len __unused) 28 { 29 return TEE_ERROR_NOT_SUPPORTED; 30 } 31 32 #endif 33 34 TEE_Result copy_to_user_private(void *uaddr, const void *kaddr, size_t len); 35 TEE_Result copy_to_user(void *uaddr, const void *kaddr, size_t len); 36 37 TEE_Result copy_kaddr_to_uref(uint32_t *uref, void *kaddr); 38 39 uint32_t kaddr_to_uref(void *kaddr); 40 vaddr_t uref_to_vaddr(uint32_t uref); 41 static inline void *uref_to_kaddr(uint32_t uref) 42 { 43 return (void *)uref_to_vaddr(uref); 44 } 45 46 #endif /*__KERNEL_USER_ACCESS_H*/ 47