1// SPDX-License-Identifier: GPL-2.0 2// 3// Copyright (c) 2009-2011 Samsung Electronics Co., Ltd. 4// http://www.samsung.com 5// 6// Samsung CPU Support 7 8#include <linux/module.h> 9#include <linux/kernel.h> 10#include <linux/init.h> 11#include <linux/io.h> 12 13#include <plat/map-base.h> 14#include <plat/cpu.h> 15 16unsigned long samsung_cpu_id; 17static unsigned int samsung_cpu_rev; 18 19unsigned int samsung_rev(void) 20{ 21 return samsung_cpu_rev; 22} 23EXPORT_SYMBOL(samsung_rev); 24 25void __init s3c64xx_init_cpu(void) 26{ 27 samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0x118); 28 if (!samsung_cpu_id) { 29 /* 30 * S3C6400 has the ID register in a different place, 31 * and needs a write before it can be read. 32 */ 33 writel_relaxed(0x0, S3C_VA_SYS + 0xA1C); 34 samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0xA1C); 35 } 36 37 samsung_cpu_rev = 0; 38 39 pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id); 40} 41 42void __init s5p_init_cpu(const void __iomem *cpuid_addr) 43{ 44 samsung_cpu_id = readl_relaxed(cpuid_addr); 45 samsung_cpu_rev = samsung_cpu_id & 0xFF; 46 47 pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id); 48} 49