1/* 2 * Copyright 2011 Calxeda, Inc. 3 * 4 * This program is free software; you can redistribute it and/or modify it 5 * under the terms and conditions of the GNU General Public License, 6 * version 2, as published by the Free Software Foundation. 7 * 8 * This program is distributed in the hope it will be useful, but WITHOUT 9 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 10 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 11 * more details. 12 * 13 * You should have received a copy of the GNU General Public License along with 14 * this program. If not, see <http://www.gnu.org/licenses/>. 15 */ 16#include <linux/kernel.h> 17#include <asm/cacheflush.h> 18 19#include "core.h" 20#include "sysregs.h" 21 22extern void secondary_startup(void); 23 24/* 25 * platform-specific code to shutdown a CPU 26 * 27 */ 28void __ref highbank_cpu_die(unsigned int cpu) 29{ 30 highbank_set_cpu_jump(cpu, phys_to_virt(0)); 31 32 flush_cache_louis(); 33 highbank_set_core_pwr(); 34 35 while (1) 36 cpu_do_idle(); 37} 38