1 /* 2 * Copyright (C) 2009 Samsung Electronics 3 * Minkyu Kang <mk7.kang@samsung.com> 4 * 5 * See file CREDITS for list of people who contributed to this 6 * project. 7 * 8 * This program is free software; you can redistribute it and/or 9 * modify it under the terms of the GNU General Public License as 10 * published by the Free Software Foundation; either version 2 of 11 * the License, or (at your option) any later version. 12 * 13 * This program is distributed in the hope that it will be useful, 14 * but WITHOUT ANY WARRANTY; without even the implied warranty of 15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 * GNU General Public License for more details. 17 * 18 * You should have received a copy of the GNU General Public License 19 * along with this program; if not, write to the Free Software 20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, 21 * MA 02111-1307 USA 22 */ 23 #include <common.h> 24 #include <asm/io.h> 25 #include <asm/arch/clk.h> 26 27 /* Default is s5pc100 */ 28 unsigned int s5p_cpu_id = 0xC100; 29 /* Default is EVT1 */ 30 unsigned int s5p_cpu_rev = 1; 31 32 #ifdef CONFIG_ARCH_CPU_INIT 33 int arch_cpu_init(void) 34 { 35 s5p_set_cpu_id(); 36 37 return 0; 38 } 39 #endif 40 41 u32 get_device_type(void) 42 { 43 return s5p_cpu_id; 44 } 45 46 #ifdef CONFIG_DISPLAY_CPUINFO 47 int print_cpuinfo(void) 48 { 49 char buf[32]; 50 51 printf("CPU:\t%s%X@%sMHz\n", 52 s5p_get_cpu_name(), s5p_cpu_id, 53 strmhz(buf, get_arm_clk())); 54 55 return 0; 56 } 57 #endif 58