1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4 */
5
6 #include <host_harness.h>
7 #include <run.h>
8
memcpy_ns_read(void * dest,const void * ns_src,unsigned long size)9 bool memcpy_ns_read(void *dest, const void *ns_src, unsigned long size)
10 {
11 return host_memcpy_ns_read(dest, ns_src, size);
12 }
13
14
memcpy_ns_write(void * ns_dest,const void * src,unsigned long size)15 bool memcpy_ns_write(void *ns_dest, const void *src, unsigned long size)
16 {
17 return host_memcpy_ns_write(ns_dest, src, size);
18 }
19
run_realm(unsigned long * regs)20 int run_realm(unsigned long *regs)
21 {
22 return host_run_realm(regs);
23 }
24