| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (C) 2014 Samsung Electronics |
| * Minkyu Kang <mk7.kang@samsung.com> |
| * Robert Baldyga <r.baldyga@samsung.com> |
| * based on arch/arm/cpu/armv7/omap3/cache.S |
| #if !CONFIG_IS_ENABLED(SYS_DCACHE_OFF) |
| void disable_caches(void) |
| #ifndef CONFIG_SYS_L2CACHE_OFF |
| void v7_outer_cache_enable(void) |
| "push {r0, r1, r2, lr}\n\t" |
| "mrc 15, 0, r3, cr1, cr0, 1\n\t" |
| "mcr 15, 0, r3, cr1, cr0, 1\n\t" |
| void v7_outer_cache_disable(void) |
| "push {r0, r1, r2, lr}\n\t" |
| "mrc 15, 0, r3, cr1, cr0, 1\n\t" |
| "mcr 15, 0, r3, cr1, cr0, 1\n\t" |