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 <fdtdec.h>
9 #include <asm/io.h>
10 #include <asm/arch/clk.h>
11 
12 DECLARE_GLOBAL_DATA_PTR;
13 
14 /* Default is s5pc100 */
15 unsigned int s5p_cpu_id = 0xC100;
16 /* Default is EVT1 */
17 unsigned int s5p_cpu_rev = 1;
18 
19 #ifdef CONFIG_ARCH_CPU_INIT
20 int arch_cpu_init(void)
21 {
22 	s5p_set_cpu_id();
23 
24 	return 0;
25 }
26 #endif
27 
28 u32 get_device_type(void)
29 {
30 	return s5p_cpu_id;
31 }
32 
33 #ifdef CONFIG_DISPLAY_CPUINFO
34 int print_cpuinfo(void)
35 {
36 	const char *cpu_model;
37 	int len;
38 
39 	/* For SoC with no real CPU ID in naming convention. */
40 	cpu_model = fdt_getprop(gd->fdt_blob, 0, "cpu-model", &len);
41 	if (cpu_model)
42 		printf("CPU:   %.*s @ ", len, cpu_model);
43 	else
44 		printf("CPU:   %s%X @ ", s5p_get_cpu_name(), s5p_cpu_id);
45 
46 	print_freq(get_arm_clk(), "\n");
47 
48 	return 0;
49 }
50 #endif
51