You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
644 B
21 lines
644 B
/*
|
|
* Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#ifndef FDT_FIXUP_H
|
|
#define FDT_FIXUP_H
|
|
|
|
#define INVALID_BASE_ADDR ((uintptr_t)~0UL)
|
|
|
|
int dt_add_psci_node(void *fdt);
|
|
int dt_add_psci_cpu_enable_methods(void *fdt);
|
|
int fdt_add_reserved_memory(void *dtb, const char *node_name,
|
|
uintptr_t base, size_t size);
|
|
int fdt_add_cpus_node(void *dtb, unsigned int afflv0,
|
|
unsigned int afflv1, unsigned int afflv2);
|
|
int fdt_adjust_gic_redist(void *dtb, unsigned int nr_cores, uintptr_t gicr_base,
|
|
unsigned int gicr_frame_size);
|
|
|
|
#endif /* FDT_FIXUP_H */
|
|
|