/*
   * Symmetric Multi Processing (SMP) support for Armada XP
   *
   * Copyright (C) 2012 Marvell
   *
   * Lior Amsalem <alior@marvell.com>
   * Gregory CLEMENT <gregory.clement@free-electrons.com>
   * Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
   *
   * This file is licensed under the terms of the GNU General Public
   * License version 2.  This program is licensed "as is" without any
   * warranty of any kind, whether express or implied.
   */
  #include <linux/kernel.h>
  #include <linux/errno.h>
  #include <linux/smp.h>
  #include <asm/proc-fns.h>
  #include "common.h"
  
  /*
   * platform-specific code to shutdown a CPU
   *
   * Called with IRQs disabled
   */
  void __ref armada_xp_cpu_die(unsigned int cpu)
  {
  	cpu_do_idle();
  
  	/* We should never return from idle */
  	panic("mvebu: cpu %d unexpectedly exit from shutdown
  ", cpu);
  }