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