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

mmu.h (667B)

      1/* SPDX-License-Identifier: GPL-2.0 */
      2#ifndef _XEN_MMU_H
      3
      4#include <linux/linkage.h>
      5#include <asm/page.h>
      6
      7enum pt_level {
      8	PT_PGD,
      9	PT_P4D,
     10	PT_PUD,
     11	PT_PMD,
     12	PT_PTE
     13};
     14
     15
     16bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn);
     17
     18void set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags);
     19
     20pte_t xen_ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep);
     21void  xen_ptep_modify_prot_commit(struct vm_area_struct *vma, unsigned long addr,
     22				  pte_t *ptep, pte_t pte);
     23
     24unsigned long xen_read_cr2_direct(void);
     25
     26extern void xen_init_mmu_ops(void);
     27extern void xen_hvm_init_mmu_ops(void);
     28#endif	/* _XEN_MMU_H */