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 (257B)

      1/* SPDX-License-Identifier: GPL-2.0 */
      2#ifndef _ALPHA_TLB_H
      3#define _ALPHA_TLB_H
      4
      5#include <asm-generic/tlb.h>
      6
      7#define __pte_free_tlb(tlb, pte, address)		pte_free((tlb)->mm, pte)
      8#define __pmd_free_tlb(tlb, pmd, address)		pmd_free((tlb)->mm, pmd)
      9 
     10#endif