1 /* SPDX-License-Identifier: GPL-2.0 */ 2 3 #ifndef __ASM_CSKY_TLB_H 4 #define __ASM_CSKY_TLB_H 5 6 #include <asm/cacheflush.h> 7 #include <asm-generic/tlb.h> 8 9 #endif /* __ASM_CSKY_TLB_H */ 10