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