1 /* 1 2 * Copyright (C) 2010 Tobias Klauser <tklauser 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 condi 7 * License. See the file "COPYING" in the main 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 18 * full mm invalidation. So use flush_tlb_mm() 19 */ 20 21 #include <linux/pagemap.h> 22 #include <asm-generic/tlb.h> 23 24 #endif /* _ASM_NIOS2_TLB_H */ 25
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.