| /* | |
| * Copyright (C) 2010 Tobias Klauser <tklauser@distanz.ch> | |
| * Copyright (C) 2009 Wind River Systems Inc | |
| * Copyright (C) 2004 Microtronix Datacom Ltd. | |
| * | |
| * This file is subject to the terms and conditions of the GNU General Public | |
| * License. See the file "COPYING" in the main directory of this archive | |
| * for more details. | |
| */ | |
| #ifndef _ASM_NIOS2_TLB_H | |
| #define _ASM_NIOS2_TLB_H | |
| extern void set_mmu_pid(unsigned long pid); | |
| /* | |
| * NIOS32 does have flush_tlb_range(), but it lacks a limit and fallback to | |
| * full mm invalidation. So use flush_tlb_mm() for everything. | |
| */ | |
| #include <linux/pagemap.h> | |
| #include <asm-generic/tlb.h> | |
| #endif /* _ASM_NIOS2_TLB_H */ |