| * Copyright (C) 2001-2006 Storlink, Corp. |
| * Copyright (C) 2008-2009 Paulius Zaleckas <paulius.zaleckas@teltonika.lt> |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| #include <mach/hardware.h> |
| #include <mach/global_reg.h> |
| static inline void arch_idle(void) |
| * Because of broken hardware we have to enable interrupts or the CPU |
| * will never wakeup... Acctualy it is not very good to enable |
| * interrupts here since scheduler can miss a tick, but there is |
| * no other way around this. Platforms that needs it for power saving |
| * should call enable_hlt() in init code, since by default it is |
| static inline void arch_reset(char mode, const char *cmd) |
| __raw_writel(RESET_GLOBAL | RESET_CPU1, |
| IO_ADDRESS(GEMINI_GLOBAL_BASE) + GLOBAL_RESET); |
| #endif /* __MACH_SYSTEM_H */ |