blob: 5f7617d669055fdee72d67e42a0293994aba5308 [file] [log] [blame]
Graf Yang6b3087c2009-01-07 23:14:39 +08001/*
Robin Getz96f10502009-09-24 14:11:24 +00002 * IPI management based on arch/arm/kernel/smp.c (Copyright 2002 ARM Limited)
Graf Yang6b3087c2009-01-07 23:14:39 +08003 *
Robin Getz96f10502009-09-24 14:11:24 +00004 * Copyright 2007-2009 Analog Devices Inc.
5 * Philippe Gerum <rpm@xenomai.org>
Graf Yang6b3087c2009-01-07 23:14:39 +08006 *
Robin Getz96f10502009-09-24 14:11:24 +00007 * Licensed under the GPL-2.
Graf Yang6b3087c2009-01-07 23:14:39 +08008 */
9
10#include <linux/module.h>
11#include <linux/delay.h>
12#include <linux/init.h>
13#include <linux/spinlock.h>
14#include <linux/sched.h>
15#include <linux/interrupt.h>
16#include <linux/cache.h>
17#include <linux/profile.h>
18#include <linux/errno.h>
19#include <linux/mm.h>
20#include <linux/cpu.h>
21#include <linux/smp.h>
Graf Yang9c199b52009-09-21 11:51:31 +000022#include <linux/cpumask.h>
Graf Yang6b3087c2009-01-07 23:14:39 +080023#include <linux/seq_file.h>
24#include <linux/irq.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090025#include <linux/slab.h>
Graf Yang6b3087c2009-01-07 23:14:39 +080026#include <asm/atomic.h>
27#include <asm/cacheflush.h>
28#include <asm/mmu_context.h>
29#include <asm/pgtable.h>
30#include <asm/pgalloc.h>
31#include <asm/processor.h>
32#include <asm/ptrace.h>
33#include <asm/cpu.h>
Graf Yang1fa9be72009-05-15 11:01:59 +000034#include <asm/time.h>
Graf Yang6b3087c2009-01-07 23:14:39 +080035#include <linux/err.h>
36
Graf Yang555487b2009-05-06 10:38:07 +000037/*
38 * Anomaly notes:
39 * 05000120 - we always define corelock as 32-bit integer in L2
40 */
Graf Yang6b3087c2009-01-07 23:14:39 +080041struct corelock_slot corelock __attribute__ ((__section__(".l2.bss")));
42
43void __cpuinitdata *init_retx_coreb, *init_saved_retx_coreb,
44 *init_saved_seqstat_coreb, *init_saved_icplb_fault_addr_coreb,
45 *init_saved_dcplb_fault_addr_coreb;
46
Graf Yang6b3087c2009-01-07 23:14:39 +080047#define BFIN_IPI_RESCHEDULE 0
48#define BFIN_IPI_CALL_FUNC 1
49#define BFIN_IPI_CPU_STOP 2
50
51struct blackfin_flush_data {
52 unsigned long start;
53 unsigned long end;
54};
55
56void *secondary_stack;
57
58
59struct smp_call_struct {
60 void (*func)(void *info);
61 void *info;
62 int wait;
Yi Li73a40062009-12-17 08:20:32 +000063 cpumask_t *waitmask;
Graf Yang6b3087c2009-01-07 23:14:39 +080064};
65
66static struct blackfin_flush_data smp_flush_data;
67
68static DEFINE_SPINLOCK(stop_lock);
69
70struct ipi_message {
Graf Yang6b3087c2009-01-07 23:14:39 +080071 unsigned long type;
72 struct smp_call_struct call_struct;
73};
74
Yi Li73a40062009-12-17 08:20:32 +000075/* A magic number - stress test shows this is safe for common cases */
76#define BFIN_IPI_MSGQ_LEN 5
77
78/* Simple FIFO buffer, overflow leads to panic */
Graf Yang6b3087c2009-01-07 23:14:39 +080079struct ipi_message_queue {
Graf Yang6b3087c2009-01-07 23:14:39 +080080 spinlock_t lock;
81 unsigned long count;
Yi Li73a40062009-12-17 08:20:32 +000082 unsigned long head; /* head of the queue */
83 struct ipi_message ipi_message[BFIN_IPI_MSGQ_LEN];
Graf Yang6b3087c2009-01-07 23:14:39 +080084};
85
86static DEFINE_PER_CPU(struct ipi_message_queue, ipi_msg_queue);
87
88static void ipi_cpu_stop(unsigned int cpu)
89{
90 spin_lock(&stop_lock);
91 printk(KERN_CRIT "CPU%u: stopping\n", cpu);
92 dump_stack();
93 spin_unlock(&stop_lock);
94
95 cpu_clear(cpu, cpu_online_map);
96
97 local_irq_disable();
98
99 while (1)
100 SSYNC();
101}
102
103static void ipi_flush_icache(void *info)
104{
105 struct blackfin_flush_data *fdata = info;
106
107 /* Invalidate the memory holding the bounds of the flushed region. */
Mike Frysinger5f362c92011-02-02 01:55:01 +0000108 invalidate_dcache_range((unsigned long)fdata,
109 (unsigned long)fdata + sizeof(*fdata));
Graf Yang6b3087c2009-01-07 23:14:39 +0800110
Mike Frysinger5f362c92011-02-02 01:55:01 +0000111 flush_icache_range(fdata->start, fdata->end);
Graf Yang6b3087c2009-01-07 23:14:39 +0800112}
113
114static void ipi_call_function(unsigned int cpu, struct ipi_message *msg)
115{
116 int wait;
117 void (*func)(void *info);
118 void *info;
119 func = msg->call_struct.func;
120 info = msg->call_struct.info;
121 wait = msg->call_struct.wait;
Graf Yang6b3087c2009-01-07 23:14:39 +0800122 func(info);
Yi Lic9784eb2009-12-04 06:56:21 +0000123 if (wait) {
124#ifdef __ARCH_SYNC_CORE_DCACHE
125 /*
126 * 'wait' usually means synchronization between CPUs.
127 * Invalidate D cache in case shared data was changed
128 * by func() to ensure cache coherence.
129 */
130 resync_core_dcache();
131#endif
Yi Li73a40062009-12-17 08:20:32 +0000132 cpu_clear(cpu, *msg->call_struct.waitmask);
133 }
Graf Yang6b3087c2009-01-07 23:14:39 +0800134}
135
Yi Li73a40062009-12-17 08:20:32 +0000136/* Use IRQ_SUPPLE_0 to request reschedule.
137 * When returning from interrupt to user space,
138 * there is chance to reschedule */
139static irqreturn_t ipi_handler_int0(int irq, void *dev_instance)
140{
141 unsigned int cpu = smp_processor_id();
142
143 platform_clear_ipi(cpu, IRQ_SUPPLE_0);
144 return IRQ_HANDLED;
145}
146
147static irqreturn_t ipi_handler_int1(int irq, void *dev_instance)
Graf Yang6b3087c2009-01-07 23:14:39 +0800148{
Sonic Zhang86f20082009-06-10 08:42:41 +0000149 struct ipi_message *msg;
Graf Yang6b3087c2009-01-07 23:14:39 +0800150 struct ipi_message_queue *msg_queue;
151 unsigned int cpu = smp_processor_id();
Yi Li73a40062009-12-17 08:20:32 +0000152 unsigned long flags;
Graf Yang6b3087c2009-01-07 23:14:39 +0800153
Yi Li73a40062009-12-17 08:20:32 +0000154 platform_clear_ipi(cpu, IRQ_SUPPLE_1);
Graf Yang6b3087c2009-01-07 23:14:39 +0800155
156 msg_queue = &__get_cpu_var(ipi_msg_queue);
Graf Yang6b3087c2009-01-07 23:14:39 +0800157
Yi Li73a40062009-12-17 08:20:32 +0000158 spin_lock_irqsave(&msg_queue->lock, flags);
159
160 while (msg_queue->count) {
161 msg = &msg_queue->ipi_message[msg_queue->head];
Graf Yang6b3087c2009-01-07 23:14:39 +0800162 switch (msg->type) {
Graf Yang6b3087c2009-01-07 23:14:39 +0800163 case BFIN_IPI_CALL_FUNC:
Yi Li73a40062009-12-17 08:20:32 +0000164 spin_unlock_irqrestore(&msg_queue->lock, flags);
Graf Yang6b3087c2009-01-07 23:14:39 +0800165 ipi_call_function(cpu, msg);
Yi Li73a40062009-12-17 08:20:32 +0000166 spin_lock_irqsave(&msg_queue->lock, flags);
Graf Yang6b3087c2009-01-07 23:14:39 +0800167 break;
168 case BFIN_IPI_CPU_STOP:
Yi Li73a40062009-12-17 08:20:32 +0000169 spin_unlock_irqrestore(&msg_queue->lock, flags);
Graf Yang6b3087c2009-01-07 23:14:39 +0800170 ipi_cpu_stop(cpu);
Yi Li73a40062009-12-17 08:20:32 +0000171 spin_lock_irqsave(&msg_queue->lock, flags);
Graf Yang6b3087c2009-01-07 23:14:39 +0800172 break;
173 default:
Joe Perchesdb52ecc2010-03-26 19:27:51 -0700174 printk(KERN_CRIT "CPU%u: Unknown IPI message 0x%lx\n",
175 cpu, msg->type);
Graf Yang6b3087c2009-01-07 23:14:39 +0800176 break;
177 }
Yi Li73a40062009-12-17 08:20:32 +0000178 msg_queue->head++;
179 msg_queue->head %= BFIN_IPI_MSGQ_LEN;
180 msg_queue->count--;
Graf Yang6b3087c2009-01-07 23:14:39 +0800181 }
Yi Li73a40062009-12-17 08:20:32 +0000182 spin_unlock_irqrestore(&msg_queue->lock, flags);
Graf Yang6b3087c2009-01-07 23:14:39 +0800183 return IRQ_HANDLED;
184}
185
186static void ipi_queue_init(void)
187{
188 unsigned int cpu;
189 struct ipi_message_queue *msg_queue;
190 for_each_possible_cpu(cpu) {
191 msg_queue = &per_cpu(ipi_msg_queue, cpu);
Graf Yang6b3087c2009-01-07 23:14:39 +0800192 spin_lock_init(&msg_queue->lock);
193 msg_queue->count = 0;
Yi Li73a40062009-12-17 08:20:32 +0000194 msg_queue->head = 0;
Graf Yang6b3087c2009-01-07 23:14:39 +0800195 }
196}
197
Yi Li73a40062009-12-17 08:20:32 +0000198static inline void smp_send_message(cpumask_t callmap, unsigned long type,
199 void (*func) (void *info), void *info, int wait)
Graf Yang6b3087c2009-01-07 23:14:39 +0800200{
201 unsigned int cpu;
Graf Yang6b3087c2009-01-07 23:14:39 +0800202 struct ipi_message_queue *msg_queue;
203 struct ipi_message *msg;
Yi Li73a40062009-12-17 08:20:32 +0000204 unsigned long flags, next_msg;
205 cpumask_t waitmask = callmap; /* waitmask is shared by all cpus */
Graf Yang6b3087c2009-01-07 23:14:39 +0800206
207 for_each_cpu_mask(cpu, callmap) {
208 msg_queue = &per_cpu(ipi_msg_queue, cpu);
209 spin_lock_irqsave(&msg_queue->lock, flags);
Yi Li73a40062009-12-17 08:20:32 +0000210 if (msg_queue->count < BFIN_IPI_MSGQ_LEN) {
211 next_msg = (msg_queue->head + msg_queue->count)
212 % BFIN_IPI_MSGQ_LEN;
213 msg = &msg_queue->ipi_message[next_msg];
214 msg->type = type;
215 if (type == BFIN_IPI_CALL_FUNC) {
216 msg->call_struct.func = func;
217 msg->call_struct.info = info;
218 msg->call_struct.wait = wait;
219 msg->call_struct.waitmask = &waitmask;
220 }
221 msg_queue->count++;
222 } else
223 panic("IPI message queue overflow\n");
Graf Yang6b3087c2009-01-07 23:14:39 +0800224 spin_unlock_irqrestore(&msg_queue->lock, flags);
Yi Li73a40062009-12-17 08:20:32 +0000225 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_1);
Graf Yang6b3087c2009-01-07 23:14:39 +0800226 }
Yi Li73a40062009-12-17 08:20:32 +0000227
Graf Yang6b3087c2009-01-07 23:14:39 +0800228 if (wait) {
Yi Li73a40062009-12-17 08:20:32 +0000229 while (!cpus_empty(waitmask))
Graf Yang6b3087c2009-01-07 23:14:39 +0800230 blackfin_dcache_invalidate_range(
Yi Li73a40062009-12-17 08:20:32 +0000231 (unsigned long)(&waitmask),
232 (unsigned long)(&waitmask));
Yi Lic9784eb2009-12-04 06:56:21 +0000233#ifdef __ARCH_SYNC_CORE_DCACHE
234 /*
235 * Invalidate D cache in case shared data was changed by
236 * other processors to ensure cache coherence.
237 */
238 resync_core_dcache();
239#endif
Graf Yang6b3087c2009-01-07 23:14:39 +0800240 }
Yi Li73a40062009-12-17 08:20:32 +0000241}
242
243int smp_call_function(void (*func)(void *info), void *info, int wait)
244{
245 cpumask_t callmap;
246
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000247 preempt_disable();
Yi Li73a40062009-12-17 08:20:32 +0000248 callmap = cpu_online_map;
249 cpu_clear(smp_processor_id(), callmap);
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000250 if (!cpus_empty(callmap))
251 smp_send_message(callmap, BFIN_IPI_CALL_FUNC, func, info, wait);
Yi Li73a40062009-12-17 08:20:32 +0000252
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000253 preempt_enable();
Yi Li73a40062009-12-17 08:20:32 +0000254
Graf Yang6b3087c2009-01-07 23:14:39 +0800255 return 0;
256}
257EXPORT_SYMBOL_GPL(smp_call_function);
258
259int smp_call_function_single(int cpuid, void (*func) (void *info), void *info,
260 int wait)
261{
262 unsigned int cpu = cpuid;
263 cpumask_t callmap;
Graf Yang6b3087c2009-01-07 23:14:39 +0800264
265 if (cpu_is_offline(cpu))
266 return 0;
267 cpus_clear(callmap);
268 cpu_set(cpu, callmap);
269
Yi Li73a40062009-12-17 08:20:32 +0000270 smp_send_message(callmap, BFIN_IPI_CALL_FUNC, func, info, wait);
Graf Yang6b3087c2009-01-07 23:14:39 +0800271
Graf Yang6b3087c2009-01-07 23:14:39 +0800272 return 0;
273}
274EXPORT_SYMBOL_GPL(smp_call_function_single);
275
276void smp_send_reschedule(int cpu)
277{
Yi Li73a40062009-12-17 08:20:32 +0000278 /* simply trigger an ipi */
Graf Yang6b3087c2009-01-07 23:14:39 +0800279 if (cpu_is_offline(cpu))
280 return;
Yi Li73a40062009-12-17 08:20:32 +0000281 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_0);
Graf Yang6b3087c2009-01-07 23:14:39 +0800282
283 return;
284}
285
286void smp_send_stop(void)
287{
Graf Yang6b3087c2009-01-07 23:14:39 +0800288 cpumask_t callmap;
Graf Yang6b3087c2009-01-07 23:14:39 +0800289
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000290 preempt_disable();
Graf Yang6b3087c2009-01-07 23:14:39 +0800291 callmap = cpu_online_map;
292 cpu_clear(smp_processor_id(), callmap);
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000293 if (!cpus_empty(callmap))
294 smp_send_message(callmap, BFIN_IPI_CPU_STOP, NULL, NULL, 0);
Graf Yang6b3087c2009-01-07 23:14:39 +0800295
Sonic Zhang567ebfc2010-06-25 05:55:16 +0000296 preempt_enable();
Graf Yang6b3087c2009-01-07 23:14:39 +0800297
Graf Yang6b3087c2009-01-07 23:14:39 +0800298 return;
299}
300
301int __cpuinit __cpu_up(unsigned int cpu)
302{
Graf Yang6b3087c2009-01-07 23:14:39 +0800303 int ret;
Graf Yang0b39db22009-12-28 11:13:51 +0000304 static struct task_struct *idle;
305
306 if (idle)
307 free_task(idle);
Graf Yang6b3087c2009-01-07 23:14:39 +0800308
309 idle = fork_idle(cpu);
310 if (IS_ERR(idle)) {
311 printk(KERN_ERR "CPU%u: fork() failed\n", cpu);
312 return PTR_ERR(idle);
313 }
314
315 secondary_stack = task_stack_page(idle) + THREAD_SIZE;
Graf Yang6b3087c2009-01-07 23:14:39 +0800316
317 ret = platform_boot_secondary(cpu, idle);
318
Graf Yang6b3087c2009-01-07 23:14:39 +0800319 secondary_stack = NULL;
320
321 return ret;
322}
323
324static void __cpuinit setup_secondary(unsigned int cpu)
325{
Graf Yang6b3087c2009-01-07 23:14:39 +0800326 unsigned long ilat;
327
328 bfin_write_IMASK(0);
329 CSYNC();
330 ilat = bfin_read_ILAT();
331 CSYNC();
332 bfin_write_ILAT(ilat);
333 CSYNC();
334
Graf Yang6b3087c2009-01-07 23:14:39 +0800335 /* Enable interrupt levels IVG7-15. IARs have been already
336 * programmed by the boot CPU. */
Mike Frysinger40059782008-11-18 17:48:22 +0800337 bfin_irq_flags |= IMASK_IVG15 |
Graf Yang6b3087c2009-01-07 23:14:39 +0800338 IMASK_IVG14 | IMASK_IVG13 | IMASK_IVG12 | IMASK_IVG11 |
339 IMASK_IVG10 | IMASK_IVG9 | IMASK_IVG8 | IMASK_IVG7 | IMASK_IVGHW;
Graf Yang6b3087c2009-01-07 23:14:39 +0800340}
341
342void __cpuinit secondary_start_kernel(void)
343{
344 unsigned int cpu = smp_processor_id();
345 struct mm_struct *mm = &init_mm;
346
347 if (_bfin_swrst & SWRST_DBL_FAULT_B) {
348 printk(KERN_EMERG "CoreB Recovering from DOUBLE FAULT event\n");
349#ifdef CONFIG_DEBUG_DOUBLEFAULT
350 printk(KERN_EMERG " While handling exception (EXCAUSE = 0x%x) at %pF\n",
351 (int)init_saved_seqstat_coreb & SEQSTAT_EXCAUSE, init_saved_retx_coreb);
352 printk(KERN_NOTICE " DCPLB_FAULT_ADDR: %pF\n", init_saved_dcplb_fault_addr_coreb);
353 printk(KERN_NOTICE " ICPLB_FAULT_ADDR: %pF\n", init_saved_icplb_fault_addr_coreb);
354#endif
355 printk(KERN_NOTICE " The instruction at %pF caused a double exception\n",
356 init_retx_coreb);
357 }
358
359 /*
360 * We want the D-cache to be enabled early, in case the atomic
361 * support code emulates cache coherence (see
362 * __ARCH_SYNC_CORE_DCACHE).
363 */
364 init_exception_vectors();
365
Graf Yang6b3087c2009-01-07 23:14:39 +0800366 local_irq_disable();
367
368 /* Attach the new idle task to the global mm. */
369 atomic_inc(&mm->mm_users);
370 atomic_inc(&mm->mm_count);
371 current->active_mm = mm;
Graf Yang6b3087c2009-01-07 23:14:39 +0800372
373 preempt_disable();
374
375 setup_secondary(cpu);
376
Yi Li578d36f2009-12-02 07:58:12 +0000377 platform_secondary_init(cpu);
378
Yi Li0d152c22009-12-28 10:21:49 +0000379 /* setup local core timer */
380 bfin_local_timer_setup();
381
Graf Yang6b3087c2009-01-07 23:14:39 +0800382 local_irq_enable();
383
steven miaoab61d2a2010-09-07 10:08:36 +0000384 bfin_setup_caches(cpu);
385
Yi Li578d36f2009-12-02 07:58:12 +0000386 /*
387 * Calibrate loops per jiffy value.
388 * IRQs need to be enabled here - D-cache can be invalidated
389 * in timer irq handler, so core B can read correct jiffies.
390 */
391 calibrate_delay();
Graf Yang6b3087c2009-01-07 23:14:39 +0800392
393 cpu_idle();
394}
395
396void __init smp_prepare_boot_cpu(void)
397{
398}
399
400void __init smp_prepare_cpus(unsigned int max_cpus)
401{
402 platform_prepare_cpus(max_cpus);
403 ipi_queue_init();
Yi Li73a40062009-12-17 08:20:32 +0000404 platform_request_ipi(IRQ_SUPPLE_0, ipi_handler_int0);
405 platform_request_ipi(IRQ_SUPPLE_1, ipi_handler_int1);
Graf Yang6b3087c2009-01-07 23:14:39 +0800406}
407
408void __init smp_cpus_done(unsigned int max_cpus)
409{
410 unsigned long bogosum = 0;
411 unsigned int cpu;
412
413 for_each_online_cpu(cpu)
Michael Hennerichc70c7542009-07-09 09:58:52 +0000414 bogosum += loops_per_jiffy;
Graf Yang6b3087c2009-01-07 23:14:39 +0800415
416 printk(KERN_INFO "SMP: Total of %d processors activated "
417 "(%lu.%02lu BogoMIPS).\n",
418 num_online_cpus(),
419 bogosum / (500000/HZ),
420 (bogosum / (5000/HZ)) % 100);
421}
422
423void smp_icache_flush_range_others(unsigned long start, unsigned long end)
424{
425 smp_flush_data.start = start;
426 smp_flush_data.end = end;
427
Sonic Zhang0bf3d932009-03-05 16:44:53 +0800428 if (smp_call_function(&ipi_flush_icache, &smp_flush_data, 0))
Graf Yang6b3087c2009-01-07 23:14:39 +0800429 printk(KERN_WARNING "SMP: failed to run I-cache flush request on other CPUs\n");
430}
431EXPORT_SYMBOL_GPL(smp_icache_flush_range_others);
432
Sonic Zhang47e9ded2009-06-10 08:57:08 +0000433#ifdef __ARCH_SYNC_CORE_ICACHE
Graf Yang718340f2010-02-01 06:07:50 +0000434unsigned long icache_invld_count[NR_CPUS];
Sonic Zhang47e9ded2009-06-10 08:57:08 +0000435void resync_core_icache(void)
436{
437 unsigned int cpu = get_cpu();
438 blackfin_invalidate_entire_icache();
Graf Yang718340f2010-02-01 06:07:50 +0000439 icache_invld_count[cpu]++;
Sonic Zhang47e9ded2009-06-10 08:57:08 +0000440 put_cpu();
441}
442EXPORT_SYMBOL(resync_core_icache);
443#endif
444
Graf Yang6b3087c2009-01-07 23:14:39 +0800445#ifdef __ARCH_SYNC_CORE_DCACHE
Graf Yang718340f2010-02-01 06:07:50 +0000446unsigned long dcache_invld_count[NR_CPUS];
Graf Yang6b3087c2009-01-07 23:14:39 +0800447unsigned long barrier_mask __attribute__ ((__section__(".l2.bss")));
448
449void resync_core_dcache(void)
450{
451 unsigned int cpu = get_cpu();
452 blackfin_invalidate_entire_dcache();
Graf Yang718340f2010-02-01 06:07:50 +0000453 dcache_invld_count[cpu]++;
Graf Yang6b3087c2009-01-07 23:14:39 +0800454 put_cpu();
455}
456EXPORT_SYMBOL(resync_core_dcache);
457#endif
Graf Yang0b39db22009-12-28 11:13:51 +0000458
459#ifdef CONFIG_HOTPLUG_CPU
460int __cpuexit __cpu_disable(void)
461{
462 unsigned int cpu = smp_processor_id();
463
464 if (cpu == 0)
465 return -EPERM;
466
467 set_cpu_online(cpu, false);
468 return 0;
469}
470
471static DECLARE_COMPLETION(cpu_killed);
472
473int __cpuexit __cpu_die(unsigned int cpu)
474{
475 return wait_for_completion_timeout(&cpu_killed, 5000);
476}
477
478void cpu_die(void)
479{
480 complete(&cpu_killed);
481
482 atomic_dec(&init_mm.mm_users);
483 atomic_dec(&init_mm.mm_count);
484
485 local_irq_disable();
486 platform_cpu_die();
487}
488#endif