| 123456789101112131415161718192021222324 |
- /*
- * Copyright (C) 2010 Tobias Klauser <[email protected]>
- * 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 */
|
