2 * Copyright (C) 2011 by Vladimir Zapolskiy <vz@mleia.com>
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/arch/cpu.h>
10 #include <asm/arch/clk.h>
11 #include <asm/arch/wdt.h>
14 static struct clk_pm_regs *clk = (struct clk_pm_regs *)CLK_PM_BASE;
15 static struct wdt_regs *wdt = (struct wdt_regs *)WDT_BASE;
17 void reset_cpu(ulong addr)
19 /* Enable watchdog clock */
20 setbits_le32(&clk->timclk_ctrl, CLK_TIMCLK_WATCHDOG);
22 /* Reset pulse length is 13005 peripheral clock frames */
23 writel(13000, &wdt->pulse);
25 /* Force WDOG_RESET2 and RESOUT_N signal active */
26 writel(WDTIM_MCTRL_RESFRC2 | WDTIM_MCTRL_RESFRC1 | WDTIM_MCTRL_M_RES2,
33 #if defined(CONFIG_ARCH_CPU_INIT)
34 int arch_cpu_init(void)
37 * It might be necessary to flush data cache, if U-boot is loaded
38 * from kickstart bootloader, e.g. from S1L loader
45 #error "You have to select CONFIG_ARCH_CPU_INIT"
48 #if defined(CONFIG_DISPLAY_CPUINFO)
49 int print_cpuinfo(void)
51 printf("CPU: NXP LPC32XX\n");
52 printf("CPU clock: %uMHz\n", get_hclk_pll_rate() / 1000000);
53 printf("AHB bus clock: %uMHz\n", get_hclk_clk_rate() / 1000000);
54 printf("Peripheral clock: %uMHz\n", get_periph_clk_rate() / 1000000);
60 #ifdef CONFIG_LPC32XX_ETH
61 int cpu_eth_init(bd_t *bis)
63 lpc32xx_eth_initialize(bis);