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);