void smp_set_core_boot_addr(unsigned long addr, int corenr);
void smp_kick_all_cpus(void);
+int icache_status(void);
+void icache_enable(void);
+void icache_disable(void);
+int dcache_status(void);
+void dcache_enable(void);
+void dcache_disable(void);
+void mmu_disable(void);
+
#endif