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