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 30 #ifdef CONFIG_ARCH_CPU_INIT 31 int arch_cpu_init(void) 32 { 33 s5p_set_cpu_id(); 34 35 return 0; 36 } 37 #endif 38 39 u32 get_device_type(void) 40 { 41 return s5p_cpu_id; 42 } 43 44 #ifdef CONFIG_DISPLAY_CPUINFO 45 int print_cpuinfo(void) 46 { 47 char buf[32]; 48 49 printf("CPU:\tS5P%X@%sMHz\n", 50 s5p_cpu_id, strmhz(buf, get_arm_clk())); 51 52 return 0; 53 } 54 #endif 55