1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #include <buffer.h>
7 #include <host_harness.h>
8 
host_buffer_arch_map(enum buffer_slot slot,unsigned long addr,bool ns)9 void *host_buffer_arch_map(enum buffer_slot slot,
10 			    unsigned long addr, bool ns)
11 {
12 	(void)slot;
13 	(void)ns;
14 
15 	return (void *)addr;
16 }
17 
host_buffer_arch_unmap(void * buf)18 void host_buffer_arch_unmap(void *buf)
19 {
20 	(void)buf;
21 }
22