| // SPDX-License-Identifier: GPL-2.0 |
| // |
| // Copyright (c) 2009-2011 Samsung Electronics Co., Ltd. |
| // http://www.samsung.com |
| // |
| // Samsung CPU Support |
| |
| #include <linux/module.h> |
| #include <linux/kernel.h> |
| #include <linux/init.h> |
| #include <linux/io.h> |
| |
| #include <plat/map-base.h> |
| #include <plat/cpu.h> |
| |
| unsigned long samsung_cpu_id; |
| static unsigned int samsung_cpu_rev; |
| |
| unsigned int samsung_rev(void) |
| { |
| return samsung_cpu_rev; |
| } |
| EXPORT_SYMBOL(samsung_rev); |
| |
| void __init s3c64xx_init_cpu(void) |
| { |
| samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0x118); |
| if (!samsung_cpu_id) { |
| /* |
| * S3C6400 has the ID register in a different place, |
| * and needs a write before it can be read. |
| */ |
| writel_relaxed(0x0, S3C_VA_SYS + 0xA1C); |
| samsung_cpu_id = readl_relaxed(S3C_VA_SYS + 0xA1C); |
| } |
| |
| samsung_cpu_rev = 0; |
| |
| pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id); |
| } |
| |
| void __init s5p_init_cpu(const void __iomem *cpuid_addr) |
| { |
| samsung_cpu_id = readl_relaxed(cpuid_addr); |
| samsung_cpu_rev = samsung_cpu_id & 0xFF; |
| |
| pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id); |
| } |