3 * Reinhard Meyer, reinhard.meyer@emk-elektronik.de
5 * Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
7 * Bo Shen <voice.shen@atmel.com>
9 * SPDX-License-Identifier: GPL-2.0+
14 #include <asm/arch/hardware.h>
15 #include <asm/arch/at91_dbu.h>
16 #include <asm/arch/at91_pmc.h>
17 #include <asm/arch/at91_pit.h>
18 #include <asm/arch/at91_gpbr.h>
19 #include <asm/arch/clk.h>
21 #ifndef CONFIG_SYS_AT91_MAIN_CLOCK
22 #define CONFIG_SYS_AT91_MAIN_CLOCK 0
25 int arch_cpu_init(void)
27 return at91_clock_init(CONFIG_SYS_AT91_MAIN_CLOCK);
30 void arch_preboot_os(void)
33 at91_pit_t *pit = (at91_pit_t *)ATMEL_BASE_PIT;
35 cpiv = AT91_PIT_MR_PIV_MASK(readl(&pit->piir));
39 * Add 0x1000 to current counter to stop it faster
40 * without waiting for wrapping back to 0
42 writel(cpiv + 0x1000, &pit->mr);
45 #if defined(CONFIG_DISPLAY_CPUINFO)
46 int print_cpuinfo(void)
50 printf("CPU: %s\n", get_cpu_name());
51 printf("Crystal frequency: %8s MHz\n",
52 strmhz(buf, get_main_clk_rate()));
53 printf("CPU clock : %8s MHz\n",
54 strmhz(buf, get_cpu_clk_rate()));
55 printf("Master clock : %8s MHz\n",
56 strmhz(buf, get_mck_clk_rate()));
62 void enable_caches(void)
66 unsigned int get_chip_id(void)
68 return readl(ATMEL_BASE_DBGU + AT91_DBU_CIDR) & ~AT91_DBU_CIDR_MASK;
71 unsigned int get_extension_chip_id(void)
73 return readl(ATMEL_BASE_DBGU + AT91_DBU_EXID);