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