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