1 /*
2  * Copyright (C) 2009 Samsung Electronics
3  * Minkyu Kang <mk7.kang@samsung.com>
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 #include <common.h>
8 #include <asm/io.h>
9 #include <asm/arch/clk.h>
10 
11 /* Default is s5pc100 */
12 unsigned int s5p_cpu_id = 0xC100;
13 /* Default is EVT1 */
14 unsigned int s5p_cpu_rev = 1;
15 
16 #ifdef CONFIG_ARCH_CPU_INIT
17 int arch_cpu_init(void)
18 {
19 	s5p_set_cpu_id();
20 
21 	return 0;
22 }
23 #endif
24 
25 u32 get_device_type(void)
26 {
27 	return s5p_cpu_id;
28 }
29 
30 #ifdef CONFIG_DISPLAY_CPUINFO
31 int print_cpuinfo(void)
32 {
33 	char buf[32];
34 
35 	printf("CPU:\t%s%X@%sMHz\n",
36 			s5p_get_cpu_name(), s5p_cpu_id,
37 			strmhz(buf, get_arm_clk()));
38 
39 	return 0;
40 }
41 #endif
42