init 5.10_rt with nkio nkmcu

hc

2023-12-06 d38611ca164021d018c1b23eee65bbebc09c63e0

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