| /* |
| * Copyright 2000 Deep Blue Solutions Ltd |
| * Copyright 2003 ARM Limited |
| * Copyright 2008 Cavium Networks |
| * |
| * This file is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License, Version 2, as |
| * published by the Free Software Foundation. |
| */ |
| |
| #ifndef __MACH_SYSTEM_H |
| #define __MACH_SYSTEM_H |
| |
| #include <linux/io.h> |
| #include <asm/proc-fns.h> |
| #include <mach/hardware.h> |
| |
| static inline void arch_idle(void) |
| { |
| /* |
| * This should do all the clock switching |
| * and wait for interrupt tricks |
| */ |
| cpu_do_idle(); |
| } |
| |
| void arch_reset(char mode, const char *cmd); |
| |
| #endif |
