xref: /optee_os/core/include/mm/vm.h (revision fbe66cf83199aa6a2aca9f93384cf1ad9185a5f6)
189c9728dSJens Wiklander /* SPDX-License-Identifier: BSD-2-Clause */
289c9728dSJens Wiklander /*
389c9728dSJens Wiklander  * Copyright (c) 2014, STMicroelectronics International N.V.
489c9728dSJens Wiklander  */
5*fbe66cf8SEtienne Carriere #ifndef __MM_VM_H
6*fbe66cf8SEtienne Carriere #define __MM_VM_H
789c9728dSJens Wiklander 
889c9728dSJens Wiklander #include <tee_api_types.h>
989c9728dSJens Wiklander #include <kernel/tee_ta_manager.h>
1089c9728dSJens Wiklander #include <kernel/user_ta.h>
1189c9728dSJens Wiklander 
1283117aedSEtienne Carriere /* Allocate context resources like ASID and MMU table information */
1360d3fc69SJens Wiklander TEE_Result vm_info_init(struct user_mode_ctx *uctx, struct ts_ctx *ts_ctx);
1489c9728dSJens Wiklander 
1583117aedSEtienne Carriere /* Release context resources like ASID */
1689c9728dSJens Wiklander void vm_info_final(struct user_mode_ctx *uctx);
1789c9728dSJens Wiklander 
1889c9728dSJens Wiklander /*
1989c9728dSJens Wiklander  * Creates a memory map of a mobj.
2089c9728dSJens Wiklander  * Desired virtual address can be specified in @va otherwise @va must be
2189c9728dSJens Wiklander  * initialized to 0 if the next available can be chosen.
2289c9728dSJens Wiklander  *
2389c9728dSJens Wiklander  * @pad_begin and @pad_end specify how much extra free space should be kept
2489c9728dSJens Wiklander  * when establishing the map. This allows mapping the first part of for
2589c9728dSJens Wiklander  * instance an ELF file while knowing that the next part which has to be of
2689c9728dSJens Wiklander  * a certain offset from the first part also will succeed.
2789c9728dSJens Wiklander  */
2889c9728dSJens Wiklander 
2989c9728dSJens Wiklander TEE_Result vm_map_pad(struct user_mode_ctx *uctx, vaddr_t *va, size_t len,
3089c9728dSJens Wiklander 		      uint32_t prot, uint32_t flags, struct mobj *mobj,
3189c9728dSJens Wiklander 		      size_t offs, size_t pad_begin, size_t pad_end,
3289c9728dSJens Wiklander 		      size_t align);
3389c9728dSJens Wiklander 
3489c9728dSJens Wiklander /*
3589c9728dSJens Wiklander  * Creates a memory map of a mobj.
3689c9728dSJens Wiklander  * Desired virtual address can be specified in @va otherwise @va must be
3789c9728dSJens Wiklander  * initialized to 0 if the next available can be chosen.
3889c9728dSJens Wiklander  */
vm_map(struct user_mode_ctx * uctx,vaddr_t * va,size_t len,uint32_t prot,uint32_t flags,struct mobj * mobj,size_t offs)3989c9728dSJens Wiklander static inline TEE_Result vm_map(struct user_mode_ctx *uctx, vaddr_t *va,
4089c9728dSJens Wiklander 				size_t len, uint32_t prot, uint32_t flags,
4189c9728dSJens Wiklander 				struct mobj *mobj, size_t offs)
4289c9728dSJens Wiklander {
4389c9728dSJens Wiklander 	return vm_map_pad(uctx, va, len, prot, flags, mobj, offs, 0, 0, 0);
4489c9728dSJens Wiklander }
4589c9728dSJens Wiklander 
4689c9728dSJens Wiklander TEE_Result vm_remap(struct user_mode_ctx *uctx, vaddr_t *new_va, vaddr_t old_va,
4789c9728dSJens Wiklander 		    size_t len, size_t pad_begin, size_t pad_end);
4889c9728dSJens Wiklander 
4989c9728dSJens Wiklander TEE_Result vm_get_flags(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
5089c9728dSJens Wiklander 			uint32_t *flags);
5189c9728dSJens Wiklander 
5289c9728dSJens Wiklander TEE_Result vm_get_prot(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
5389c9728dSJens Wiklander 		       uint16_t *prot);
5489c9728dSJens Wiklander 
5589c9728dSJens Wiklander TEE_Result vm_set_prot(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
5689c9728dSJens Wiklander 		       uint32_t prot);
5789c9728dSJens Wiklander 
5889c9728dSJens Wiklander TEE_Result vm_unmap(struct user_mode_ctx *uctx, vaddr_t va, size_t len);
5989c9728dSJens Wiklander 
6089c9728dSJens Wiklander /* Map parameters for a user TA */
6189c9728dSJens Wiklander TEE_Result vm_map_param(struct user_mode_ctx *uctx, struct tee_ta_param *param,
6289c9728dSJens Wiklander 			void *param_va[TEE_NUM_PARAMS]);
6389c9728dSJens Wiklander void vm_clean_param(struct user_mode_ctx *uctx);
6489c9728dSJens Wiklander 
6566257dc2SJens Wiklander /*
6689c9728dSJens Wiklander  * User mode private memory is defined as user mode image static segment
6789c9728dSJens Wiklander  * (code, ro/rw static data, heap, stack). The sole other virtual memory
6889c9728dSJens Wiklander  * mapped to user mode are memref parameters. These later are considered
6989c9728dSJens Wiklander  * outside user mode private memory as it might be accessed by the user
7089c9728dSJens Wiklander  * mode context and its client(s).
7189c9728dSJens Wiklander  */
7289c9728dSJens Wiklander bool vm_buf_is_inside_um_private(const struct user_mode_ctx *uctx,
7389c9728dSJens Wiklander 				 const void *va, size_t size);
7489c9728dSJens Wiklander 
7589c9728dSJens Wiklander bool vm_buf_intersects_um_private(const struct user_mode_ctx *uctx,
7689c9728dSJens Wiklander 				  const void *va, size_t size);
7789c9728dSJens Wiklander 
7889c9728dSJens Wiklander TEE_Result vm_buf_to_mboj_offs(const struct user_mode_ctx *uctx,
7989c9728dSJens Wiklander 			       const void *va, size_t size,
8089c9728dSJens Wiklander 			       struct mobj **mobj, size_t *offs);
8189c9728dSJens Wiklander 
8283117aedSEtienne Carriere /* Helper function for virt_to_phys(), shouldn't be used directly elsewhere */
8389c9728dSJens Wiklander TEE_Result vm_va2pa(const struct user_mode_ctx *uctx, void *ua, paddr_t *pa);
8489c9728dSJens Wiklander 
8583117aedSEtienne Carriere /* Helper function for phys_to_virt(), shouldn't be used directly elsewhere */
86c2e4eb43SAnton Rybakov void *vm_pa2va(const struct user_mode_ctx *uctx, paddr_t pa, size_t pa_size);
8789c9728dSJens Wiklander 
8883117aedSEtienne Carriere /*
8983117aedSEtienne Carriere  * Return TEE_SUCCESS or TEE_ERROR_ACCESS_DENIED when buffer exists or return
9083117aedSEtienne Carriere  * another TEE_Result code.
9183117aedSEtienne Carriere  */
9289c9728dSJens Wiklander TEE_Result vm_check_access_rights(const struct user_mode_ctx *uctx,
9389c9728dSJens Wiklander 				  uint32_t flags, uaddr_t uaddr, size_t len);
9489c9728dSJens Wiklander 
9583117aedSEtienne Carriere /* Set user context @ctx or core privileged context if @ctx is NULL */
9689c9728dSJens Wiklander void vm_set_ctx(struct ts_ctx *ctx);
9789c9728dSJens Wiklander 
9868c6ad9aSJelle Sels struct mobj *vm_get_mobj(struct user_mode_ctx *uctx, vaddr_t va, size_t *len,
9968c6ad9aSJelle Sels 			 uint16_t *prot, size_t *offs);
100*fbe66cf8SEtienne Carriere #endif /*__MM_VM_H*/
101