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 14 extern 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 */