9 #include <linux/kernel.h>
10 #include <linux/sched.h>
29 cpumask_set_cpu(0, &mask);
30 cpumask_set_cpu(1, &mask);
41 cpumask_set_cpu(0, &mask);
42 cpumask_set_cpu(1, &mask);
73 spin_lock(&boot_lock);
74 spin_unlock(&boot_lock);
83 spin_lock(&boot_lock);
104 spin_unlock(&boot_lock);
107 panic(
"CPU%u: processor failed to boot\n", cpu);
110 static const char supple0[] =
"IRQ_SUPPLE_0";
111 static const char supple1[] =
"IRQ_SUPPLE_1";
120 panic(
"Cannot request %s for IPI service", name);
160 #if defined(CONFIG_TICKSOURCE_CORETMR)
165 bfin_coretmr_clockevent_init();