4 * Copyright (C) 2007 - 2008 Paul Mundt
5 * Copyright (C) 2007 Magnus Damm
7 * This file is subject to the terms and conditions of the GNU General Public
8 * License. See the file "COPYING" in the main directory of this archive
11 #include <linux/init.h>
12 #include <linux/cpumask.h>
13 #include <linux/smp.h>
14 #include <linux/interrupt.h>
17 static irqreturn_t ipi_interrupt_handler(int irq, void *arg)
19 unsigned int message = (unsigned int)(long)arg;
20 unsigned int cpu = hard_smp_processor_id();
21 unsigned int offs = 4 * cpu;
24 x = ctrl_inl(0xfe410070 + offs); /* C0INITICI..CnINTICI */
25 x &= (1 << (message << 2));
26 ctrl_outl(x, 0xfe410080 + offs); /* C0INTICICLR..CnINTICICLR */
28 smp_message_recv(message);
33 void __init plat_smp_setup(void)
38 cpus_clear(cpu_possible_map);
39 cpu_set(cpu, cpu_possible_map);
41 __cpu_number_map[0] = 0;
42 __cpu_logical_map[0] = 0;
45 * Do this stupidly for now.. we don't have an easy way to probe
46 * for the total number of cores.
48 for (i = 1, num = 0; i < NR_CPUS; i++) {
49 cpu_set(i, cpu_possible_map);
50 __cpu_number_map[i] = ++num;
51 __cpu_logical_map[num] = i;
54 printk(KERN_INFO "Detected %i available secondary CPU(s)\n", num);
57 void __init plat_prepare_cpus(unsigned int max_cpus)
61 BUILD_BUG_ON(SMP_MSG_NR >= 8);
63 for (i = 0; i < SMP_MSG_NR; i++)
64 request_irq(104 + i, ipi_interrupt_handler, IRQF_DISABLED,
65 "IPI", (void *)(long)i);
68 #define STBCR_REG(phys_id) (0xfe400004 | (phys_id << 12))
69 #define RESET_REG(phys_id) (0xfe400008 | (phys_id << 12))
71 #define STBCR_MSTP 0x00000001
72 #define STBCR_RESET 0x00000002
73 #define STBCR_LTSLP 0x80000000
75 #define STBCR_AP_VAL (STBCR_RESET | STBCR_LTSLP)
77 void plat_start_cpu(unsigned int cpu, unsigned long entry_point)
79 ctrl_outl(entry_point, RESET_REG(cpu));
81 if (!(ctrl_inl(STBCR_REG(cpu)) & STBCR_MSTP))
82 ctrl_outl(STBCR_MSTP, STBCR_REG(cpu));
84 while (!(ctrl_inl(STBCR_REG(cpu)) & STBCR_MSTP))
87 /* Start up secondary processor by sending a reset */
88 ctrl_outl(STBCR_AP_VAL, STBCR_REG(cpu));
91 int plat_smp_processor_id(void)
93 return ctrl_inl(0xff000048); /* CPIDR */
96 void plat_send_ipi(unsigned int cpu, unsigned int message)
98 unsigned long addr = 0xfe410070 + (cpu * 4);
102 ctrl_outl(1 << (message << 2), addr); /* C0INTICI..CnINTICI */