1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4 */
5
6 #include <host_harness.h>
7 #include <smc.h>
8
monitor_call(unsigned long id,unsigned long arg0,unsigned long arg1,unsigned long arg2,unsigned long arg3,unsigned long arg4,unsigned long arg5)9 unsigned long monitor_call(unsigned long id,
10 unsigned long arg0,
11 unsigned long arg1,
12 unsigned long arg2,
13 unsigned long arg3,
14 unsigned long arg4,
15 unsigned long arg5)
16 {
17 return host_monitor_call(id, arg0, arg1, arg2, arg3, arg4, arg5);
18 }
19
monitor_call_with_res(unsigned long id,unsigned long arg0,unsigned long arg1,unsigned long arg2,unsigned long arg3,unsigned long arg4,unsigned long arg5,struct smc_result * res)20 void monitor_call_with_res(unsigned long id,
21 unsigned long arg0,
22 unsigned long arg1,
23 unsigned long arg2,
24 unsigned long arg3,
25 unsigned long arg4,
26 unsigned long arg5,
27 struct smc_result *res)
28 {
29 host_monitor_call_with_res(id, arg0, arg1, arg2,
30 arg3, arg4, arg5, res);
31 }
32