162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef _XEN_MMU_H 362306a36Sopenharmony_ci 462306a36Sopenharmony_ci#include <linux/linkage.h> 562306a36Sopenharmony_ci#include <asm/page.h> 662306a36Sopenharmony_ci 762306a36Sopenharmony_cienum pt_level { 862306a36Sopenharmony_ci PT_PGD, 962306a36Sopenharmony_ci PT_P4D, 1062306a36Sopenharmony_ci PT_PUD, 1162306a36Sopenharmony_ci PT_PMD, 1262306a36Sopenharmony_ci PT_PTE 1362306a36Sopenharmony_ci}; 1462306a36Sopenharmony_ci 1562306a36Sopenharmony_ci 1662306a36Sopenharmony_cibool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); 1762306a36Sopenharmony_ci 1862306a36Sopenharmony_civoid set_pte_mfn(unsigned long vaddr, unsigned long pfn, pgprot_t flags); 1962306a36Sopenharmony_ci 2062306a36Sopenharmony_cipte_t xen_ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep); 2162306a36Sopenharmony_civoid xen_ptep_modify_prot_commit(struct vm_area_struct *vma, unsigned long addr, 2262306a36Sopenharmony_ci pte_t *ptep, pte_t pte); 2362306a36Sopenharmony_ci 2462306a36Sopenharmony_ciunsigned long xen_read_cr2_direct(void); 2562306a36Sopenharmony_ci 2662306a36Sopenharmony_ciextern void xen_init_mmu_ops(void); 2762306a36Sopenharmony_ciextern void xen_hvm_init_mmu_ops(void); 2862306a36Sopenharmony_ci#endif /* _XEN_MMU_H */ 29