|
@@ -7,6 +7,7 @@
|
|
|
*/
|
|
|
|
|
|
#include <common.h>
|
|
|
+#include <cpu_func.h>
|
|
|
#include <time.h>
|
|
|
#include <asm/arch/cpu.h>
|
|
|
#include <asm/arch/armada100.h>
|
|
@@ -138,7 +139,7 @@ int timer_init(void)
|
|
|
* 2. Write key value to TMP_WSAR reg.
|
|
|
* 3. Perform write operation.
|
|
|
*/
|
|
|
-void reset_cpu (unsigned long ignored)
|
|
|
+void reset_cpu(unsigned long ignored)
|
|
|
{
|
|
|
struct armd1mpmu_registers *mpmu =
|
|
|
(struct armd1mpmu_registers *) ARMD1_MPMU_BASE;
|