2
* Copyright (C) 2009 Samsung Electronics
3
* Minkyu Kang <mk7.kang@samsung.com>
5
* SPDX-License-Identifier: GPL-2.0+
9
#include <asm/arch/clk.h>
11
/* Default is s5pc100 */
12
unsigned int s5p_cpu_id = 0xC100;
14
unsigned int s5p_cpu_rev = 1;
16
#ifdef CONFIG_ARCH_CPU_INIT
17
int arch_cpu_init(void)
25
u32 get_device_type(void)
30
#ifdef CONFIG_DISPLAY_CPUINFO
31
int print_cpuinfo(void)
35
printf("CPU:\t%s%X@%sMHz\n",
36
s5p_get_cpu_name(), s5p_cpu_id,
37
strmhz(buf, get_arm_clk()));