1 /*
2  * Copyright 2020 The Hafnium Authors.
3  *
4  * Use of this source code is governed by a BSD-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/BSD-3-Clause.
7  */
8 
9 #pragma once
10 
11 #include "hf/boot_params.h"
12 #include "hf/ffa.h"
13 #include "hf/vm.h"
14 
15 bool arch_other_world_vm_init(struct vm *other_world_vm,
16 			      const struct boot_params *params,
17 			      struct mpool *ppool);
18 struct ffa_value arch_other_world_call(struct ffa_value args);
19 struct ffa_value arch_other_world_call_ext(struct ffa_value args);
20 
21 struct ffa_value arch_other_world_vm_configure_rxtx_map(
22 	struct vm_locked vm_locked, struct mpool *local_page_pool,
23 	paddr_t pa_send_begin, paddr_t pa_send_end, paddr_t pa_recv_begin,
24 	paddr_t pa_recv_end);
25 
26 struct ffa_value arch_other_world_vm_configure_rxtx_unmap(
27 	struct vm_locked vm_locked, struct mpool *local_page_pool,
28 	paddr_t pa_send_begin, paddr_t pa_send_end, paddr_t pa_recv_begin,
29 	paddr_t pa_recv_end);
30