blob: 4357c29fba9f9cf03f8b42badf0c0eb352ff0629 [file] [log] [blame]
/*
* SPDX-License-Identifier: BSD-3-Clause
* SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
*/
#include <host_harness.h>
#include <test_harness.h>
/*
* Maps addr to the requested slot buffer and returns a pointer to the
* fake VA for the slot (the current addr), so the host can perform R/W
* operations on the mapped granule.
*/
void *host_buffer_arch_map(enum buffer_slot slot,
unsigned long addr, bool ns)
{
return test_buffer_map(slot, addr, ns);
}
void host_buffer_arch_unmap(void *buf)
{
test_buffer_unmap(buf);
}