1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2016 BayLibre, SAS
4  * Author: Neil Armstrong <narmstrong@baylibre.com>
5  */
6 
7 #ifndef __MESON_MEM_H__
8 #define __MESON_MEM_H__
9 
10 /* Configure the reserved memory zones exported by the secure registers
11  * into EFI and DTB reserved memory entries.
12  */
13 void meson_board_add_reserved_memory(void *fdt, u64 start, u64 size);
14 void meson_init_reserved_memory(void *fdt);
15 
16 #endif /* __MESON_MEM_H__ */
17