--- /dev/null
+/*
+ * Definitions specific to SMP platforms.
+ *
+ * Copyright (C) 2013 ARM Ltd.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#ifndef __ASM_SMP_PLAT_H
+#define __ASM_SMP_PLAT_H
+
+#include <asm/types.h>
+
+/*
+ * Logical CPU mapping.
+ */
+extern u64 __cpu_logical_map[NR_CPUS];
+#define cpu_logical_map(cpu)    __cpu_logical_map[cpu]
+
+#endif /* __ASM_SMP_PLAT_H */
 
 #include <asm/pgtable.h>
 #include <asm/pgalloc.h>
 #include <asm/processor.h>
+#include <asm/smp_plat.h>
 #include <asm/sections.h>
 #include <asm/tlbflush.h>
 #include <asm/ptrace.h>
        /*
         * Update the pen release flag.
         */
-       write_pen_release(cpu);
+       write_pen_release(cpu_logical_map(cpu));
 
        /*
         * Send an event, causing the secondaries to read pen_release.
 }
 
 /*
- * Enumerate the possible CPU set from the device tree.
+ * Enumerate the possible CPU set from the device tree and build the
+ * cpu logical map array containing MPIDR values related to logical
+ * cpus. Assumes that cpu_logical_map(0) has already been initialized.
  */
 void __init smp_init_cpus(void)
 {
        const char *enable_method;
        struct device_node *dn = NULL;
-       int cpu = 0;
+       int i, cpu = 1;
+       bool bootcpu_valid = false;
 
        while ((dn = of_find_node_by_type(dn, "cpu"))) {
+               u64 hwid;
+
+               /*
+                * A cpu node with missing "reg" property is
+                * considered invalid to build a cpu_logical_map
+                * entry.
+                */
+               if (of_property_read_u64(dn, "reg", &hwid)) {
+                       pr_err("%s: missing reg property\n", dn->full_name);
+                       goto next;
+               }
+
+               /*
+                * Non affinity bits must be set to 0 in the DT
+                */
+               if (hwid & ~MPIDR_HWID_BITMASK) {
+                       pr_err("%s: invalid reg property\n", dn->full_name);
+                       goto next;
+               }
+
+               /*
+                * Duplicate MPIDRs are a recipe for disaster. Scan
+                * all initialized entries and check for
+                * duplicates. If any is found just ignore the cpu.
+                * cpu_logical_map was initialized to INVALID_HWID to
+                * avoid matching valid MPIDR values.
+                */
+               for (i = 1; (i < cpu) && (i < NR_CPUS); i++) {
+                       if (cpu_logical_map(i) == hwid) {
+                               pr_err("%s: duplicate cpu reg properties in the DT\n",
+                                       dn->full_name);
+                               goto next;
+                       }
+               }
+
+               /*
+                * The numbering scheme requires that the boot CPU
+                * must be assigned logical id 0. Record it so that
+                * the logical map built from DT is validated and can
+                * be used.
+                */
+               if (hwid == cpu_logical_map(0)) {
+                       if (bootcpu_valid) {
+                               pr_err("%s: duplicate boot cpu reg property in DT\n",
+                                       dn->full_name);
+                               goto next;
+                       }
+
+                       bootcpu_valid = true;
+
+                       /*
+                        * cpu_logical_map has already been
+                        * initialized and the boot cpu doesn't need
+                        * the enable-method so continue without
+                        * incrementing cpu.
+                        */
+                       continue;
+               }
+
                if (cpu >= NR_CPUS)
                        goto next;
 
                 */
                enable_method = of_get_property(dn, "enable-method", NULL);
                if (!enable_method) {
-                       pr_err("CPU %d: missing enable-method property\n", cpu);
+                       pr_err("%s: missing enable-method property\n",
+                               dn->full_name);
                        goto next;
                }
 
                smp_enable_ops[cpu] = smp_get_enable_ops(enable_method);
 
                if (!smp_enable_ops[cpu]) {
-                       pr_err("CPU %d: invalid enable-method property: %s\n",
-                              cpu, enable_method);
+                       pr_err("%s: invalid enable-method property: %s\n",
+                              dn->full_name, enable_method);
                        goto next;
                }
 
                if (smp_enable_ops[cpu]->init_cpu(dn, cpu))
                        goto next;
 
-               set_cpu_possible(cpu, true);
+               pr_debug("cpu logical map 0x%llx\n", hwid);
+               cpu_logical_map(cpu) = hwid;
 next:
                cpu++;
        }
        if (cpu > NR_CPUS)
                pr_warning("no. of cores (%d) greater than configured maximum of %d - clipping\n",
                           cpu, NR_CPUS);
+
+       if (!bootcpu_valid) {
+               pr_err("DT missing boot CPU MPIDR, not enabling secondaries\n");
+               return;
+       }
+
+       /*
+        * All the cpus that made it to the cpu_logical_map have been
+        * validated so set them as possible cpus.
+        */
+       for (i = 0; i < NR_CPUS; i++)
+               if (cpu_logical_map(i) != INVALID_HWID)
+                       set_cpu_possible(i, true);
 }
 
 void __init smp_prepare_cpus(unsigned int max_cpus)