cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

tlb.h (664B)

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