1/* 2 * 3 * Copyright (C) 1999 ARM Limited 4 * Copyright (C) 2000 Deep Blue Solutions Ltd 5 * 6 * This program is free software; you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation; either version 2 of the License, or 9 * (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, write to the Free Software 18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 19 */ 20#ifndef __ASM_ARCH_SYSTEM_H 21#define __ASM_ARCH_SYSTEM_H 22 23#include <mach/csp/chipcHw_inline.h> 24 25extern int bcmring_arch_warm_reboot; 26 27static inline void arch_idle(void) 28{ 29 cpu_do_idle(); 30} 31 32static inline void arch_reset(char mode, const char *cmd) 33{ 34 printk("arch_reset:%c %x\n", mode, bcmring_arch_warm_reboot); 35 36 if (mode == 'h') { 37 /* Reboot configured in proc entry */ 38 if (bcmring_arch_warm_reboot) { 39 printk("warm reset\n"); 40 /* Issue Warm reset (do not reset ethernet switch, keep alive) */ 41 chipcHw_reset(chipcHw_REG_SOFT_RESET_CHIP_WARM); 42 } else { 43 /* Force reset of everything */ 44 printk("force reset\n"); 45 chipcHw_reset(chipcHw_REG_SOFT_RESET_CHIP_SOFT); 46 } 47 } else { 48 /* Force reset of everything */ 49 printk("force reset\n"); 50 chipcHw_reset(chipcHw_REG_SOFT_RESET_CHIP_SOFT); 51 } 52} 53 54#endif 55