5 #include <soc/addressmap.h>
7 #include <soc/clk_rst.h>
13 #include <soc/power.h>
14 #include <soc/romstage.h>
17 #define PMC_REGS (void *)(uintptr_t)(TEGRA_PMC_BASE)
32 if (
CONFIG(ARM64_USE_ARM_TRUSTED_FIRMWARE)) {
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
static void enable_cpu_clocks(void)
static void request_ram_repair(void)
static void set_cpu_ack_width(uint32_t val)
static void start_common_clocks(void)
void ccplex_cpu_start(void *entry_addr)
void ccplex_cpu_prepare(void)
static void enable_cpu_power_partitions(void)
#define printk(level,...)
static void stopwatch_init(struct stopwatch *sw)
static long stopwatch_duration_usecs(struct stopwatch *sw)
static int start_cpu(struct device *cpu)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
void mainboard_enable_vdd_cpu(void)
void mainboard_configure_pmc(void)
static void power_ungate_partition(uint32_t id)
static struct flow_ctlr * flow
#define clock_enable(l, h, u, v, w, x, y)
@ CRC_RST_CPUG_CLR_NONCPU
#define SET_CLK_ENB_CPULP_ENABLE
#define SET_CLK_ENB_CPUG_ENABLE
#define CAR2PMC_CPU_ACK_WIDTH_MASK
#define CLK_RST_REG(field_)