1/*
 2 * Copyright (C) 2010 Tobias Klauser <tklauser@distanz.ch>
 3 * Copyright (C) 2009 Wind River Systems Inc
 4 * Copyright (C) 2004 Microtronix Datacom Ltd.
 5 *
 6 * This file is subject to the terms and conditions of the GNU General Public
 7 * License. See the file "COPYING" in the main directory of this archive
 8 * for more details.
 9 */
10
11#ifndef _ASM_NIOS2_TLB_H
12#define _ASM_NIOS2_TLB_H
13
14extern void set_mmu_pid(unsigned long pid);
15
16/*
17 * NIOS32 does have flush_tlb_range(), but it lacks a limit and fallback to
18 * full mm invalidation. So use flush_tlb_mm() for everything.
19 */
20
21#include <linux/pagemap.h>
22#include <asm-generic/tlb.h>
23
24#endif /* _ASM_NIOS2_TLB_H */