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 */
13void meson_board_add_reserved_memory(void *fdt, u64 start, u64 size);
14void meson_init_reserved_memory(void *fdt);
15
16#endif /* __MESON_MEM_H__ */
17