/* * 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
externvoid set_mmu_pid(unsignedlong 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.
*/
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
