arch/nios2/include/asm/tlb.h

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