|
@@ -12,14 +12,10 @@
|
|
* GNU General Public License for more details.
|
|
* GNU General Public License for more details.
|
|
*
|
|
*
|
|
*/
|
|
*/
|
|
-
|
|
|
|
-#include <mach/hardware.h>
|
|
|
|
-
|
|
|
|
void arch_idle(void);
|
|
void arch_idle(void);
|
|
|
|
|
|
static inline void arch_reset(char mode, const char *cmd)
|
|
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
|
|
/* low level hardware reset hook -- for example, hitting the
|