| /* SPDX-License-Identifier: GPL-2.0-only */ |
| /* |
| * Copyright (C) 2018 Amlogic, Inc. All rights reserved. |
| */ |
| |
| #ifndef __BL2_CACHE_V8_H_ |
| #define __BL2_CACHE_V8_H_ |
| |
| unsigned long __asm_get_sctlr(void); |
| unsigned long __asm_get_currentel(void); |
| //unsigned long __asm_get_elr_el(void); |
| void __asm_set_sctlr(unsigned long); |
| void __asm_flush_dcache_all(void); |
| void __asm_invalidate_dcache_all(void); |
| void __asm_invalidate_icache_all(void); |
| void __asm_flush_dcache_range(unsigned long, unsigned long); |
| void __asm_set_ttbr_tcr_mair(unsigned long, unsigned long, unsigned long); |
| void __asm_invalidate_tlb_all(void); |
| |
| void enable_icache(void); |
| void enable_dcache(unsigned long ddr_size); |
| void disable_icache(void); |
| void disable_dcache(void); |
| void enable_caches(unsigned long ddr_size); |
| void disable_caches(void); |
| #endif /*__BL2_CACHE_V8_H_*/ |
