/*
* arch/arm/mach-shark/include/mach/system.h
*
* by Alexander Schulz
*/
#ifndef __ASM_ARCH_SYSTEM_H
#define __ASM_ARCH_SYSTEM_H
/* Found in arch/mach-shark/core.c */
extern void arch_reset(char mode, const char *cmd);
static inline void arch_idle(void)
{
}
#endif