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