1 /*
2  * Copyright (c) 2023, Advanced Micro Devices, Inc. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 #ifndef PLAT_FDT_H
8 #define PLAT_FDT_H
9 
10 void prepare_dtb(void);
11 
12 #if defined(XILINX_OF_BOARD_DTB_ADDR)
13 int32_t is_valid_dtb(void *fdt);
14 #endif
15 
16 #endif /* PLAT_FDT_H */
17