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