| Soby Mathew | b4c6df4 | 2022-11-09 11:13:29 +0000 | [diff] [blame^] | 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 | |
| 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 | |
| 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 | } |