* 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