tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * linux/arch/unicore32/include/asm/tlb.h
4 *
5 * Code specific to PKUnity SoC and UniCore ISA
6 *
7 * Copyright (C) 2001-2010 GUAN Xue-tao
8 */
9#ifndef __UNICORE_TLB_H__
10#define __UNICORE_TLB_H__
11
12/*
13 * unicore32 lacks an efficient flush_tlb_range(), use flush_tlb_mm().
14 */
15
16#define __pte_free_tlb(tlb, pte, addr) \
17 do { \
18 pgtable_pte_page_dtor(pte); \
19 tlb_remove_page((tlb), (pte)); \
20 } while (0)
21
22#include <asm-generic/tlb.h>
23
24#endif