return 0;
 }
 
-static int get_cpu_number(struct device_node *dn)
-{
-       const __be32 *cell;
-       u64 hwid;
-       int cpu;
-
-       cell = of_get_property(dn, "reg", NULL);
-       if (!cell)
-               return -1;
-
-       hwid = of_read_number(cell, of_n_addr_cells(dn));
-
-       /*
-        * Non affinity bits must be set to 0 in the DT
-        */
-       if (hwid & ~MPIDR_HWID_BITMASK)
-               return -1;
-
-       for_each_possible_cpu(cpu)
-               if (cpu_logical_map(cpu) == hwid)
-                       return cpu;
-
-       return -1;
-}
-
 /* Create all possible partitions at boot time */
 static void __init gic_populate_ppi_partitions(struct device_node *gic_node)
 {
                        if (WARN_ON(!cpu_node))
                                continue;
 
-                       cpu = get_cpu_number(cpu_node);
-                       if (WARN_ON(cpu == -1))
+                       cpu = of_cpu_node_to_id(cpu_node);
+                       if (WARN_ON(cpu < 0))
                                continue;
 
                        pr_cont("%pOF[%d] ", cpu_node, cpu);