void l2x0_disable_flush() { if(l2x0_status()) { l2x0_disable(); l2x0_clean_all(); l2x0_clean_inv_all(); } }
void l2x0_clean_inv_all () { if(l2x0_status()) { /* invalidate all ways */ writel(l2x0_way_mask, L2X0_CLEAN_INV_WAY); cache_wait(L2X0_CLEAN_INV_WAY, l2x0_way_mask); cache_sync(); } }
void dcache_flush(void) { #ifndef CONFIG_SYS_NO_DCACHE if(cp15_dcache_status()) { _clean_invd_dcache(); } #endif #ifdef CONFIG_CACHE_L2X0 if(l2x0_status()) { l2x0_clean_inv_all(); } #endif }