#include <linux/smp.h>
 
 #include <asm/psci.h>
+#include <asm/smp_plat.h>
 
 static int __init smp_psci_init_cpu(struct device_node *dn, int cpu)
 {
                return -ENODEV;
        }
 
-       err = psci_ops.cpu_on(cpu, __pa(secondary_holding_pen));
+       err = psci_ops.cpu_on(cpu_logical_map(cpu), __pa(secondary_holding_pen));
        if (err) {
                pr_err("psci: failed to boot CPU%d (%d)\n", cpu, err);
                return err;
 
 const struct smp_enable_ops smp_psci_ops __initconst = {
        .name           = "psci",
-       .init_cpu       = smp_psci_init_cpu,
+       .init_cpu       = smp_psci_init_cpu,
        .prepare_cpu    = smp_psci_prepare_cpu,
 };