8 #include <linux/kernel.h>
12 #include <asm/cputype.h>
13 #include <asm/tlbflush.h>
14 #include <asm/cacheflush.h>
17 #include <mach/hardware.h>
41 static void ux500_print_soc_info(
unsigned int asicid)
43 unsigned int rev = dbx500_revision();
45 pr_info(
"DB%4x ", dbx500_partnumber());
50 pr_cont(
"v%d.%d" , (rev >> 4) - 0xA + 1, rev & 0xf);
57 static unsigned int partnumber(
unsigned int asicid)
59 return (asicid >> 8) & 0xffff;
75 unsigned int cpuid = read_cpuid_id();
76 unsigned int asicid = 0;
86 asicid = ux500_read_asicid(0x9001DBF4);
87 if (partnumber(asicid) == 0x8500 ||
88 partnumber(asicid) == 0x8520)
102 asicid = ux500_read_asicid(addr);
105 pr_err(
"Unable to identify SoC\n");
110 dbx500_id.partnumber = partnumber(asicid);
113 ux500_print_soc_info(asicid);