Merge branch 'next' of git://git.kernel.org/pub/scm/linux/kernel/git/davej/cpufreq
[pandora-kernel.git] / arch / powerpc / kernel / smp.c
1 /*
2  * SMP support for ppc.
3  *
4  * Written by Cort Dougan (cort@cs.nmt.edu) borrowing a great
5  * deal of code from the sparc and intel versions.
6  *
7  * Copyright (C) 1999 Cort Dougan <cort@cs.nmt.edu>
8  *
9  * PowerPC-64 Support added by Dave Engebretsen, Peter Bergner, and
10  * Mike Corrigan {engebret|bergner|mikec}@us.ibm.com
11  *
12  *      This program is free software; you can redistribute it and/or
13  *      modify it under the terms of the GNU General Public License
14  *      as published by the Free Software Foundation; either version
15  *      2 of the License, or (at your option) any later version.
16  */
17
18 #undef DEBUG
19
20 #include <linux/kernel.h>
21 #include <linux/module.h>
22 #include <linux/sched.h>
23 #include <linux/smp.h>
24 #include <linux/interrupt.h>
25 #include <linux/delay.h>
26 #include <linux/init.h>
27 #include <linux/spinlock.h>
28 #include <linux/cache.h>
29 #include <linux/err.h>
30 #include <linux/sysdev.h>
31 #include <linux/cpu.h>
32 #include <linux/notifier.h>
33 #include <linux/topology.h>
34
35 #include <asm/ptrace.h>
36 #include <asm/atomic.h>
37 #include <asm/irq.h>
38 #include <asm/page.h>
39 #include <asm/pgtable.h>
40 #include <asm/prom.h>
41 #include <asm/smp.h>
42 #include <asm/time.h>
43 #include <asm/machdep.h>
44 #include <asm/cputhreads.h>
45 #include <asm/cputable.h>
46 #include <asm/system.h>
47 #include <asm/mpic.h>
48 #include <asm/vdso_datapage.h>
49 #ifdef CONFIG_PPC64
50 #include <asm/paca.h>
51 #endif
52
53 #ifdef DEBUG
54 #include <asm/udbg.h>
55 #define DBG(fmt...) udbg_printf(fmt)
56 #else
57 #define DBG(fmt...)
58 #endif
59
60
61 /* Store all idle threads, this can be reused instead of creating
62 * a new thread. Also avoids complicated thread destroy functionality
63 * for idle threads.
64 */
65 #ifdef CONFIG_HOTPLUG_CPU
66 /*
67  * Needed only for CONFIG_HOTPLUG_CPU because __cpuinitdata is
68  * removed after init for !CONFIG_HOTPLUG_CPU.
69  */
70 static DEFINE_PER_CPU(struct task_struct *, idle_thread_array);
71 #define get_idle_for_cpu(x)      (per_cpu(idle_thread_array, x))
72 #define set_idle_for_cpu(x, p)   (per_cpu(idle_thread_array, x) = (p))
73 #else
74 static struct task_struct *idle_thread_array[NR_CPUS] __cpuinitdata ;
75 #define get_idle_for_cpu(x)      (idle_thread_array[(x)])
76 #define set_idle_for_cpu(x, p)   (idle_thread_array[(x)] = (p))
77 #endif
78
79 struct thread_info *secondary_ti;
80
81 DEFINE_PER_CPU(cpumask_var_t, cpu_sibling_map);
82 DEFINE_PER_CPU(cpumask_var_t, cpu_core_map);
83
84 EXPORT_PER_CPU_SYMBOL(cpu_sibling_map);
85 EXPORT_PER_CPU_SYMBOL(cpu_core_map);
86
87 /* SMP operations for this machine */
88 struct smp_ops_t *smp_ops;
89
90 /* Can't be static due to PowerMac hackery */
91 volatile unsigned int cpu_callin_map[NR_CPUS];
92
93 int smt_enabled_at_boot = 1;
94
95 static void (*crash_ipi_function_ptr)(struct pt_regs *) = NULL;
96
97 #ifdef CONFIG_PPC64
98 int __devinit smp_generic_kick_cpu(int nr)
99 {
100         BUG_ON(nr < 0 || nr >= NR_CPUS);
101
102         /*
103          * The processor is currently spinning, waiting for the
104          * cpu_start field to become non-zero After we set cpu_start,
105          * the processor will continue on to secondary_start
106          */
107         paca[nr].cpu_start = 1;
108         smp_mb();
109
110         return 0;
111 }
112 #endif
113
114 static irqreturn_t call_function_action(int irq, void *data)
115 {
116         generic_smp_call_function_interrupt();
117         return IRQ_HANDLED;
118 }
119
120 static irqreturn_t reschedule_action(int irq, void *data)
121 {
122         scheduler_ipi();
123         return IRQ_HANDLED;
124 }
125
126 static irqreturn_t call_function_single_action(int irq, void *data)
127 {
128         generic_smp_call_function_single_interrupt();
129         return IRQ_HANDLED;
130 }
131
132 static irqreturn_t debug_ipi_action(int irq, void *data)
133 {
134         if (crash_ipi_function_ptr) {
135                 crash_ipi_function_ptr(get_irq_regs());
136                 return IRQ_HANDLED;
137         }
138
139 #ifdef CONFIG_DEBUGGER
140         debugger_ipi(get_irq_regs());
141 #endif /* CONFIG_DEBUGGER */
142
143         return IRQ_HANDLED;
144 }
145
146 static irq_handler_t smp_ipi_action[] = {
147         [PPC_MSG_CALL_FUNCTION] =  call_function_action,
148         [PPC_MSG_RESCHEDULE] = reschedule_action,
149         [PPC_MSG_CALL_FUNC_SINGLE] = call_function_single_action,
150         [PPC_MSG_DEBUGGER_BREAK] = debug_ipi_action,
151 };
152
153 const char *smp_ipi_name[] = {
154         [PPC_MSG_CALL_FUNCTION] =  "ipi call function",
155         [PPC_MSG_RESCHEDULE] = "ipi reschedule",
156         [PPC_MSG_CALL_FUNC_SINGLE] = "ipi call function single",
157         [PPC_MSG_DEBUGGER_BREAK] = "ipi debugger",
158 };
159
160 /* optional function to request ipi, for controllers with >= 4 ipis */
161 int smp_request_message_ipi(int virq, int msg)
162 {
163         int err;
164
165         if (msg < 0 || msg > PPC_MSG_DEBUGGER_BREAK) {
166                 return -EINVAL;
167         }
168 #if !defined(CONFIG_DEBUGGER) && !defined(CONFIG_KEXEC)
169         if (msg == PPC_MSG_DEBUGGER_BREAK) {
170                 return 1;
171         }
172 #endif
173         err = request_irq(virq, smp_ipi_action[msg], IRQF_DISABLED|IRQF_PERCPU,
174                           smp_ipi_name[msg], 0);
175         WARN(err < 0, "unable to request_irq %d for %s (rc %d)\n",
176                 virq, smp_ipi_name[msg], err);
177
178         return err;
179 }
180
181 #ifdef CONFIG_PPC_SMP_MUXED_IPI
182 struct cpu_messages {
183         int messages;                   /* current messages */
184         unsigned long data;             /* data for cause ipi */
185 };
186 static DEFINE_PER_CPU_SHARED_ALIGNED(struct cpu_messages, ipi_message);
187
188 void smp_muxed_ipi_set_data(int cpu, unsigned long data)
189 {
190         struct cpu_messages *info = &per_cpu(ipi_message, cpu);
191
192         info->data = data;
193 }
194
195 void smp_muxed_ipi_message_pass(int cpu, int msg)
196 {
197         struct cpu_messages *info = &per_cpu(ipi_message, cpu);
198         char *message = (char *)&info->messages;
199
200         message[msg] = 1;
201         mb();
202         smp_ops->cause_ipi(cpu, info->data);
203 }
204
205 void smp_muxed_ipi_resend(void)
206 {
207         struct cpu_messages *info = &__get_cpu_var(ipi_message);
208
209         if (info->messages)
210                 smp_ops->cause_ipi(smp_processor_id(), info->data);
211 }
212
213 irqreturn_t smp_ipi_demux(void)
214 {
215         struct cpu_messages *info = &__get_cpu_var(ipi_message);
216         unsigned int all;
217
218         mb();   /* order any irq clear */
219
220         do {
221                 all = xchg_local(&info->messages, 0);
222
223 #ifdef __BIG_ENDIAN
224                 if (all & (1 << (24 - 8 * PPC_MSG_CALL_FUNCTION)))
225                         generic_smp_call_function_interrupt();
226                 if (all & (1 << (24 - 8 * PPC_MSG_RESCHEDULE)))
227                         scheduler_ipi();
228                 if (all & (1 << (24 - 8 * PPC_MSG_CALL_FUNC_SINGLE)))
229                         generic_smp_call_function_single_interrupt();
230                 if (all & (1 << (24 - 8 * PPC_MSG_DEBUGGER_BREAK)))
231                         debug_ipi_action(0, NULL);
232 #else
233 #error Unsupported ENDIAN
234 #endif
235         } while (info->messages);
236
237         return IRQ_HANDLED;
238 }
239 #endif /* CONFIG_PPC_SMP_MUXED_IPI */
240
241 void smp_send_reschedule(int cpu)
242 {
243         if (likely(smp_ops))
244                 smp_ops->message_pass(cpu, PPC_MSG_RESCHEDULE);
245 }
246 EXPORT_SYMBOL_GPL(smp_send_reschedule);
247
248 void arch_send_call_function_single_ipi(int cpu)
249 {
250         smp_ops->message_pass(cpu, PPC_MSG_CALL_FUNC_SINGLE);
251 }
252
253 void arch_send_call_function_ipi_mask(const struct cpumask *mask)
254 {
255         unsigned int cpu;
256
257         for_each_cpu(cpu, mask)
258                 smp_ops->message_pass(cpu, PPC_MSG_CALL_FUNCTION);
259 }
260
261 #if defined(CONFIG_DEBUGGER) || defined(CONFIG_KEXEC)
262 void smp_send_debugger_break(void)
263 {
264         int cpu;
265         int me = raw_smp_processor_id();
266
267         if (unlikely(!smp_ops))
268                 return;
269
270         for_each_online_cpu(cpu)
271                 if (cpu != me)
272                         smp_ops->message_pass(cpu, PPC_MSG_DEBUGGER_BREAK);
273 }
274 #endif
275
276 #ifdef CONFIG_KEXEC
277 void crash_send_ipi(void (*crash_ipi_callback)(struct pt_regs *))
278 {
279         crash_ipi_function_ptr = crash_ipi_callback;
280         if (crash_ipi_callback) {
281                 mb();
282                 smp_send_debugger_break();
283         }
284 }
285 #endif
286
287 static void stop_this_cpu(void *dummy)
288 {
289         /* Remove this CPU */
290         set_cpu_online(smp_processor_id(), false);
291
292         local_irq_disable();
293         while (1)
294                 ;
295 }
296
297 void smp_send_stop(void)
298 {
299         smp_call_function(stop_this_cpu, NULL, 0);
300 }
301
302 struct thread_info *current_set[NR_CPUS];
303
304 static void __devinit smp_store_cpu_info(int id)
305 {
306         per_cpu(cpu_pvr, id) = mfspr(SPRN_PVR);
307 }
308
309 void __init smp_prepare_cpus(unsigned int max_cpus)
310 {
311         unsigned int cpu;
312
313         DBG("smp_prepare_cpus\n");
314
315         /* 
316          * setup_cpu may need to be called on the boot cpu. We havent
317          * spun any cpus up but lets be paranoid.
318          */
319         BUG_ON(boot_cpuid != smp_processor_id());
320
321         /* Fixup boot cpu */
322         smp_store_cpu_info(boot_cpuid);
323         cpu_callin_map[boot_cpuid] = 1;
324
325         for_each_possible_cpu(cpu) {
326                 zalloc_cpumask_var_node(&per_cpu(cpu_sibling_map, cpu),
327                                         GFP_KERNEL, cpu_to_node(cpu));
328                 zalloc_cpumask_var_node(&per_cpu(cpu_core_map, cpu),
329                                         GFP_KERNEL, cpu_to_node(cpu));
330         }
331
332         cpumask_set_cpu(boot_cpuid, cpu_sibling_mask(boot_cpuid));
333         cpumask_set_cpu(boot_cpuid, cpu_core_mask(boot_cpuid));
334
335         if (smp_ops)
336                 if (smp_ops->probe)
337                         max_cpus = smp_ops->probe();
338                 else
339                         max_cpus = NR_CPUS;
340         else
341                 max_cpus = 1;
342 }
343
344 void __devinit smp_prepare_boot_cpu(void)
345 {
346         BUG_ON(smp_processor_id() != boot_cpuid);
347 #ifdef CONFIG_PPC64
348         paca[boot_cpuid].__current = current;
349 #endif
350         current_set[boot_cpuid] = task_thread_info(current);
351 }
352
353 #ifdef CONFIG_HOTPLUG_CPU
354 /* State of each CPU during hotplug phases */
355 static DEFINE_PER_CPU(int, cpu_state) = { 0 };
356
357 int generic_cpu_disable(void)
358 {
359         unsigned int cpu = smp_processor_id();
360
361         if (cpu == boot_cpuid)
362                 return -EBUSY;
363
364         set_cpu_online(cpu, false);
365 #ifdef CONFIG_PPC64
366         vdso_data->processorCount--;
367 #endif
368         migrate_irqs();
369         return 0;
370 }
371
372 void generic_cpu_die(unsigned int cpu)
373 {
374         int i;
375
376         for (i = 0; i < 100; i++) {
377                 smp_rmb();
378                 if (per_cpu(cpu_state, cpu) == CPU_DEAD)
379                         return;
380                 msleep(100);
381         }
382         printk(KERN_ERR "CPU%d didn't die...\n", cpu);
383 }
384
385 void generic_mach_cpu_die(void)
386 {
387         unsigned int cpu;
388
389         local_irq_disable();
390         idle_task_exit();
391         cpu = smp_processor_id();
392         printk(KERN_DEBUG "CPU%d offline\n", cpu);
393         __get_cpu_var(cpu_state) = CPU_DEAD;
394         smp_wmb();
395         while (__get_cpu_var(cpu_state) != CPU_UP_PREPARE)
396                 cpu_relax();
397 }
398
399 void generic_set_cpu_dead(unsigned int cpu)
400 {
401         per_cpu(cpu_state, cpu) = CPU_DEAD;
402 }
403 #endif
404
405 struct create_idle {
406         struct work_struct work;
407         struct task_struct *idle;
408         struct completion done;
409         int cpu;
410 };
411
412 static void __cpuinit do_fork_idle(struct work_struct *work)
413 {
414         struct create_idle *c_idle =
415                 container_of(work, struct create_idle, work);
416
417         c_idle->idle = fork_idle(c_idle->cpu);
418         complete(&c_idle->done);
419 }
420
421 static int __cpuinit create_idle(unsigned int cpu)
422 {
423         struct thread_info *ti;
424         struct create_idle c_idle = {
425                 .cpu    = cpu,
426                 .done   = COMPLETION_INITIALIZER_ONSTACK(c_idle.done),
427         };
428         INIT_WORK_ONSTACK(&c_idle.work, do_fork_idle);
429
430         c_idle.idle = get_idle_for_cpu(cpu);
431
432         /* We can't use kernel_thread since we must avoid to
433          * reschedule the child. We use a workqueue because
434          * we want to fork from a kernel thread, not whatever
435          * userspace process happens to be trying to online us.
436          */
437         if (!c_idle.idle) {
438                 schedule_work(&c_idle.work);
439                 wait_for_completion(&c_idle.done);
440         } else
441                 init_idle(c_idle.idle, cpu);
442         if (IS_ERR(c_idle.idle)) {              
443                 pr_err("Failed fork for CPU %u: %li", cpu, PTR_ERR(c_idle.idle));
444                 return PTR_ERR(c_idle.idle);
445         }
446         ti = task_thread_info(c_idle.idle);
447
448 #ifdef CONFIG_PPC64
449         paca[cpu].__current = c_idle.idle;
450         paca[cpu].kstack = (unsigned long)ti + THREAD_SIZE - STACK_FRAME_OVERHEAD;
451 #endif
452         ti->cpu = cpu;
453         current_set[cpu] = ti;
454
455         return 0;
456 }
457
458 int __cpuinit __cpu_up(unsigned int cpu)
459 {
460         int rc, c;
461
462         if (smp_ops == NULL ||
463             (smp_ops->cpu_bootable && !smp_ops->cpu_bootable(cpu)))
464                 return -EINVAL;
465
466         /* Make sure we have an idle thread */
467         rc = create_idle(cpu);
468         if (rc)
469                 return rc;
470
471         secondary_ti = current_set[cpu];
472
473         /* Make sure callin-map entry is 0 (can be leftover a CPU
474          * hotplug
475          */
476         cpu_callin_map[cpu] = 0;
477
478         /* The information for processor bringup must
479          * be written out to main store before we release
480          * the processor.
481          */
482         smp_mb();
483
484         /* wake up cpus */
485         DBG("smp: kicking cpu %d\n", cpu);
486         rc = smp_ops->kick_cpu(cpu);
487         if (rc) {
488                 pr_err("smp: failed starting cpu %d (rc %d)\n", cpu, rc);
489                 return rc;
490         }
491
492         /*
493          * wait to see if the cpu made a callin (is actually up).
494          * use this value that I found through experimentation.
495          * -- Cort
496          */
497         if (system_state < SYSTEM_RUNNING)
498                 for (c = 50000; c && !cpu_callin_map[cpu]; c--)
499                         udelay(100);
500 #ifdef CONFIG_HOTPLUG_CPU
501         else
502                 /*
503                  * CPUs can take much longer to come up in the
504                  * hotplug case.  Wait five seconds.
505                  */
506                 for (c = 5000; c && !cpu_callin_map[cpu]; c--)
507                         msleep(1);
508 #endif
509
510         if (!cpu_callin_map[cpu]) {
511                 printk(KERN_ERR "Processor %u is stuck.\n", cpu);
512                 return -ENOENT;
513         }
514
515         DBG("Processor %u found.\n", cpu);
516
517         if (smp_ops->give_timebase)
518                 smp_ops->give_timebase();
519
520         /* Wait until cpu puts itself in the online map */
521         while (!cpu_online(cpu))
522                 cpu_relax();
523
524         return 0;
525 }
526
527 /* Return the value of the reg property corresponding to the given
528  * logical cpu.
529  */
530 int cpu_to_core_id(int cpu)
531 {
532         struct device_node *np;
533         const int *reg;
534         int id = -1;
535
536         np = of_get_cpu_node(cpu, NULL);
537         if (!np)
538                 goto out;
539
540         reg = of_get_property(np, "reg", NULL);
541         if (!reg)
542                 goto out;
543
544         id = *reg;
545 out:
546         of_node_put(np);
547         return id;
548 }
549
550 /* Helper routines for cpu to core mapping */
551 int cpu_core_index_of_thread(int cpu)
552 {
553         return cpu >> threads_shift;
554 }
555 EXPORT_SYMBOL_GPL(cpu_core_index_of_thread);
556
557 int cpu_first_thread_of_core(int core)
558 {
559         return core << threads_shift;
560 }
561 EXPORT_SYMBOL_GPL(cpu_first_thread_of_core);
562
563 /* Must be called when no change can occur to cpu_present_mask,
564  * i.e. during cpu online or offline.
565  */
566 static struct device_node *cpu_to_l2cache(int cpu)
567 {
568         struct device_node *np;
569         struct device_node *cache;
570
571         if (!cpu_present(cpu))
572                 return NULL;
573
574         np = of_get_cpu_node(cpu, NULL);
575         if (np == NULL)
576                 return NULL;
577
578         cache = of_find_next_cache_node(np);
579
580         of_node_put(np);
581
582         return cache;
583 }
584
585 /* Activate a secondary processor. */
586 void __devinit start_secondary(void *unused)
587 {
588         unsigned int cpu = smp_processor_id();
589         struct device_node *l2_cache;
590         int i, base;
591
592         atomic_inc(&init_mm.mm_count);
593         current->active_mm = &init_mm;
594
595         smp_store_cpu_info(cpu);
596         set_dec(tb_ticks_per_jiffy);
597         preempt_disable();
598         cpu_callin_map[cpu] = 1;
599
600         if (smp_ops->setup_cpu)
601                 smp_ops->setup_cpu(cpu);
602         if (smp_ops->take_timebase)
603                 smp_ops->take_timebase();
604
605         secondary_cpu_time_init();
606
607 #ifdef CONFIG_PPC64
608         if (system_state == SYSTEM_RUNNING)
609                 vdso_data->processorCount++;
610 #endif
611         ipi_call_lock();
612         notify_cpu_starting(cpu);
613         set_cpu_online(cpu, true);
614         /* Update sibling maps */
615         base = cpu_first_thread_sibling(cpu);
616         for (i = 0; i < threads_per_core; i++) {
617                 if (cpu_is_offline(base + i))
618                         continue;
619                 cpumask_set_cpu(cpu, cpu_sibling_mask(base + i));
620                 cpumask_set_cpu(base + i, cpu_sibling_mask(cpu));
621
622                 /* cpu_core_map should be a superset of
623                  * cpu_sibling_map even if we don't have cache
624                  * information, so update the former here, too.
625                  */
626                 cpumask_set_cpu(cpu, cpu_core_mask(base + i));
627                 cpumask_set_cpu(base + i, cpu_core_mask(cpu));
628         }
629         l2_cache = cpu_to_l2cache(cpu);
630         for_each_online_cpu(i) {
631                 struct device_node *np = cpu_to_l2cache(i);
632                 if (!np)
633                         continue;
634                 if (np == l2_cache) {
635                         cpumask_set_cpu(cpu, cpu_core_mask(i));
636                         cpumask_set_cpu(i, cpu_core_mask(cpu));
637                 }
638                 of_node_put(np);
639         }
640         of_node_put(l2_cache);
641         ipi_call_unlock();
642
643         local_irq_enable();
644
645         cpu_idle();
646
647         BUG();
648 }
649
650 int setup_profiling_timer(unsigned int multiplier)
651 {
652         return 0;
653 }
654
655 void __init smp_cpus_done(unsigned int max_cpus)
656 {
657         cpumask_var_t old_mask;
658
659         /* We want the setup_cpu() here to be called from CPU 0, but our
660          * init thread may have been "borrowed" by another CPU in the meantime
661          * se we pin us down to CPU 0 for a short while
662          */
663         alloc_cpumask_var(&old_mask, GFP_NOWAIT);
664         cpumask_copy(old_mask, tsk_cpus_allowed(current));
665         set_cpus_allowed_ptr(current, cpumask_of(boot_cpuid));
666         
667         if (smp_ops && smp_ops->setup_cpu)
668                 smp_ops->setup_cpu(boot_cpuid);
669
670         set_cpus_allowed_ptr(current, old_mask);
671
672         free_cpumask_var(old_mask);
673
674         if (smp_ops && smp_ops->bringup_done)
675                 smp_ops->bringup_done();
676
677         dump_numa_cpu_topology();
678
679 }
680
681 int arch_sd_sibling_asym_packing(void)
682 {
683         if (cpu_has_feature(CPU_FTR_ASYM_SMT)) {
684                 printk_once(KERN_INFO "Enabling Asymmetric SMT scheduling\n");
685                 return SD_ASYM_PACKING;
686         }
687         return 0;
688 }
689
690 #ifdef CONFIG_HOTPLUG_CPU
691 int __cpu_disable(void)
692 {
693         struct device_node *l2_cache;
694         int cpu = smp_processor_id();
695         int base, i;
696         int err;
697
698         if (!smp_ops->cpu_disable)
699                 return -ENOSYS;
700
701         err = smp_ops->cpu_disable();
702         if (err)
703                 return err;
704
705         /* Update sibling maps */
706         base = cpu_first_thread_sibling(cpu);
707         for (i = 0; i < threads_per_core; i++) {
708                 cpumask_clear_cpu(cpu, cpu_sibling_mask(base + i));
709                 cpumask_clear_cpu(base + i, cpu_sibling_mask(cpu));
710                 cpumask_clear_cpu(cpu, cpu_core_mask(base + i));
711                 cpumask_clear_cpu(base + i, cpu_core_mask(cpu));
712         }
713
714         l2_cache = cpu_to_l2cache(cpu);
715         for_each_present_cpu(i) {
716                 struct device_node *np = cpu_to_l2cache(i);
717                 if (!np)
718                         continue;
719                 if (np == l2_cache) {
720                         cpumask_clear_cpu(cpu, cpu_core_mask(i));
721                         cpumask_clear_cpu(i, cpu_core_mask(cpu));
722                 }
723                 of_node_put(np);
724         }
725         of_node_put(l2_cache);
726
727
728         return 0;
729 }
730
731 void __cpu_die(unsigned int cpu)
732 {
733         if (smp_ops->cpu_die)
734                 smp_ops->cpu_die(cpu);
735 }
736
737 static DEFINE_MUTEX(powerpc_cpu_hotplug_driver_mutex);
738
739 void cpu_hotplug_driver_lock()
740 {
741         mutex_lock(&powerpc_cpu_hotplug_driver_mutex);
742 }
743
744 void cpu_hotplug_driver_unlock()
745 {
746         mutex_unlock(&powerpc_cpu_hotplug_driver_mutex);
747 }
748
749 void cpu_die(void)
750 {
751         if (ppc_md.cpu_die)
752                 ppc_md.cpu_die();
753
754         /* If we return, we re-enter start_secondary */
755         start_secondary_resume();
756 }
757
758 #endif