37 lines
998 B
C
37 lines
998 B
C
/*
|
|
* 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
|
|
|
|
#include <stdbool.h>
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
#define INVALID_BASE_ADDR ((uintptr_t)~0UL)
|
|
|
|
struct psci_cpu_idle_state {
|
|
const char *name;
|
|
uint32_t power_state;
|
|
bool local_timer_stop;
|
|
uint32_t entry_latency_us;
|
|
uint32_t exit_latency_us;
|
|
uint32_t min_residency_us;
|
|
uint32_t wakeup_latency_us;
|
|
};
|
|
|
|
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_add_cpu_idle_states(void *dtb, const struct psci_cpu_idle_state *state);
|
|
int fdt_adjust_gic_redist(void *dtb, unsigned int nr_cores, uintptr_t gicr_base,
|
|
unsigned int gicr_frame_size);
|
|
|
|
#endif /* FDT_FIXUP_H */
|