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