int cpu_init(void);
int cleanup_before_linux(void);
+/* Set up ARMv7 MMU, caches and TLBs */
+void cpu_init_cp15(void);
+
/* cpu/.../arch/cpu.c */
int arch_cpu_init(void);
int arch_misc_init(void);
+int arch_early_init_r(void);
/* board/.../... */
int board_init(void);
ulong get_timer_masked (void);
void udelay_masked (unsigned long usec);
-/* cpu/.../timer.c */
-int timer_init (void);
-
#endif /* _U_BOOT_ARM_H_ */