|
@@ -33,7 +33,11 @@ static inline void arch_idle(void)
|
|
* Disable the processor clock. The processor will be automatically
|
|
* Disable the processor clock. The processor will be automatically
|
|
* re-enabled by an interrupt or by a reset.
|
|
* re-enabled by an interrupt or by a reset.
|
|
*/
|
|
*/
|
|
|
|
+#ifdef AT91_PS
|
|
|
|
+ at91_sys_write(AT91_PS_CR, AT91_PS_CR_CPU);
|
|
|
|
+#else
|
|
at91_sys_write(AT91_PMC_SCDR, AT91_PMC_PCK);
|
|
at91_sys_write(AT91_PMC_SCDR, AT91_PMC_PCK);
|
|
|
|
+#endif
|
|
#else
|
|
#else
|
|
/*
|
|
/*
|
|
* Set the processor (CP15) into 'Wait for Interrupt' mode.
|
|
* Set the processor (CP15) into 'Wait for Interrupt' mode.
|