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 <tee_api_types.h> 11 #include <types_ext.h> 12 13 #ifdef CFG_WITH_USER_TA 14 TEE_Result copy_from_user(void *kaddr, const void *uaddr, size_t len); 15 #else 16 static inline TEE_Result copy_from_user(void *kaddr __unused, 17 const void *uaddr __unused, 18 size_t len __unused) 19 { 20 return TEE_ERROR_NOT_SUPPORTED; 21 } 22 #endif 23 24 TEE_Result copy_to_user(void *uaddr, const void *kaddr, size_t len); 25 26 TEE_Result copy_kaddr_to_uref(uint32_t *uref, void *kaddr); 27 28 uint32_t kaddr_to_uref(void *kaddr); 29 vaddr_t uref_to_vaddr(uint32_t uref); 30 static inline void *uref_to_kaddr(uint32_t uref) 31 { 32 return (void *)uref_to_vaddr(uref); 33 } 34 35 #endif /*__KERNEL_USER_ACCESS_H*/ 36