1 /*
2  * Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef FDT_FIXUP_H
8 #define FDT_FIXUP_H
9 
10 #define INVALID_BASE_ADDR	((uintptr_t)~0UL)
11 
12 int dt_add_psci_node(void *fdt);
13 int dt_add_psci_cpu_enable_methods(void *fdt);
14 int fdt_add_reserved_memory(void *dtb, const char *node_name,
15 			    uintptr_t base, size_t size);
16 int fdt_add_cpus_node(void *dtb, unsigned int afflv0,
17 		      unsigned int afflv1, unsigned int afflv2);
18 int fdt_adjust_gic_redist(void *dtb, unsigned int nr_cores, uintptr_t gicr_base,
19 			  unsigned int gicr_frame_size);
20 
21 #endif /* FDT_FIXUP_H */
22