* GNU General Public License for more details.
*
*/
-
-#include <mach/hardware.h>
-
void arch_idle(void);
static inline void arch_reset(char mode, const char *cmd)
{
- for (;;) ; /* depends on IPC w/ other core */
}
/* low level hardware reset hook -- for example, hitting the
static inline void arch_reset(int mode, const char *cmd)
{
- /* Watchdog reset to go here. */
}
#endif /* __ASM_ARCH_SYSTEM_H */
static inline void arch_reset(char mode, const char *cmd)
{
- /* yet to be implemented - TODO */
}
#endif
static inline void arch_reset(char mode, const char *cmd)
{
- /* Add architecture specific reset processing here */
}
#endif