| Javier Almansa Sobrino | c4ad5b0 | 2022-07-05 19:05:14 +0100 | [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 <test_harness.h> |
| 8 | |
| 9 | /* |
| 10 | * Maps addr to the requested slot buffer and returns a pointer to the |
| 11 | * fake VA for the slot (the current addr), so the host can perform R/W |
| 12 | * operations on the mapped granule. |
| 13 | */ |
| 14 | void *host_buffer_arch_map(enum buffer_slot slot, |
| 15 | unsigned long addr, bool ns) |
| 16 | { |
| 17 | return test_buffer_map(slot, addr, ns); |
| 18 | } |
| 19 | |
| 20 | void host_buffer_arch_unmap(void *buf) |
| 21 | { |
| 22 | test_buffer_unmap(buf); |
| 23 | } |