1 /* SPDX-License-Identifier: GPL-2.0 */
2 // Copyright (C) 2005-2017 Andes Technology Corporation
3 
4 #ifndef __ASMNDS32_TLB_H
5 #define __ASMNDS32_TLB_H
6 
7 #include <asm-generic/tlb.h>
8 
9 #define __pte_free_tlb(tlb, pte, addr)	pte_free((tlb)->mm, pte)
10 
11 #endif
12