/* SPDX-License-Identifier: GPL-2.0-only */ /* * Port on Texas Instruments TMS320C6x architecture * * Copyright (C) 2004, 2009, 2010 Texas Instruments Incorporated * Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com) */ #ifndef _ASM_C6X_CACHEFLUSH_H #define _ASM_C6X_CACHEFLUSH_H #include <linux/spinlock.h> #include <asm/setup.h> #include <asm/cache.h> #include <asm/mman.h> #include <asm/page.h> #include <asm/string.h> /* * physically-indexed cache management */ #define flush_icache_range(s, e) \ do { \ L1D_cache_block_writeback((s), (e)); \ L1P_cache_block_invalidate((s), (e)); \ } while (0) #define flush_icache_page(vma, page) \ do { \ if ((vma)->vm_flags & PROT_EXEC) \ L1D_cache_block_writeback_invalidate(page_address(page), \ (unsigned long) page_address(page) + PAGE_SIZE)); \ L1P_cache_block_invalidate(page_address(page), \ (unsigned long) page_address(page) + PAGE_SIZE)); \ } while (0) #define copy_to_user_page(vma, page, vaddr, dst, src, len) \ do { \ memcpy(dst, src, len); \ flush_icache_range((unsigned) (dst), (unsigned) (dst) + (len)); \ } while (0) #include <asm-generic/cacheflush.h> #endif /* _ASM_C6X_CACHEFLUSH_H */