1 // SPDX-License-Identifier: GPL-2.0+
4 * Reinhard Meyer, reinhard.meyer@emk-elektronik.de
6 * Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
11 #include <asm/arch/hardware.h>
12 #include <asm/arch/at91_pit.h>
13 #include <asm/arch/at91_gpbr.h>
14 #include <asm/arch/clk.h>
16 #ifndef CONFIG_SYS_AT91_MAIN_CLOCK
17 #define CONFIG_SYS_AT91_MAIN_CLOCK 0
20 int arch_cpu_init(void)
22 return at91_clock_init(CONFIG_SYS_AT91_MAIN_CLOCK);
25 void arch_preboot_os(void)
28 at91_pit_t *pit = (at91_pit_t *) ATMEL_BASE_PIT;
30 cpiv = AT91_PIT_MR_PIV_MASK(readl(&pit->piir));
34 * Add 0x1000 to current counter to stop it faster
35 * without waiting for wrapping back to 0
37 writel(cpiv + 0x1000, &pit->mr);
40 #if defined(CONFIG_DISPLAY_CPUINFO)
41 int print_cpuinfo(void)
43 char __maybe_unused buf[32];
45 printf("CPU: %s\n", ATMEL_CPU_NAME);
46 printf("Crystal frequency: %8s MHz\n",
47 strmhz(buf, get_main_clk_rate()));
48 printf("CPU clock : %8s MHz\n",
49 strmhz(buf, get_cpu_clk_rate()));
50 printf("Master clock : %8s MHz\n",
51 strmhz(buf, get_mck_clk_rate()));