The Exynos SoC has 64bit chip product id and it is unique for
each chip. So it can be used as system_serial.
Change-Id: Id739b865a1e355a0209841ff2ca1802b5daeabb2
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>
#include <plat/map-base.h>
#include <plat/cpu.h>
+#include <asm/system_info.h>
+
unsigned long samsung_cpu_id;
static unsigned int samsung_cpu_rev;
samsung_cpu_id = readl_relaxed(cpuid_addr);
samsung_cpu_rev = samsung_cpu_id & 0xFF;
+ system_serial_low = __raw_readl(cpuid_addr + 0x14);
+ system_serial_high = __raw_readl(cpuid_addr + 0x18);
+
pr_info("Samsung CPU ID: 0x%08lx\n", samsung_cpu_id);
}