/* SPDX-License-Identifier: GPL-2.0 */
|
// Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
|
|
#ifndef __ASM_CSKY_TLB_H
|
#define __ASM_CSKY_TLB_H
|
|
#include <asm/cacheflush.h>
|
|
#define tlb_start_vma(tlb, vma) \
|
do { \
|
if (!(tlb)->fullmm) \
|
flush_cache_range(vma, (vma)->vm_start, (vma)->vm_end); \
|
} while (0)
|
|
#define tlb_end_vma(tlb, vma) \
|
do { \
|
if (!(tlb)->fullmm) \
|
flush_tlb_range(vma, (vma)->vm_start, (vma)->vm_end); \
|
} while (0)
|
|
#define tlb_flush(tlb) flush_tlb_mm((tlb)->mm)
|
|
#include <asm-generic/tlb.h>
|
|
#endif /* __ASM_CSKY_TLB_H */
|
