2 * Copyright 2000 Deep Blue Solutions Ltd
3 * Copyright 2003 ARM Limited
4 * Copyright 2008 Cavium Networks
6 * This file is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License, Version 2, as
8 * published by the Free Software Foundation.
11 #ifndef __MACH_SYSTEM_H
12 #define __MACH_SYSTEM_H
15 #include <asm/proc-fns.h>
16 #include <mach/hardware.h>
18 static inline void arch_idle(void)
21 * This should do all the clock switching
22 * and wait for interrupt tricks
27 void arch_reset(char mode
, const char *cmd
);