| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Copyright (C) 2020 Texas Instruments Incorporated - http://www.ti.com/ |
| * Andrew F. Davis <afd@ti.com> |
| */ |
| |
| #include <config.h> |
| #include <linux/linkage.h> |
| |
| #if defined(CONFIG_SPL_BUILD) |
| ENTRY(__asm_invalidate_l3_dcache) |
| /* Invalidate SPL address range */ |
| mov x0, #CONFIG_SPL_TEXT_BASE |
| add x1, x0, #CONFIG_SPL_MAX_SIZE |
| b __asm_flush_dcache_range |
| ENDPROC(__asm_invalidate_l3_dcache) |
| |
| ENTRY(__asm_flush_l3_dcache) |
| /* Flush SPL address range */ |
| mov x0, #CONFIG_SPL_TEXT_BASE |
| add x1, x0, #CONFIG_SPL_MAX_SIZE |
| b __asm_flush_dcache_range |
| ENDPROC(__asm_flush_l3_dcache) |
| #endif |